112
click to vote
SPIN
2005
Springer
15 years 4 months ago
2005
Springer
Abstract. This paper presents a technique that uses code to automatically generate its own test cases at run-time by using a combination of symbolic and concrete (i.e., regular) ex...
119
Voted
ICSE
2007
IEEE-ACM
15 years 11 months ago
2007
IEEE-ACM
