Sciweavers

259 search results - page 11 / 52
» Using a Goal-Driven Approach to Generate Test Cases for GUIs
Sort
View
APSEC
2004
IEEE
13 years 11 months ago
An Approach to Detecting Domain Errors Using Formal Specification-Based Testing
Domain testing, a technique for testing software or portions of software dominated by numerical processing, is intended to detect domain errors that usually arise from incorrect i...
Yuting Chen, Shaoying Liu
ITNG
2008
IEEE
14 years 1 months ago
Combinatorial Test Case Selection with Markovian Usage Models
A method of using Markov chain techniques for combinatorial test case selection is presented. The method can be used for statistical and coverage testing of many software programs...
Sergiy A. Vilkomir, W. Thomas Swain, Jesse H. Poor...
GECCO
2005
Springer
159views Optimization» more  GECCO 2005»
14 years 1 months ago
Using evolutionary algorithms for the unit testing of object-oriented software
As the paradigm of object orientation becomes more and more important for modern IT development projects, the demand for an automated test case generation to dynamically test obje...
Stefan Wappler, Frank Lammermann
DATE
1997
IEEE
109views Hardware» more  DATE 1997»
13 years 11 months ago
Sequential circuit test generation using dynamic state traversal
A new method for state justi cation is proposed for sequential circuit test generation. The linear list of states dynamically obtained during the derivation of test vectors is use...
Michael S. Hsiao, Elizabeth M. Rudnick, Janak H. P...
PTS
2010
134views Hardware» more  PTS 2010»
13 years 5 months ago
A Learning-Based Approach to Unit Testing of Numerical Software
We present an application of learning-based testing to the problem of automated test case generation (ATCG) for numerical software. Our approach uses n-dimensional polynomial model...
Karl Meinke, Fei Niu