共 50 条
- [41] Specification-based testing with linear temporal logic PROCEEDINGS OF THE 2004 IEEE INTERNATIONAL CONFERENCE ON INFORMATION REUSE AND INTEGRATION (IRI-2004), 2004, : 493 - 498
- [42] A KNOWLEDGE-BASED APPROACH TO THE SPECIFICATION-BASED PROGRAM TESTING COMPUTERS AND ARTIFICIAL INTELLIGENCE, 1988, 7 (01): : 39 - 48
- [43] Towards Agile Integration: Specification-based Data Alignment 2020 IEEE 21ST INTERNATIONAL CONFERENCE ON INFORMATION REUSE AND INTEGRATION FOR DATA SCIENCE (IRI 2020), 2020, : 333 - 340
- [45] A Specification-Based Approach to the Testing of Java Memory Bloat Proceedings - 2016 IEEE International Conference on Software Quality, Reliability and Security, QRS 2016, 2016, : 347 - 352
- [46] ADLscope: an automated specification-based unit testing tool 13TH IEEE INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, PROCEEDINGS, 1998, : 289 - 292
- [47] Specification-based Testing of Synchronous Software Software Engineering Software Eng Notes, 6 (127):
- [48] The specification-based testing of a trusted kernel: MK++ FIRST IEEE INTERNATIONAL CONFERENCE ON FORMAL ENGINEERING METHODS, PROCEEDINGS, 1997, : 151 - 160
- [49] Mutation Analysis of Specification-Based Contracts in Software Testing 2021 15TH TURKISH NATIONAL SOFTWARE ENGINEERING SYMPOSIUM (UYMS), 2021, : 127 - 132
- [50] Strategies for automated specification-based testing of synchronous software 16TH ANNUAL INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE 2001), PROCEEDINGS, 2001, : 364 - 367