共 50 条
- [2] An approach for testing safety-critical software NINTH GREAT LAKES SYMPOSIUM ON VLSI, PROCEEDINGS, 1999, : 180 - 183
- [4] TOOLS AND TECHNIQUES FOR THE TESTING OF SAFETY-CRITICAL SOFTWARE COMPUTING & CONTROL ENGINEERING JOURNAL, 1994, 5 (05): : 239 - 244
- [5] Novel testing approach for safety-critical software Proceedings of the Asian Test Symposium, 1999, : 251 - 255
- [6] Towards Agile Testing for Railway Safety-critical Software PROCEEDINGS OF THE XP2016 SCIENTIFIC WORKSHOPS, 2016,
- [7] Introduction to characterization of monitors for testing safety-critical software ICSOFT 2006: PROCEEDINGS OF THE FIRST INTERNATIONAL CONFERENCE ON SOFTWARE AND DATA TECHNOLOGIES, VOL 1, 2006, : 253 - 256
- [8] A Controlled Experiment in Testing of Safety-Critical Embedded Software 2016 9TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION (ICST), 2016, : 1 - 11
- [9] Requirements discovery during the testing of safety-critical software 25TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, PROCEEDINGS, 2003, : 578 - 583
- [10] Testing of Safety-Critical Software Embedded in an Artificial Heart ADVANCES IN SYSTEMS SAFETY, 2011, : 143 - +