48 search results - page 8 / 10 » An Abstract Interpretation Approach for Automatic Generation... |
ESOP
2006
Springer
13 years 10 months ago
2006
Springer
Abstract. In previous work, we described a new approach to supporting userdefined type qualifiers, which augment existing types to specify and check additional properties of intere...
SPIN
2005
Springer
14 years 5 days 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...
ISSTA
2009
ACM
14 years 1 months ago
2009
ACM
This paper explores an approach to improving the practical usability of static verification tools for debugging synchronization idioms. Synchronization idioms such as mutual excl...
SUTC
2006
IEEE
14 years 21 days ago
2006
IEEE
Abstract— Sensor networks are being increasingly deployed for collecting critical data in various applications. Once deployed, a sensor network may experience faults at the indiv...
KBSE
2003
IEEE
13 years 12 months ago
2003
IEEE
Unit testing, a common step in software development, presents a challenge. When produced manually, unit test suites are often insufficient to identify defects. The main alternativ...