Sciweavers

758 search results - page 4 / 152
» Pattern-Constrained Test Case Generation
Sort
View
PTS
2010
132views Hardware» more  PTS 2010»
13 years 7 months ago
Increasing Functional Coverage by Inductive Testing: A Case Study
This paper addresses the challenge of generating test sets that achieve functional coverage, in the absence of a complete specification. The inductive testing technique works by p...
Neil Walkinshaw, Kirill Bogdanov, John Derrick, Ja...
ICST
2010
IEEE
13 years 6 months ago
Automated Test Data Generation on the Analyses of Feature Models: A Metamorphic Testing Approach
A Feature Model (FM) is a compact representation of all the products of a software product line. The automated extraction of information from FMs is a thriving research topic invo...
Sergio Segura, Robert M. Hierons, David Benavides,...
GI
2009
Springer
13 years 6 months ago
Automated GUI Testing Validation guided by Annotated Use Cases
Abstract: This paper presents a new approach to Automatic GUI Test Case Generation and Validation: a use case-guided technique to reduce the effort required in GUI modeling and tes...
Pedro Luis Mateo Navarro, Diego Sevilla Ruiz, Greg...
SAC
2008
ACM
13 years 8 months ago
Test generation and minimization with "basic" statecharts
Model-based testing as a black-box testing technique has grown in importance. The models used represent the relevant features of the system under consideration (SUC), and can also...
Fevzi Belli, Axel Hollmann
VL
2006
IEEE
122views Visual Languages» more  VL 2006»
14 years 2 months ago
AutoTest: A Tool for Automatic Test Case Generation in Spreadsheets
In this paper we present a system that helps users test their spreadsheets using automatically generated test cases. The system generates the test cases by backward propagation an...
Robin Abraham, Martin Erwig