16725 search results - page 671 / 3345 » Engineering Software Correctness |
266
click to vote
ICSE
2009
IEEE-ACM
16 years 8 months ago
2009
IEEE-ACM
Process models capture tasks performed by agents together with their control flow. Building and analyzing such models is important but difficult in certain areas such as safety-cr...
208
Voted
ICSE
2009
IEEE-ACM
16 years 8 months ago
2009
IEEE-ACM
Parallelizing existing sequential programs to run efficiently on multicores is hard. The Java 5 package java.util.concurrent (j.u.c.) supports writing concurrent programs: much of...
183
click to vote
ICSE
2009
IEEE-ACM
16 years 8 months ago
2009
IEEE-ACM
Classic fault localization techniques can automatically provide information about the suspicious code blocks that are likely responsible for observed failures. This information is...
158
click to vote
ICSE
2009
IEEE-ACM
16 years 8 months ago
2009
IEEE-ACM
Code cloning is not only assumed to inflate maintenance costs but also considered defect-prone as inconsistent changes to code duplicates can lead to unexpected behavior. Conseque...
157
click to vote
ICSE
2008
IEEE-ACM
16 years 8 months ago
2008
IEEE-ACM
Previously we presented atomic sets, memory locations that share some consistency property, and units of work, code fragments that preserve consistency of atomic sets on which the...