353 search results - page 1 / 71 » TRICS: A Testing Tool for C |
ESEC
1987
Springer
14 years 2 months ago
1987
Springer
QSIC
2006
IEEE
14 years 5 months ago
2006
IEEE
This paper describes a prototype tool, called SimC, which automatically generates test data for unit testing of C programs. The tool symbolically simulates the execution of the gi...
OOPSLA
2007
Springer
14 years 5 months ago
2007
Springer
This article describes the design and use of the CUTE C++ testing framework and its integration into the Eclipse C++ Development Tooling. Unit testing supports code quality and is...
ICSE
2009
IEEE-ACM
14 years 3 months ago
2009
IEEE-ACM
Structural testing is widely used in industrial verification processes of critical software. This report presents PathCrawler, a structural test generation tool that may be used ...
ICSE
2005
IEEE-ACM
14 years 11 months ago
2005
IEEE-ACM
