2026 search results - page 22 / 406 » Tools for Test Case Generation |
115
click to vote
ISSTA
2009
ACM
15 years 7 months ago
2009
ACM
Dynamic test generation consists of executing a program while gathering symbolic constraints on inputs from predicates encountered in branch statements, and of using a constraint ...
100
click to vote
TAP
2008
Springer
15 years 10 days ago
2008
Springer
Pex automatically produces a small test suite with high code coverage for a .NET program. To this end, Pex performs a systematic program analysis (using dynamic symbolic execution,...
SIGSOFT
2003
ACM
16 years 1 months ago
2003
ACM
Although graphical user interfaces (GUIs) constitute a large part of the software being developed today and are typically created using rapid prototyping, there are no effective r...
108
Voted
PTS
2010
14 years 10 months ago
2010
The addition of a cross-cutting concern in a program, through aspect weaving, has an impact on its existing behaviors. If test cases exist for the program, it is necessary to ident...
127
click to vote
ICST
2011
IEEE
14 years 4 months ago
2011
IEEE
—Generated test cases are good at systematically exploring paths and conditions in software. However, generated test cases often do not make sense. We adapt test case generation ...