default search action
WASPI@ESEC/SIGSOFT FSE 2018: Lake Buena Vista, FL, USA
- Robert Dyer, Vasant G. Honavar, Gary T. Leavens, Hoan Anh Nguyen, Tien N. Nguyen, Hridesh Rajan:
Proceedings of the 1st ACM SIGSOFT International Workshop on Automated Specification Inference, WASPI@ESEC/SIGSOFT FSE, Lake Buena Vista, FL, USA, November 9, 2018. ACM 2018, ISBN 978-1-4503-6057-9 - Ryota Yamamoto, Norihiro Yoshida, Hiroaki Takada:
Towards static recovery of micro state transitions from legacy embedded code. 1-4 - Vaibhav Sharma, Taejoon Byun, Stephen McCamant, Sanjai Rayadurgam, Mats Per Erik Heimdahl:
Contract discovery from black-box components. 5-8 - Anh Quoc Do, Tanmay Bhowmik:
Automated generation of creative software requirements: a data-driven approach. 9-12 - Syeda Khairunnesa Samantha, Hoan Anh Nguyen, Hridesh Rajan:
On the significance of contract-based typestate specification. 13-14 - Hoan Anh Nguyen, Tien N. Nguyen, Hridesh Rajan, Robert Dyer:
Towards combining usage mining and implementation analysis to infer API preconditions. 15-16
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.