3820 search results - page 158 / 764 » Bounded Model Debugging |
101
click to vote
SEFM
2007
IEEE
15 years 9 months 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...
91
Voted
ISSTA
2006
ACM
15 years 8 months 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...
ANSS
2005
IEEE
15 years 8 months 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 ...
122
click to vote
ANSS
2005
IEEE
15 years 8 months 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...
101
click to vote
SOFTVIS
2005
ACM
15 years 8 months 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...