共 50 条
- [32] Parallel Specification-Based Testing for Concurrent Programs IEEE Access, 2022, 10 : 24955 - 24975
- [34] On Testing Techniques for Specification-based Software Structure 2009 INTERNATIONAL FORUM ON INFORMATION TECHNOLOGY AND APPLICATIONS, VOL 2, PROCEEDINGS, 2009, : 22 - 25
- [35] Specification-based logic coverage testing criteria Ruan Jian Xue Bao/Journal of Software, 2010, 21 (07): : 1536 - 1549
- [36] A specification-based approach to testing polymorphic attributes FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2004, 3308 : 306 - 319
- [37] Specification-Based Testing in Software Engineering Courses SIGCSE'18: PROCEEDINGS OF THE 49TH ACM TECHNICAL SYMPOSIUM ON COMPUTER SCIENCE EDUCATION, 2018, : 800 - 805
- [38] Evaluation of three specification-based testing criteria SIXTH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS, PROCEEDINGS, 2000, : 179 - 187
- [39] Evaluation of three specification-based testing criteria 2000, IEEE, Piscataway, NJ, United States
- [40] A Framework for Formal Specification Considering Review and Specification-Based Testing TENCON 2010: 2010 IEEE REGION 10 CONFERENCE, 2010, : 2444 - 2448