Sciweavers

759 search results - page 4 / 152
» Test case generator for GUITAR
Sort
View
ICST
2011
IEEE
13 years 2 months ago
Exploiting Common Object Usage in Test Case Generation
—Generated test cases are good at systematically exploring paths and conditions in software. However, generated test cases often do not make sense. We adapt test case generation ...
Gordon Fraser, Andreas Zeller
QSIC
2005
IEEE
14 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
COMPSAC
2003
IEEE
14 years 3 months ago
BINTEST - Binary Search-based Test Case Generation
One of the important tasks during software testing is the generation of test cases. Various approaches have been proposed to automate this task. The approaches available, however,...
Sami Beydeda, Volker Gruhn
ICTAC
2004
Springer
14 years 3 months ago
Combining Algebraic and Model-Based Test Case Generation
Abstract. The classical work on test case generation and formal methods focuses either on algebraic or model-based specifications. In this paper we propose an approach to derive t...
Li Dan, Bernhard K. Aichernig
SEKE
2010
Springer
13 years 8 months ago
Ontology-Based Test Case Generation For Simulating Complex Production Automation Systems
—The behavior of complex production automation systems is hard to predict, therefore simulation is used to study the likely system behavior. However, in a real-world system many ...
Thomas Moser, Gregor Dürr, Stefan Biffl