Sciweavers

3544 search results - page 122 / 709
» Software Testing
Sort
View
QSIC
2005
IEEE
15 years 3 months ago
Test Case Generation by OCL Mutation and Constraint Solving
Fault-based testing is a technique where testers anticipate errors in a system under test in order to assess or generate test cases. The idea is to have enough test cases capable ...
Bernhard K. Aichernig, Percy Antonio Pari Salas
AOSD
2011
ACM
14 years 5 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...
ICSE
2009
IEEE-ACM
15 years 2 months ago
Automating Structural Testing of C Programs: Experience with PathCrawler
Structural testing is widely used in industrial verification processes of critical software. This report presents PathCrawler, a structural test generation tool that may be used ...
Bernard Botella, Mickaël Delahaye, Sté...
EUROMICRO
2003
IEEE
15 years 3 months ago
Object-Oriented Mutation to Asses the Quality of Tests
The quality of a test suite can be measured using mutation analysis. Groups of OO mutation operators are proposed for testing object-oriented features. The OO operators applied to...
Anna Derezinska
CSMR
2006
IEEE
15 years 4 months ago
Can LSI help Reconstructing Requirements Traceability in Design and Test?
Managing traceability data is an important aspect of the software development process. In this paper we investigate to what extent latent semantic indexing (LSI), an information r...
Marco Lormans, Arie van Deursen