147 search results - page 25 / 30 » Test Input Generation for Programs with Pointers |
117
Voted
SIGSOFT
2004
ACM
15 years 8 months ago
2004
ACM
In run-time safety analysis the executions of a concurrent program are monitored and analyzed with respect to safety properties. Similar to testing, run-time analysis is quite eļ¬...
143
click to vote
OOPSLA
2010
Springer
15 years 11 days ago
2010
Springer
This poster presents a design language and a tool suite covering the development life-cycle of a Sense/Compute/Control (SCC) application. This language makes it possible to define...
161
Voted
TACAS
2012
Springer
13 years 10 months ago
2012
Springer
FShell is an automated white-box test-input generator for C programs, computing test data with respect to user-speciļ¬ed code coverage criteria. The pillars of FShell are the decl...
124
Voted
ICSE
2008
IEEE-ACM
16 years 3 months ago
2008
IEEE-ACM
This paper describes Juzi, a tool for automatic repair of complex data structures. Juzi takes a Java class representing the data structure as well as a predicate method that speci...
145
click to vote
PASTE
2005
ACM
15 years 8 months ago
2005
ACM
Forward symbolic execution is a program analysis technique that allows using symbolic inputs to explore program executions. The traditional applications of this technique have foc...