1273 search results - page 250 / 255 » The data mining approach to automated software testing |
160
click to vote
PERVASIVE
2010
Springer
15 years 8 months ago
2010
Springer
We present the design and evaluation of Panoramic, a tool that enables end-users to specify and verify an important family of complex location events. Our approach aims to reduce o...
205
click to vote
KI
2002
Springer
15 years 6 months ago
2002
Springer
While empirical evaluations are a common research method in some areas of Artificial Intelligence (AI), others still neglect this approach. This article outlines both the opportun...
143
click to vote
PLDI
2009
ACM
16 years 1 months ago
2009
ACM
Unchecked errors are especially pernicious in operating system file management code. Transient or permanent hardware failures are inevitable, and error-management bugs at the fi...
169
click to vote
XPU
2005
Springer
16 years 2 hour ago
2005
Springer
The main goal to be answered by this Ph.D. thesis is whether there is a potential for a successful and powerful application of agile methods and related techniques to embedded syst...
193
click to vote
POPL
2012
ACM
14 years 2 months ago
2012
ACM
Data races are among the most reliable indicators of programming errors in concurrent software. For at least two decades, Lamport’s happens-before (HB) relation has served as th...