4079 search results - page 762 / 816 » Differential Testing for Software |
140
click to vote
VMCAI
2007
Springer
16 years 3 days ago
2007
Springer
Abstraction frameworks use under-approximating transitions in order to prove existential properties of concrete systems. Under-approximating transifer to the concrete states that c...
143
click to vote
AUIC
2006
IEEE
16 years 2 days ago
2006
IEEE
Graphical rewrite rules are often used in programming environments for children. These rules consist of two parts: a left-hand side, which is visually matched in the environment, ...
140
click to vote
ASPLOS
2006
ACM
15 years 12 months ago
2006
ACM
Log-based recovery and replay systems are important for system reliability, debugging and postmortem analysis/recovery of malware attacks. These systems must incur low space and p...
182
click to vote
DSN
2005
IEEE
15 years 11 months ago
2005
IEEE
The ability to check memory references against their associated array/buffer bounds helps programmers to detect programming errors involving address overruns early on and thus avo...
185
click to vote
IUI
2005
ACM
15 years 11 months ago
2005
ACM
A principal problem in speech recognition is distinguishing between words and phrases that sound similar but have different meanings. Speech recognition programs produce a list of...