4079 search results - page 452 / 816 » Differential Testing for Software |
134
click to vote
SRDS
1997
IEEE
15 years 10 months ago
1997
IEEE
When creating mission-critical distributed systems using off-the-shelf components, it is important to assess the dependability of not only the hardware, but the software as well. ...
166
click to vote
SERP
2003
15 years 7 months ago
2003
In this paper, the specification of Verity, a webbased instructional tool, is presented. Verity is intended to be used as a learning assistant and self-assessment tool, more than ...
233
click to vote
SIMPRA
2011
15 years 1 months ago
2011
We propose a method to detect the onset of linear trend in a time series and estimate the change point T from the profile of a linear trend test statistic, computed on consecutive...
163
click to vote
CHI
2009
ACM
16 years 6 months ago
2009
ACM
Contemporary work increasingly involves interacting with strangers in technology-mediated environments. In this context, we come to rely on digital artifacts to infer characterist...
261
click to vote
EMSOFT
2011
Springer
14 years 5 months ago
2011
Springer
The last several years have seen a rapid increase in smart phone use. Android offers an open-source software platform on smart phones, that includes a Linux-based kernel, Java app...