相关参考文献
注意:仅列出部分参考文献,下载原文获取全部文献信息。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)