5159 search results - page 311 / 1032 » Structural Testing of Executables |
162
click to vote
KBSE
2009
IEEE
16 years 2 months ago
2009
IEEE
Advances in recent years have made it possible in some cases to locate a bug (the source of a failure) automatically. But debugging is also about correcting bugs. Can tools do thi...
174
click to vote
ETFA
2005
IEEE
16 years 26 days ago
2005
IEEE
This work describes the proposal of a set of mechanisms to be applied in distributed component-based systems to allow the development of real-time applications capable of offering...
207
click to vote
EUROMICRO
2007
IEEE
15 years 9 months ago
2007
IEEE
BPEL is a de-facto standard language for web service orchestration. It is a challenge to test BPEL processes automatically because of the complex features of the language. The cur...
171
click to vote
ECOOP
2008
Springer
15 years 9 months ago
2008
Springer
It is very hard to fix a software failure without being able to reproduce it. However, reproducing a failure is often difficult and time-consuming. This paper proposes a novel tech...
183
click to vote
AI
2005
Springer
15 years 7 months ago
2005
Springer
We present a compiler that translates a problem specification into a propositional satisfiability test (SAT). Problems are specified in a logic-based language, called NP-SPEC, whi...