共 50 条
- [1] Automatic Quality Attribute Scenarios Identification and Generation from Quality Attribute Requirements 2021 INTERNATIONAL CONFERENCE ON INFORMATION AND COMMUNICATION TECHNOLOGY FOR DEVELOPMENT FOR AFRICA (ICT4DA), 2021, : 107 - 112
- [2] From BDD Scenarios to Test Case Generation 2023 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS, ICSTW, 2023, : 36 - 44
- [3] Experiences in teaching quality attribute scenarios Conferences in Research and Practice in Information Technology Series, 2009, 95 : 181 - 188
- [5] Using AI to Model Quality Attribute Tradeoffs 2014 IEEE 1ST INTERNATIONAL WORKSHOP ON ARTIFICIAL INTELLIGENCE FOR REQUIREMENTS ENGINEERING (AIRE), 2014, : 51 - 52
- [6] Towards Trajectory Conflict Prediction Using AI/ML For V&V Test Case Generation 2023 INTEGRATED COMMUNICATION, NAVIGATION AND SURVEILLANCE CONFERENCE, ICNS, 2023,
- [7] A model for test case design and generation SERP'04: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING RESEARCH AND PRACTICE, VOLS 1 AND 2, 2004, : 242 - 247
- [8] An Implementation Framework for Optimizing Test Case Generation Using Model Checking STRUCTURED OBJECT-ORIENTED FORMAL LANGUAGE AND METHOD, 2015, 8979 : 3 - 16
- [9] Coverage based test-case generation using model checkers EIGHTH ANNUAL IEEE INTERNATIONAL CONFERENCE AND WORKSHOP ON THE ENGINEERING OF COMPUTER BASED SYSTEMS, PROCEEDINGS, 2001, : 83 - 91