4079 search results - page 492 / 816 » Differential Testing for Software |
169
click to vote
SIGMOD
2011
ACM
14 years 7 months ago
2011
ACM
We study the problem of generating synthetic databases having declaratively specified characteristics. This problem is motivated by database system and application testing, data ...
147
click to vote
CHI
2002
ACM
16 years 5 months ago
2002
ACM
This demonstration will show the application of a unique approach to collecting and analyzing usability data from the users of Web sites and software applications. The NetRaker Su...
203
Voted
PLDI
2011
ACM
14 years 7 months ago
2011
ACM
Compilers should be correct. To improve the quality of C compilers, we created Csmith, a randomized test-case generation tool, and spent three years using it to find compiler bug...
138
Voted
PLDI
2012
ACM
13 years 7 months ago
2012
ACM
To report a compiler bug, one must often find a small test case that triggers the bug. The existing approach to automated test-case reduction, delta debugging, works by removing ...
160
Voted
ISCA
2009
IEEE
15 years 11 months ago
2009
IEEE
The advent of multicores has introduced new challenges for programmers to provide increased performance and software reliability. There has been significant interest in technique...