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)


@InProceedings{WASPI18p1, author = {Ryota Yamamoto and Norihiro Yoshida and Hiroaki Takada}, title = {Towards Static Recovery of Micro State Transitions from Legacy Embedded Code}, booktitle = {Proc.\ WASPI}, publisher = {ACM}, pages = {1-0}, doi = {10.1145/3278177.3278178}, year = {2018}, } 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)


@InProceedings{WASPI18p5, author = {Vaibhav Sharma and Taejoon Byun and Stephen McCamant and Sanjai Rayadurgam and Mats P. E. Heimdahl}, title = {Contract Discovery from Black-Box Components}, booktitle = {Proc.\ WASPI}, publisher = {ACM}, pages = {5-4}, doi = {10.1145/3278177.3278179}, year = {2018}, } Publisher's Version

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


@InProceedings{WASPI18p9, author = {Quoc Anh Do and Tanmay Bhowmik}, title = {Automated Generation of Creative Software Requirements: A Data-Driven Approach}, booktitle = {Proc.\ WASPI}, publisher = {ACM}, pages = {9-8}, doi = {10.1145/3278177.3278180}, year = {2018}, } Publisher's Version

On the Significance of Contract-Based Typestate Specification
Samantha Syeda Khairunnesa, Hoan Anh Nguyen, and Hridesh Rajan
(Iowa State University, USA)


@InProceedings{WASPI18p13, author = {Samantha Syeda Khairunnesa and Hoan Anh Nguyen and Hridesh Rajan}, title = {On the Significance of Contract-Based Typestate Specification}, booktitle = {Proc.\ WASPI}, publisher = {ACM}, pages = {13-12}, doi = {10.1145/3278177.3278181}, year = {2018}, } 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)


@InProceedings{WASPI18p15, author = {Hoan Anh Nguyen and Tien N. Nguyen and Hridesh Rajan and Robert Dyer}, title = {Towards Combining Usage Mining and Implementation Analysis to Infer API Preconditions}, booktitle = {Proc.\ WASPI}, publisher = {ACM}, pages = {15-14}, doi = {10.1145/3278177.3278182}, year = {2018}, } Publisher's Version

proc time: 0.64