1911 search results - page 315 / 383 » Program analysis for code duplication in logic programs |
111
click to vote
SIGSOFT
2010
ACM
14 years 11 months ago
2010
ACM
During maintenance, software is modified and evolved to enhance its functionality, eliminate faults, and adapt it to changed or new platforms. In this demo, we present BERT, a too...
110
Voted
ICSE
2008
IEEE-ACM
16 years 2 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...
122
click to vote
WCRE
2006
IEEE
15 years 8 months ago
2006
IEEE
We describe the design and implementation of FFE/x86 (File-Format Extractor for x86), an analysis tool that works on stripped executables (i.e., neither source code nor debugging ...
116
click to vote
ECOOP
2005
Springer
15 years 7 months ago
2005
Springer
Library writers wish to provide a guarantee not only that each procedure in the library performs correctly in isolation, but also that the procedures perform correctly when run in ...
111
click to vote
UML
2005
Springer
15 years 7 months ago
2005
Springer
Analysis and design by contract allows the definition of a formal agreement between a class and its clients, expressing each party’s rights and obligations. Contracts written in ...