25 search results - page 4 / 5 » CUTE: a concolic unit testing engine for C |
ICSE
1994
IEEE-ACM
13 years 9 months ago
1994
IEEE-ACM
This paper describes a system called TESTTUBE that combines static and dynamic analysis to perform selective retesting of software systems written in C. TESTTUBEfirst identifies w...
SIGSOFT
2004
ACM
14 years 6 months ago
2004
ACM
Five modern static analysis tools (ARCHER, BOON, PolySpace C Verifier, Splint, and UNO) were evaluated using source code examples containing 14 exploitable buffer overflow vulnera...
QSIC
2005
IEEE
13 years 10 months ago
2005
IEEE
Database application programs typically contain program units that use SQL statements to manipulate records in database instances. Testing the correctness of data manipulation by ...
QSIC
2005
IEEE
13 years 10 months ago
2005
IEEE
Testing applications in service-oriented architecture (SOA) environments needs to deal with issues like the unknown communication partners until the service discovery, the impreci...
AOSD
2012
ACM
12 years 29 days ago
2012
ACM
Emerging languages are often source-to-source compiled to mainstream ones, which offer standardized, fine-tuned implementations of non-functional concerns (NFCs)—including pers...