1722 search results - page 150 / 345 » Generating Tests from Counterexamples |
BIOINFORMATICS
2012
12 years 24 days ago
2012
Motivation: Next-generation sequencing methods are generating increasingly massive datasets, yet still do not fully capture genetic diversity in the richest environments. To under...
SIGMOD
2000
ACM
14 years 2 months ago
2000
ACM
Testing an SQL database system by running large sets of deterministic or stochastic SQL statements is common practice in commercial database development. However, code defects oft...
ISSTA
2006
ACM
14 years 4 months ago
2006
ACM
DSD-Crasher is a bug finding tool that follows a three-step approach to program analysis: D. Capture the program’s intended execution behavior with dynamic invariant detection....
ACE
2004
13 years 11 months ago
2004
ExamGen is a software application developed at Queensland University of Technology to assist instructors with assessment in large classes (250+). The ExamGen program was developed...
ECOOP
2008
Springer
14 years 5 days ago
2008
Springer
It is very hard to fix a software failure without being able to reproduce it. However, reproducing a failure is often difficult and time-consuming. This paper proposes a novel tech...