239 search results - page 30 / 48 » Distributed In Vivo Testing of Software Applications |
141
click to vote
VEE
2012
ACM
13 years 9 months ago
2012
ACM
Dynamic data flow tracking (DFT) deals with tagging and tracking data of interest as they propagate during program execution. DFT has been repeatedly implemented by a variety of ...
121
click to vote
COMPSAC
2001
IEEE
15 years 5 months ago
2001
IEEE
Virtual Reality Modeling Language (VRML) is widely used to represent, create, and display virtual reality objects and their environment. Some VRML applications require concurrent ...
158
click to vote
OOPSLA
2010
Springer
14 years 11 months ago
2010
Springer
In this paper we propose a communication-centric approach to specifying and checking how multithreaded programs use shared memory to perform inter-thread communication. Our approa...
109
click to vote
ACSAC
2003
IEEE
15 years 7 months ago
2003
IEEE
1 DOD Joint Vision 2020 (JV2020) is the integrated multi-service planning document for conduct among coalition forces of future warfare. It requires the confluence of a number of k...
163
click to vote
SIGMETRICS
2011
ACM
14 years 4 months ago
2011
ACM
Software bugs that occur in production are often difficult to reproduce in the lab due to subtle differences in the application environment and nondeterminism. To address this pr...