3547 search results - page 364 / 710 » Pseudo-Exhaustive Testing for Software |
181
click to vote
ICSE
2005
IEEE-ACM
16 years 7 months ago
2005
IEEE-ACM
In this paper, we propose a method to help users avoid bugs in GUI applications. In particular, users would use the application normally and report bugs that they encounter to pre...
197
click to vote
COMPSAC
2008
IEEE
16 years 1 months ago
2008
IEEE
— In software testing and maintenance activities, the observed faults and bugs are reported in bug report managing systems (BRMS) for further analysis and repair. According to th...
162
click to vote
QSIC
2008
IEEE
16 years 1 months ago
2008
IEEE
Fault localization is a major activity in software debugging. Many existing statistical fault localization techniques compare feature spectra of successful and failed runs. Some a...
177
click to vote
OOPSLA
2007
Springer
16 years 29 days ago
2007
Springer
We present CodeGenie, a tool that implements a test-driven approach to search and reuse of code available on largescale code repositories. With CodeGenie, developers design test c...
198
click to vote
ACL2
2006
ACM
16 years 25 days ago
2006
ACM
We introduce the logical story behind file input in ACL2 and discuss the types of theorems that can be proven about filereading operations. We develop a low level library for re...