2132 search results - page 53 / 427 » Automated software winnowing |
PLDI
2005
ACM
15 years 4 months ago
2005
ACM
We present a new tool, named DART, for automatically testing software that combines three main techniques: (1) automated extraction of the interface of a program with its external...
42
Voted
DAC
1999
ACM
15 years 12 months ago
1999
ACM
CBSE
2004
Springer
15 years 4 months ago
2004
Springer
Abstract. This paper discusses various classifications of component interoperability errors.These classifications aim at supporting the automation of component adaptation. The us...
SIGSOFT
2004
ACM
15 years 4 months ago
2004
ACM
In run-time safety analysis the executions of a concurrent program are monitored and analyzed with respect to safety properties. Similar to testing, run-time analysis is quite e...
JAR
2006
14 years 11 months ago
2006
Using automated reasoning techniques, we tackle the niche activity of proving that a program is free from run-time exceptions. Such a property is particularly valuable in high inte...