共 50 条
- [43] Specification-based testing of reactive software: Tools and experiments - Experience report PROCEEDINGS OF THE 1997 INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, 1997, : 525 - 535
- [44] An automated approach for goal-driven, specification-based testinga ASE 2006: 21ST IEEE INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, PROCEEDINGS, 2006, : 289 - 292
- [45] A Logistic Regression Based Approach for Software Test Management 2016 INTERNATIONAL CONFERENCE ON CYBER-ENABLED DISTRIBUTED COMPUTING AND KNOWLEDGE DISCOVERY PROCEEDINGS - CYBERC 2016, 2016, : 268 - 271
- [46] An approach for test suite selection to validate applications on deployment of COTS upgrades 12TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2005, : 401 - 407
- [47] An Approach to Specification-based Attack Detection for In-Vehicle Networks 2008 IEEE INTELLIGENT VEHICLES SYMPOSIUM, VOLS 1-3, 2008, : 830 - 835
- [48] Test Suite Prioritization for Efficient Regression Testing of Model-based Automotive Software 2017 ANNUAL CONFERENCE ON SOFTWARE ANALYSIS, TESTING AND EVOLUTION (SATE 2017), 2017, : 20 - 29
- [49] A Specification-Based Approach to the Testing of Java']Java Memory Bloat 2016 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY (QRS 2016), 2016, : 347 - 352
- [50] Specification-based verification of embedded systems by automated test case generation DISTRIBUTED EMBEDDED SYSTEMS: DESIGN, MIDDLEWARE AND RESOURCES, 2008, : 35 - +