Sciweavers

1175 search results - page 2 / 235
» A scalable method for the generation of small test sets
Sort
View
ISSRE
2000
IEEE
13 years 10 months ago
Evaluation of Regressive Methods for Automated Generation of Test Trajectories
Automated generation of test cases is a prerequisite for fast testing. Whereas the research has addressed the creation of individual test points, test trajectoiy generation has at...
Brian J. Taylor, Bojan Cukic
ICST
2010
IEEE
13 years 4 months ago
TestFul: An Evolutionary Test Approach for Java
Abstract—This paper presents TestFul, an evolutionary testing approach for Java classes that works both at class and method level. TestFul exploits a multi-objective evolutionary...
Luciano Baresi, Pier Luca Lanzi, Matteo Miraz
FM
1998
Springer
198views Formal Methods» more  FM 1998»
13 years 10 months ago
Automated Test Set Generation for Statecharts
Kirill Bogdanov, Mike Holcombe, Harbhajan Singh
VLSID
2002
IEEE
115views VLSI» more  VLSID 2002»
14 years 6 months ago
A Partitioning and Storage Based Built-In Test Pattern Generation Method for Scan Circuits
We describe a built-in test pattern generation method for scan circuits. The method is based on partitioning and storage of test sets. Under this method, a precomputed test set is...
Irith Pomeranz, Sudhakar M. Reddy
AAAI
1994
13 years 7 months ago
Small is Beautiful: A Brute-Force Approach to Learning First-Order Formulas
We describe a method for learning formulas in firstorder logic using a brute-force, smallest-first search. The method is exceedingly simple. It generates all irreducible well-form...
Steven Minton, Ian Underwood