共 50 条
- [21] Mutation Analysis of Specification-Based Contracts in Software Testing 2021 15TH TURKISH NATIONAL SOFTWARE ENGINEERING SYMPOSIUM (UYMS), 2021, : 127 - 132
- [22] Strategies for automated specification-based testing of synchronous software 16TH ANNUAL INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE 2001), PROCEEDINGS, 2001, : 364 - 367
- [23] An automated approach to specification-based program inspection FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2005, 3785 : 421 - 434
- [24] A specification-based approach to testing polymorphic attributes FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2004, 3308 : 306 - 319
- [25] Approach of specification-based mixed intrusion detection Jisuanji Gongcheng/Computer Engineering, 2005, 31 (09): : 132 - 134
- [26] Specification-based Test Case Generation with Genetic Algorithm 2019 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION (CEC), 2019, : 1382 - 1389
- [27] A Specification-based Testing Framework for Web Service-based Software 2009 IEEE INTERNATIONAL CONFERENCE ON GRANULAR COMPUTING ( GRC 2009), 2009, : 440 - 443
- [28] A Specification-based State Replication Approach for Digital Twins CPS-SPC'18: PROCEEDINGS OF THE 2018 WORKSHOP ON CYBER-PHYSICAL SYSTEMS SECURITY AND PRIVACY, 2018, : 36 - 47
- [29] Theory of specification-based testing for object-oriented software Lect Notes Comput Sci, (303):
- [30] A formal specification-based approach to distributed parallel programming EIGHTH IEEE INTERNATIONAL SYMPOSIUM ON HIGH ASSURANCE SYSTEMS ENGINEERING, PROCEEDINGS, 2004, : 197 - 205