ESEC/FSE 2018 Workshops
26th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE 2018)
Powered by
Conference Publishing Consulting
1st ACM SIGSOFT International Workshop on Automated Specification Inference (WASPI 2018), November 9, 2018, Lake Buena Vista, FL, USA

WASPI 2018 – Proceedings

 Contents - Abstracts - Authors
Twitter: https://twitter.com/esecfse

1st ACM SIGSOFT International Workshop on Automated Specification Inference (WASPI 2018)

Title Page
Message from the Chairs
Towards Static Recovery of Micro State Transitions from Legacy Embedded Code
Ryota Yamamoto, Norihiro Yoshida, and Hiroaki Takada
(Nagoya University, Japan)
Publisher's Version
Contract Discovery from Black-Box Components
Vaibhav Sharma, Taejoon Byun, Stephen McCamant, Sanjai Rayadurgam, and Mats P. E. Heimdahl
(University of Minnesota, USA)
Publisher's Version
Automated Generation of Creative Software Requirements: A Data-Driven Approach
Quoc Anh Do and Tanmay Bhowmik
(Mississippi State University, USA)
Publisher's Version
On the Significance of Contract-Based Typestate Specification
Samantha Syeda Khairunnesa, Hoan Anh Nguyen, and Hridesh Rajan
(Iowa State University, USA)
Publisher's Version
Towards Combining Usage Mining and Implementation Analysis to Infer API Preconditions
Hoan Anh Nguyen, Tien N. Nguyen, Hridesh Rajan, and Robert Dyer
(Iowa State University, USA; University of Texas at Dallas, USA; Bowling Green State University, USA)
Publisher's Version

proc time: 0.88