88 search results - page 10 / 18 » Debugging by Diagnosing Assumptions |
CP
1998
Springer
14 years 2 months ago
1998
Springer
We study how constraint-based static analysis can be applied to the automated and systematic debugging of program errors. Strongly moding and constraint-based mode analysis are tur...
ICRA
2007
IEEE
14 years 4 months ago
2007
IEEE
— The contact tonometer is commonly used for measuring the internal eye pressure to diagnose glaucoma. However, the conventional eye pressure measurement is valid only under the ...
ISSRE
2006
IEEE
14 years 3 months ago
2006
IEEE
Forward computation of dynamic slices is necessary to support interactive debugging and online analysis of long running programs. However, the overhead of existing forward computi...
AIPS
2003
13 years 11 months ago
2003
We propose a framework for policy generation in continuoustime stochastic domains with concurrent actions and events of uncertain duration. We make no assumptions regarding the co...
AMAST
2006
Springer
14 years 1 months ago
2006
Springer
Abstract. When designing an open system, there might be no implementation available for certain components at verification time. For such systems, verification has to be based on a...