2132 search results - page 127 / 427 » Automated software winnowing |
ISSE
2010
14 years 9 months ago
2010
We present a framework, called AIR, for verifying safety properties of assembly language proa software model checking. AIR extends the applicability of predicate abstraction and x...
107
click to vote
WCRE
2010
IEEE
14 years 9 months ago
2010
IEEE
—In a software project, outsourcing the development of a particular functionality, reusing a part in another software, or handing-over a part of the code to a new team member req...
ICSE
2009
IEEE-ACM
14 years 9 months ago
2009
IEEE-ACM
Self-adaptability has been proposed as an effective approach to automate the complexity associated with the management of modern-day software systems. While over the past decade w...
SIGSOFT
2007
ACM
2007
ACM
Fault and adversary tolerance as an emergent property of distributed systems' software architectures
15 years 12 months ago
Fault and adversary tolerance have become not only desirable but required properties of software systems because mission-critical systems are commonly distributed on large network...
CAISE
2005
Springer
15 years 4 months ago
2005
Springer
Researchers and professionals know the importance of the documentation for the efficient maintenance of legacy software. Unfortunately, many legacy systems lack this important arti...