共 50 条
- [1] Functional Requirements-Based Automated Testing for Avionics [J]. 2017 22ND INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS (ICECCS), 2017, : 170 - 173
- [2] Automated Support to Capture Environment Assertions for Requirements-Based Testing [J]. 2021 IEEE 22ND INTERNATIONAL CONFERENCE ON INFORMATION REUSE AND INTEGRATION FOR DATA SCIENCE (IRI 2021), 2021, : 123 - 130
- [4] Requirements-based testing: An overview [J]. TOOLS 39: TECHNOLOGY OF OBJECT-ORIENTED LANGUAGES AND SYSTEMS, PROCEEDINGS: SOFTWARE TECHNOLOGY FOR THE AGE OF THE INTERNET, 2001, 39 : 286 - 295
- [5] Automated Requirements-Based Testing of Black-Box Reactive Systems [J]. NASA FORMAL METHODS (NFM 2020), 2020, 12229 : 153 - 169
- [6] Requirements Modeling and Automated Requirements-Based Test Generation [J]. SAE INTERNATIONAL JOURNAL OF AEROSPACE, 2013, 6 (02): : 607 - 615
- [7] A Formal Analysis of Requirements-Based Testing [J]. ISSTA 2009: INTERNATIONAL SYMPOSIUM ON SOFTWARE TESTING AND ANALYSIS, 2009, : 47 - 55
- [8] The Role of Environment Assertions in Requirements-Based Testing [J]. 2019 27TH IEEE INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE (RE 2019), 2019, : 75 - 85
- [9] Eliciting Environmental Opposites for Requirements-Based Testing [J]. 2022 IEEE 30TH INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE WORKSHOPS (REW), 2022, : 10 - 13
- [10] Requirements-Based Delta-Oriented SPL Testing [J]. 2013 4TH INTERNATIONAL WORKSHOP ON PRODUCT LINE APPROACHES IN SOFTWARE ENGINEERING (PLEASE), 2013, : 49 - 52