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 – Advance Table of Contents

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

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

Frontmatter

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

proc time: 1.14