3820 search results - page 158 / 764 » Bounded Model Debugging |
144
click to vote
SEFM
2007
IEEE
16 years 27 days ago
2007
IEEE
Reactive integrated development environments for software engineering have lead to an increase in productivity and quality of programs produced. They have done so by replacing the...
132
click to vote
ISSTA
2006
ACM
16 years 18 days ago
2006
ACM
This paper extends basic software-testing theory to software components and adds explicit state to the theory. The resulting theory e enough to abstractly model the construction o...
125
click to vote
ANSS
2005
IEEE
16 years 8 days ago
2005
IEEE
Many scientific simulations are large programs which despite careful debugging and testing will probably contain errors when deployed to the Web for use. Based on the assumption ...
181
click to vote
ANSS
2005
IEEE
16 years 8 days ago
2005
IEEE
Although the grid allows the researcher to tap a vast amount of resources, the complexity involved in utilizing this power can make it unwieldy and time-consuming. The Grid Interf...
140
click to vote
SOFTVIS
2005
ACM
16 years 6 days ago
2005
ACM
Programming in parallel is an error-prone and complex task compounded by the lack of tool support for both programming and debugging. Recent advances in compiler-directed shared m...