Tulane University Laboratory for Software Design Department of Computer Science · School of Science & Engineering

On the Significance of Contract-Based Typestate Specification

By: Samantha Syeda Khairunnesa, Hoan Anh Nguyen, and Hridesh Rajan

PDF Download Download Paper

ACM Reference

Khairunnesa, S.S. et al. 2018. On the Significance of Contract-Based Typestate Specification. Proceedings of the 1st ACM SIGSOFT International Workshop on Automated Specification Inference, WASPI@ESEC/SIGSOFT FSE, Lake Buena Vista, USA (2018), 13–14.

BibTeX Reference

@inproceedings{KhairunnesaNguyenRajan2018,
  author = {Khairunnesa, Samantha Syeda and Hoan Anh Nguyen and Hridesh Rajan},
  title = {On the Significance of Contract-Based Typestate Specification},
  booktitle = {Proceedings of the 1st ACM SIGSOFT International Workshop on Automated Specification Inference, WASPI@ESEC/SIGSOFT FSE, Lake Buena Vista, USA},
  pages = {13--14},
  year = {2018},
  publisher = {{ACM}},
  editor = {Robert Dyer and Vasant G. Honavar and Gary T. Leavens and Hoan Anh Nguyen and Tien N. Nguyen and Hridesh Rajan},
  doi = {10.1145/3278177.3278181},
}