Information Technology Reference
In-Depth Information
References
1. Botella, B., Delahaye, M., Hong-Tuan-Ha, S., Kosmatov, N., Mouy, P., Roger, M., Williams,
N.: Automating structural testing of C programs: Experience with PathCrawler. In: AST 2009
(2009)
2. Milicevic, A., Misailovic, S., Marinov, D., Khurshid, S.: Korat: A tool for generating struc-
turally complex test inputs. In: ICSE 2007 (2007)
3. Visser, W., Pasareanu, C.S., Khurshid, S.: Test input generation with Java PathFinder. In:
ISSTA 2004 (2004)
4. Sen, K., Marinov, D., Agha, G.: CUTE: a concolic unit testing engine for C. In: ESEC/ FSE
2013 (2013)
5. Barnett, M., Fahndrich, M., de Halleux, P., Logozzo, F., Tillmann, N.: Exploiting the synergy
between automated-test-generation and programming-by-contract. In: ICSE 2009 (2009)
6. Godefroid, P.: Compositional dynamic test generation. In: POPL 2007 (2007)
7. Kosmatov, N.: All-paths test generation for programs with internal aliases. In: ISSRE 2008
(2008)
8. Kosmatov, N.: Online version of PathCrawler (2010-2013),
9. Chebaro, O., Kosmatov, N., Giorgetti, A., Julliand, J.: Program slicing enhances a verification
technique combining static and dynamic analysis. In: SAC 2012 (2012)
10. Delahaye, M., Kosmatov, N., Signoles, J.: Common specification language for static and
dynamic analysis of C programs. In: SAC 2013 (2013)
