WASPI 2018 – Proceedings

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

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: fsews18waspimain-id1-p doi:10.1145/3278177.3278178

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: fsews18waspimain-id2-p doi:10.1145/3278177.3278179

Automated Generation of Creative Software Requirements: A Data-Driven Approach
Quoc Anh Do and Tanmay Bhowmik
(Mississippi State University, USA)

Publisher's Version Article: fsews18waspimain-id3-p doi:10.1145/3278177.3278180

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: fsews18waspimain-id4-p doi:10.1145/3278177.3278181

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: fsews18waspimain-id5-p doi:10.1145/3278177.3278182

proc time: 0.01