1901 search results - page 318 / 381 » Predicting Program Properties from |
115
click to vote
TSE
2008
14 years 11 months ago
2008
Software end users are the best testers, who keep revealing bugs in software that has undergone rigorous in-house testing. In order to leverage their testing efforts, failure repor...
151
click to vote
SIGIR
2012
ACM
13 years 1 months ago
2012
ACM
Many private and/or public organizations have been reported to create and monitor targeted Twitter streams to collect and understand users’ opinions about the organizations. Tar...
167
Voted
POPL
2008
ACM
15 years 11 months ago
2008
ACM
Machine-checked proofs of properties of programming languages have become a critical need, both for increased confidence in large and complex designs and as a foundation for techn...
100
click to vote
KDD
2009
ACM
15 years 11 months ago
2009
ACM
Mining discrete patterns in binary data is important for subsampling, compression, and clustering. We consider rankone binary matrix approximations that identify the dominant patt...
KBSE
2009
IEEE
15 years 5 months ago
2009
IEEE
—We investigate claims and assumptions made in several recent papers about fault localization (FL) techniques. Most of these claims have to do with evaluating FL accuracy. Our in...