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 Article Search
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 Article Search
Automated Generation of Creative Software Requirements: A Data-Driven Approach
Quoc Anh Do and Tanmay Bhowmik
(Mississippi State University, USA)
Publisher's Version Article Search
On the Significance of Contract-Based Typestate Specification
Samantha Syeda Khairunnesa, Hoan Anh Nguyen, and Hridesh Rajan
(Iowa State University, USA)
Publisher's Version Article Search
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 Article Search

proc time: 2.61