104 search results - page 10 / 21 » On test repair using symbolic execution |
100
click to vote
EUROSYS
2010
ACM
15 years 8 months ago
2010
ACM
Debugging real systems is hard, requires deep knowledge of the code, and is time-consuming. Bug reports rarely provide sufficient information, thus forcing developers to turn int...
FATES
2004
Springer
15 years 5 months ago
2004
Springer
We present the development of T-UPPAAL — a new tool for online black-box testing of real-time embedded systems from non-deterministic timed automata specifications. It is based ...
SIGSOFT
2008
ACM
16 years 13 days 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...
191
click to vote
ISSTA
2004
ACM
15 years 5 months ago
2004
ACM
We show how model checking and symbolic execution can be used to generate test inputs to achieve structural coverage of code that manipulates complex data structures. We focus on ...
109
click to vote
SIGSOFT
2003
ACM
16 years 12 days ago
2003
ACM
Memory corruption errors lead to non-deterministic, elusive crashes. This paper describes ARCHER (ARray CHeckER) a static, effective memory access checker. ARCHER uses path-sensit...