298
click to vote
CODES
15 years 6 months ago
2004 IEEE 
This paper proposes a novel Deadlock Avoidance Algorithm (DAA) and its hardware implementation, the Deadlock Avoidance Unit (DAU), as an Intellectual Property (IP) core that provi...
226
click to vote
IASTEDSE
15 years 4 months ago
2004 
Quality management is becoming a more and more important part of the software development process. As software testing is currently understood as the core function of the quality ...
226
click to vote
ISSTA
15 years 8 months ago
2004 ACM
We show how model checking and symbolic execution can be used to generate test inputs to achieve structural coverage of code that manipulates complex data structures. We focus on ...
212
click to vote
ICSE
16 years 3 months ago
2004 IEEE-ACM
Cancelling or reversing the effect of a former action is a necessity in most interactive systems. The simplest and most frequent form of this facility is the "undo" comma...
210
click to vote
AKA
15 years 4 months ago
2004
Abstract: The evaluation of software architectures is crucial to ensure that the design of software systems meets the requirements. We present a generic methodical framework that e...
|
Software Engineering