Publications



Results 1-1 of 1 (Search time: 0.0 seconds).

Issue DateTitleAuthor(s)
11-Dec-2009Symbolic execution for dynamic, evolutionary test data generationAndreou, Andreas S. ; Sofokleous, Anastasis A. ; Kourras, Antonis