3920 search results - page 449 / 784 » Challenges in Software Evolution |
197
click to vote
ISSRE
2006
IEEE
16 years 22 days ago
2006
IEEE
—Graphical user interfaces (GUIs) are used as front ends to most of today’s software applications. The event-driven nature of GUIs presents new challenges for testing. One impo...
167
click to vote
SCAM
2006
IEEE
16 years 22 days ago
2006
IEEE
Metamorphic malware — including certain viruses and worms — rewrite their code during propagation. This paper presents a method for normalizing multiple variants of metamorphi...
159
Voted
PPOPP
2006
ACM
16 years 20 days ago
2006
ACM
We study a family of implementations for linked lists using finegrain synchronisation. This approach enables greater concurrency, but correctness is a greater challenge than for ...
191
click to vote
KBSE
2005
IEEE
16 years 9 days ago
2005
IEEE
We present a new model checking algorithm for verifying computation tree logic (CTL) properties. Our technique is based on using language inference to learn the fixpoints necessar...
146
click to vote
ISORC
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper presents an analysis of the future of Embedded Linux in the PostPC industry. This analysis is carried out by first examining the current forces at work in the PostPC ma...