5159 search results - page 92 / 1032 » Structural Testing of Executables |
143
Voted
APSEC
1996
IEEE
15 years 6 months ago
1996
IEEE
Testing of concurrent programs is much more difficult than that of sequential programs. A concurrent program behaves nondeterministically, that is, the program may produce differe...
126
Voted
ASPLOS
2012
ACM
13 years 10 months ago
2012
ACM
Processor emulators are widely used to provide isolation and instrumentation of binary software. However they have proved difficult to implement correctly: processor specificati...
176
Voted
SIGMOD
2012
ACM
13 years 5 months ago
2012
ACM
We present BloomUnit, a testing framework for distributed programs written in the Bloom language. BloomUnit allows developers to write declarative test specifications that descri...
134
Voted
KBSE
2009
IEEE
15 years 9 months ago
2009
IEEE
Abstract—Test coverage such as branch coverage is commonly measured to assess the sufficiency of test inputs. To reduce tedious manual efforts in generating high-covering test i...
220
click to vote
SIGMOD
2008
ACM
16 years 2 months ago
2008
ACM
Text documents often embed data that is structured in nature. This structured data is increasingly exposed using information extraction systems, which generate structured relation...