共 50 条
- [42] An automated approach to specification-based program inspection FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2005, 3785 : 421 - 434
- [43] Editorial: Special issue on specification-based testing SOFTWARE TESTING VERIFICATION & RELIABILITY, 2000, 10 (04): : 201 - 202
- [44] SYNTHESIZING A SPECIFICATION-BASED MONITOR FOR SAFETY REQUIREMENTS IRANIAN JOURNAL OF SCIENCE AND TECHNOLOGY TRANSACTION B-ENGINEERING, 2010, 34 (B3): : 235 - 256
- [45] ARM: A Hybrid Specification-based Intrusion Detection System for Rank Attacks in 6TiSCH Networks 2017 22ND IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA), 2017,
- [46] Specification-based Testing for Gui-based Applications Software Quality Journal, 2002, 10 : 205 - 224
- [50] Parallel Specification-Based Testing for Concurrent Programs IEEE ACCESS, 2022, 10 : 24955 - 24975