4079 search results - page 690 / 816 » Differential Testing for Software |
126
Voted
AOSD
2007
ACM
15 years 6 months ago
2007
ACM
Modern source-level debuggers support dynamic breakpoints that are guarded by conditions based on program state. Such breakpoints address situations where a static breakpoint is n...
132
Voted
FASE
2006
Springer
15 years 6 months ago
2006
Springer
Techniques for inferring a regular language, in the form of a finite automaton, from a sufficiently large sample of accepted and nonaccepted input words, have been employed to cons...
125
click to vote
ISSTA
2010
ACM
15 years 6 months ago
2010
ACM
Program control dependence has substantial impact on applications such as dynamic information flow tracking and data lineage tracing (a technique tracking the set of inputs that ...
129
click to vote
ISSTA
2010
ACM
15 years 6 months ago
2010
ACM
Recently, there has been much interest in developing analyzes to detect concurrency bugs that arise because of data races, atomicity violations, execution omission, etc. However, ...
145
Voted
KBSE
2000
IEEE
15 years 6 months ago
2000
IEEE
c specifications provide a powerful method for the specification of abstract data types in programming languages and software systems. Completeness and ground confluence are fundam...