194 search results - page 24 / 39 » Supporting Reliable Software Evolution through Program Analy... |
ICSE
2008
IEEE-ACM
14 years 7 months ago
2008
IEEE-ACM
Enforcing compliance to API usage protocols is notoriously hard due to possible aliasing of objects through multiple references. In previous work we proposed a sound, modular appr...
BMCBI
2007
13 years 7 months ago
2007
Background: Research in evolution requires software for visualizing and editing phylogenetic trees, for increasingly very large datasets, such as arise in expression analysis or m...
SIGSOFT
2005
ACM
14 years 8 months ago
2005
ACM
We develop a method for matching dynamic histories of program executions of two program versions. The matches produced can be useful in many applications including software piracy...
WCET
2010
13 years 5 months ago
2010
Safe and tight worst-case execution times (WCETs) are important when scheduling hard realtime systems. This paper presents METAMOC, a modular method, based on model checking and s...
PEPM
2010
ACM
14 years 4 months ago
2010
ACM
A method for context-sensitive analysis of binaries that may have obfuscated procedure call and return operations is presented. Such binaries may use operators to directly manipul...