Sciweavers

3547 search results - page 17 / 710
» Pseudo-Exhaustive Testing for Software
Sort
View
AOSD
2011
ACM
14 years 6 months ago
Reducing combinatorics in testing product lines
A Software Product Line (SPL) is a family of programs where each program is defined by a unique combination of features. Testing or checking properties of an SPL is hard as it ma...
Chang Hwan Peter Kim, Don S. Batory, Sarfraz Khurs...
ICST
2010
IEEE
14 years 10 months ago
Timed Moore Automata: Test Data Generation and Model Checking
Abstract—In this paper we introduce Timed Moore Automata, a specification formalism which is used in industrial train control applications for specifying the real-time behavior ...
Helge Löding, Jan Peleska
ICSE
2001
IEEE-ACM
15 years 4 months ago
Incorporating Varying Test Costs and Fault Severities into Test Case Prioritization
Sebastian G. Elbaum, Alexey G. Malishevsky, Gregg ...
ISSTA
2000
ACM
15 years 4 months ago
Prioritizing test cases for regression testing
Sebastian G. Elbaum, Alexey G. Malishevsky, Gregg ...