2947 search results - page 349 / 590 » Analyzing Program Analyses |
264
click to vote
ICST
2010
IEEE
15 years 5 months ago
2010
IEEE
In the presence of an internal state, often it is required a sequence of function calls to test software. In fact, to cover a particular branch of the code, a sequence of previous...
167
click to vote
OOPSLA
2010
Springer
15 years 5 months ago
2010
Springer
Fixing concurrency bugs (or crugs) is critical in modern software systems. Static analyses to find crugs such as data races and atomicity violations scale poorly, while dynamic a...
162
click to vote
TSD
2010
Springer
15 years 4 months ago
2010
Springer
Modern speech recognition applications are becoming very complex program packages. To understand the error behaviour of the ASR systems, a special diagnosis - a procedure or a tool...
175
click to vote
ICCS
2009
Springer
15 years 4 months ago
2009
Springer
The Simple API for Grid Applications (SAGA) can be used to develop a range of applications which are in turn composed of multiple sub-tasks. In particular SAGA is an effective tool...
181
click to vote
IPL
2010
15 years 3 months ago
2010
cally Refining Abstract Interpretations Bhargav S. Gulavani1 , Supratik Chakraborty1 , Aditya V. Nori2 , and Sriram K. Rajamani2 1 IIT Bombay 2 Microsoft Research India Abstract. A...