The CCITT-specification and description language SDL
Computer Networks and ISDN Systems
A methodology for controlling the size of a test suite
ACM Transactions on Software Engineering and Methodology (TOSEM)
Effect of test set minimization on fault detection effectiveness
Proceedings of the 17th international conference on Software engineering
Analyzing Regression Test Selection Techniques
IEEE Transactions on Software Engineering
Regression test selection for Java software
OOPSLA '01 Proceedings of the 16th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Requirement-Based Automated Black-Box Test Generation
COMPSAC '01 Proceedings of the 25th International Computer Software and Applications Conference on Invigorating Software Development
Data flow testing as model checking
Proceedings of the 25th International Conference on Software Engineering
Specification-based regression test selection with risk analysis
CASCON '02 Proceedings of the 2002 conference of the Centre for Advanced Studies on Collaborative research
Automating Impact Analysis and Regression Test Selection Based on UML Designs
ICSM '02 Proceedings of the International Conference on Software Maintenance (ICSM'02)
Model Based Regression Test Reduction Using Dependence Analysis
ICSM '02 Proceedings of the International Conference on Software Maintenance (ICSM'02)
Towards software architecture-based regression testing
WADS '05 Proceedings of the 2005 workshop on Architecting dependable systems
Checking Inside the Black Box: Regression Testing by Comparing Value Spectra
IEEE Transactions on Software Engineering
An Approach for Test Selection for EFSMs Using a Theorem Prover
TESTCOM '09/FATES '09 Proceedings of the 21st IFIP WG 6.1 International Conference on Testing of Software and Communication Systems and 9th International FATES Workshop
Analysis of model based regression testing approaches
ACELAE'11 Proceedings of the 10th WSEAS international conference on communications, electrical & computer engineering, and 9th WSEAS international conference on Applied electromagnetics, wireless and optical communications
Regression testing minimization, selection and prioritization: a survey
Software Testing, Verification & Reliability
Regression test suite prioritization using system models
Software Testing, Verification & Reliability
Hi-index | 0.00 |
A model-based regression test suite (RTS) reduction method based on Extended Finite State Machine (EFSM) dependence analysis is proposed. Given an EFSM representing the requirements of a system under test (SUT) and a set of elementary modifications (EMs) on the EFSM, interaction patterns are identified related to each type of EMs, i.e., adding, deleting, and changing transitions in the EFSM. These interaction patterns capture the effects of the model on the EMs, the effects of the EMs on the model, and the side-effects of the EMs. The proposed method reduces the size of a given RTS by examining interaction patterns covered by each test case in the given RTS.