Sciweavers

13 search results - page 1 / 3
» Model-based regression test suite generation using dependenc...
Sort
View
DAC
2004
ACM
13 years 8 months ago
Probabilistic regression suites for functional verification
Random test generators are often used to create regression suites on-the-fly. Regression suites are commonly generated by choosing several specifications and generating a number o...
Shai Fine, Shmuel Ur, Avi Ziv
ENTCS
2007
116views more  ENTCS 2007»
13 years 4 months ago
Handling Model Changes: Regression Testing and Test-Suite Update with Model-Checkers
Several model-checker based methods to automated test-case generation have been proposed recently. The performance and applicability largely depends on the complexity of the model...
Gordon Fraser, Bernhard K. Aichernig, Franz Wotawa
ICSM
2007
IEEE
13 years 11 months ago
Combinatorial Interaction Regression Testing: A Study of Test Case Generation and Prioritization
Regression testing is an expensive part of the software maintenance process. Effective regression testing techniques select and order (or prioritize) test cases between successive...
Xiao Qu, Myra B. Cohen, Katherine M. Woolf