WASPI@ESEC/SIGSOFT FSE

Keyphrases

Publications

2018

Syeda Khairunnesa Samantha, Hoan Anh Nguyen, Hridesh Rajan
On the significance of contract-based typestate specification. WASPI@ESEC/SIGSOFT FSE (2018)
Proceedings of the 1st ACM SIGSOFT International Workshop on Automated Specification Inference, WASPI@ESEC/SIGSOFT FSE, Lake Buena Vista, FL, USA, November 9, 2018 WASPI@ESEC/SIGSOFT FSE (2018)
Vaibhav Sharma, Taejoon Byun, Stephen McCamant, Sanjai Rayadurgam, Mats Per Erik Heimdahl
Contract discovery from black-box components. WASPI@ESEC/SIGSOFT FSE (2018)
Anh Quoc Do, Tanmay Bhowmik
Automated generation of creative software requirements: a data-driven approach. WASPI@ESEC/SIGSOFT FSE (2018)
Ryota Yamamoto, Norihiro Yoshida, Hiroaki Takada
Towards static recovery of micro state transitions from legacy embedded code. WASPI@ESEC/SIGSOFT FSE (2018)
Hoan Anh Nguyen, Tien N. Nguyen, Hridesh Rajan, Robert Dyer
Towards combining usage mining and implementation analysis to infer API preconditions. WASPI@ESEC/SIGSOFT FSE (2018)