共 50 条
- [2] Concolic Testing for Models of State-Based Systems [J]. ESEC/FSE'2019: PROCEEDINGS OF THE 2019 27TH ACM JOINT MEETING ON EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING, 2019, : 4 - 15
- [4] A STATE-BASED APPROACH TO THE TESTING OF CLASS-BASED PROGRAMS [J]. SOFTWARE-CONCEPTS AND TOOLS, 1995, 16 (03): : 106 - 112
- [5] State-Based Models in Model-Based Testing: A Systematic Review [J]. 2017 IEEE 4TH INTERNATIONAL CONFERENCE ON KNOWLEDGE-BASED ENGINEERING AND INNOVATION (KBEI), 2017, : 942 - 948
- [6] A SOFTWARE TESTING APPROACH BASED ON BEHAVIORAL UML MODELS [J]. INFORMATION TECHNOLOGY AND CONTROL, 2009, 38 (02): : 119 - 124
- [7] State-based testing is functional testing! [J]. TAIC PART 2007 - TESTING: ACADEMIC AND INDUSTRIAL CONFERENCE - PRACTICE AND RESEARCH TECHNIQUES, PROCEEDINGS: CO-LOCATED WITH MUTATION 2007, 2007, : 55 - +
- [8] Automated Transition from Use Cases to UML State Machines to Support State-Based Testing [J]. MODELLING FOUNDATIONS AND APPLICATIONS, 2011, 6698 : 115 - 131
- [10] Slicing of state-based models [J]. INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE, PROCEEDINGS, 2003, : 34 - 43