169 search results - page 7 / 34 » Towards a Framework for Constraint-Based Test Case Generatio... |
KBSE
2005
IEEE
14 years 1 months ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...
ICSM
2003
IEEE
14 years 24 days ago
2003
IEEE
“Nightly/daily building and smoke testing” have become widespread since they often reveal bugs early in the software development process. During these builds, software is comp...
GECCO
2009
Springer
14 years 4 days ago
2009
Springer
This paper introduces TestFul, a framework for testing stateful systems and focuses on object-oriented software. TestFul employs a hybrid multi-objective evolutionary algorithm, t...
ICFEM
2009
Springer
14 years 2 months ago
2009
Springer
In this paper we describe the functional features and the architecture of a tool implementing the Stocks-Carrington framework (TTF) for model based testing (MBT). The resulting pro...
ECIS
2003
13 years 9 months ago
2003
One of the primary methods employed by researchers to judge the merits of new heuristics and algorithms is to run them on accepted benchmark test cases and comparing their perform...