Related references
Note: Only part of the references are listed.Using formal specifications to support testing
Robert M. Hierons et al.
ACM COMPUTING SURVEYS (2009)
Automatic Synthesis of Behavior Protocols for Composable Web-Services
Antonia Bertolino et al.
7TH JOINT MEETING OF THE EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND THE ACM SIGSOFT SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING (2009)
Effective typestate verification in the presence of aliasing
Stephen J. Fink et al.
ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY (2008)
Search-based software test data generation: a survey
P McMinn
SOFTWARE TESTING VERIFICATION & RELIABILITY (2004)
Bug isolation via remote program sampling
B Liblit et al.
ACM SIGPLAN NOTICES (2003)
Dynamically discovering likely program invariants to support program evolution
MD Ernst et al.
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING (2001)