388 search results - page 19 / 78 » Guiding random test generation with program analysis |
FDL
2008
IEEE
15 years 5 months ago
2008
IEEE
Constraint-based random simulation is state-of-the-art in verification of multi-million gate industrial designs. This method is based on stimulus generation by constraint solving...
75
Voted
ICALP
2005
Springer
15 years 4 months ago
2005
Springer
We consider the problem of testing the commutativity of a black-box group specified by its k generators. The complexity (in terms of k) of this problem was first considered by Pa...
SIGSOFT
2005
ACM
15 years 11 months ago
2005
ACM
Before performing a modification task, a developer usually has to investigate the source code of a system to understand how to carry out the task. Discovering the code relevant to...
100
click to vote
KBSE
2005
IEEE
15 years 4 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
15 years 3 months ago
2003
IEEE
Often the code regions that are assigned for a maintenance task do not follow the modularization of the original application program, but instead include parts of code from many d...