5159 search results - page 130 / 1032 » Structural Testing of Executables |
155
click to vote
FATES
2003
Springer
15 years 11 months ago
2003
Springer
Generating effective tests and inferring likely program specifications are both difficult and costly problems. We propose an approach in which we can mutually enhance the tests and...
171
click to vote
ATS
1998
IEEE
15 years 10 months ago
1998
IEEE
We propose a new static test set compaction method based on a careful examination of attributes of fault coverage curves. Our method is based on two key ideas: 1 fault-list and te...
161
click to vote
DAGSTUHL
2004
15 years 7 months ago
2004
Although computer systems penetrate all facets of society, the software running those systems may contain many errors. Producing high quality software appears to be difficult and v...
162
click to vote
SIGSOFT
2010
ACM
15 years 4 months ago
2010
ACM
Although much progress has been made in software verification, software testing remains by far the most widely used technique for improving software reliability. Among various typ...
141
click to vote
LCPC
2005
Springer
15 years 11 months ago
2005
Springer
Eden is a parallel extension of the functional language Haskell. Eden inherits from Haskell its laziness, which allows it to avoid unnecessary computations. However, in order to en...