16725 search results - page 305 / 3345 » Engineering Software Correctness |
ICSE
2008
IEEE-ACM
16 years 4 months ago
2008
IEEE-ACM
160
click to vote
IWPC
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract—Correcting software defects accounts for a significant amount of resources such as time, money and personnel. To be able to focus testing efforts where needed the most,...
125
Voted
ISSTA
2009
ACM
15 years 10 months ago
2009
ACM
Atomicity is a key correctness specification for multithreaded programs. Prior dynamic atomicity analyses include precise tools, which report an error if and only if the observed...
127
click to vote
ICSM
2008
IEEE
15 years 10 months ago
2008
IEEE
A principal goal of agent-oriented software engineering (AOSE) is to provide the mechanisms for reusing, maintaining and allowing the evolution of agent-based software systems. Ou...
140
Voted
CGO
2004
IEEE
15 years 8 months ago
2004
IEEE
Traditionally, software pipelining is applied either to the innermost loop of a given loop nest or from the innermost loop to the outer loops. In a companion paper, we proposed a ...