2774 search results - page 227 / 555 » Query-Driven Program Testing |
108
click to vote
OOPSLA
2007
Springer
15 years 9 months ago
2007
Springer
It is difļ¬cult to determine the cost effectiveness of program analysis tools because we cannot evaluate them in the same environment where we will be using the tool. Tool evalua...
122
click to vote
OOPSLA
2005
Springer
15 years 8 months ago
2005
Springer
A number of effective error detection tools have been built in recent years to check if a program conforms to certain design rules. An important class of design rules deals with s...
120
click to vote
SIGSOFT
2004
ACM
15 years 8 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ļ¬...
149
click to vote
PLDI
2003
ACM
15 years 8 months ago
2003
ACM
We propose a low-overhead sampling infrastructure for gathering information from the executions experienced by a programās user community. Several example applications illustrat...
109
click to vote
COMPSAC
2002
IEEE
15 years 8 months ago
2002
IEEE
Programs use rules to dictate or constrain specific decisions or actions. These rules have typically been tested, revised, and updated continuously; therefore, they represent a su...