215
click to vote
SPIN
2005
Springer
16 years 26 days 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...
246
Voted
ICSE
2007
IEEE-ACM
16 years 7 months ago
2007
IEEE-ACM
