5159 search results - page 39 / 1032 » Structural Testing of Executables |
COMPSAC
2002
IEEE
15 years 5 months ago
2002
IEEE
One of the most important issues in the software development is how to guarantee that the software satisfies the quality defined in the requirement specification. This paper pr...
120
Voted
AIPS
2008
15 years 2 months ago
2008
As no plan can cover all possible contingencies, the ability to detect failures during plan execution is crucial to the robustness of any autonomous system operating in a dynamic ...
115
Voted
ISSTA
2010
ACM
15 years 2 months ago
2010
ACM
This paper presents a new technique, called Symbolic Program Decomposition (or SPD), for symbolic execution of multiple paths that is more scalable than existing techniques, which...
94
Voted
ENTCS
2008
15 years 21 days ago
2008
This paper presents the language Lutin and its operational semantics. This language specifically targets the domain of reactive systems, where an execution is a (virtually) infini...
106
Voted
ASPDAC
2006
ACM
15 years 6 months ago
2006
ACM
- We propose a hardware performance estimation flow for fast design space exploration, based on worst-case execution time analysis algorithms for software analysis. Test cases on s...