SPIN
2005
Springer
14 years 5 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...
ICSE
2007
IEEE-ACM
15 years 5 days ago
2007
IEEE-ACM
