369 search results - page 6 / 74 » Execution Synthesis: A Technique for Automated Software Debu... |
CL
2008
Springer
13 years 7 months ago
2008
Springer
Currently available application frameworks that target the automatic design of real-time embedded software are poor in integrating functional and non-functional requirements for m...
FASE
2009
Springer
14 years 6 days ago
2009
Springer
We have proposed an automated debugging technique that explains a failure by computing its causal path leading from the root cause to the failure. Given a failing execution, the te...
LCTRTS
2010
Springer
14 years 2 months ago
2010
Springer
For its high overall cost during product development, program debugging is an important aspect of system development. Debugging is a hard and complex activity, especially in time-...
KBSE
2010
IEEE
13 years 6 months ago
2010
IEEE
Software testing has been commonly used in assuring the quality of database applications. It is often prohibitively expensive to manually write quality tests for complex database ...
EUROMICRO
1996
IEEE
13 years 11 months ago
1996
IEEE
Signature based error detection techniques (e.g. the application of watchdog processors) can be easily extended to support software debugging. The run-time sequence of signatures ...