1112 search results - page 33 / 223 » Executing Abstract Test Cases |
SIGSOFT
2008
ACM
15 years 10 months ago
2008
ACM
Program input syntactic structure is essential for a wide range of applications such as test case generation, software debugging and network security. However, such important info...
TAP
2008
Springer
14 years 10 months 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,...
ECRTS
2004
IEEE
15 years 1 months ago
2004
IEEE
We present a task model for adaptive real-time tasks in which a task's execution rate requirements are allowed to change at any time. The model, variable rate execution (VRE)...
PTS
2003
14 years 11 months ago
2003
We present a framework for property testing where a partially ordered execution trace of a distributed system is modeled by a collection of communicating automata. We prove that th...
ICSM
2005
IEEE
15 years 3 months ago
2005
IEEE
Several rapid-feedback-based quality assurance mechanisms are used to manage the quality of continuously evolving software. Even though graphical user interfaces (GUIs) are one of...