Abstract is missing.
- Towards static recovery of micro state transitions from legacy embedded codeRyota Yamamoto, Norihiro Yoshida, Hiroaki Takada. 1-4 [doi]
- Contract discovery from black-box componentsVaibhav Sharma, Taejoon Byun, Stephen McCamant, Sanjai Rayadurgam, Mats Per Erik Heimdahl. 5-8 [doi]
- Automated generation of creative software requirements: a data-driven approachAnh Quoc Do, Tanmay Bhowmik. 9-12 [doi]
- On the significance of contract-based typestate specificationSyeda Khairunnesa Samantha, Hoan Anh Nguyen, Hridesh Rajan. 13-14 [doi]
- Towards combining usage mining and implementation analysis to infer API preconditionsHoan Anh Nguyen, Tien N. Nguyen, Hridesh Rajan, Robert Dyer 0001. 15-16 [doi]