PASTE 2005: Lisbon, Portugal

Michael D. Ernst, Thomas P. Jensen (Eds.): Proceedings of the 2005 ACM SIGPLAN-SIGSOFT Workshop on Program Analysis For Software Tools and Engineering, PASTE'05, Lisbon, Portugal, September 5-6, 2005. ACM 2005, ISBN 1-59593-239-9

Opening

Manuvir Das:
PASTE at Microsoft. 1
Jeremy S. Bradbury, James R. Cordy, Jürgen Dingel:
An empirical framework for comparing effectiveness of testing and property-based formal analysis. 2-5

Static analysis

Donglin Liang, Maikel Pennings, Mary Jean Harrold:
Evaluating the impact of context-sensitivity on Andersen's algorithm for Java programs. 6-12
David Hovemeyer, Jaime Spacco, William Pugh:
Evaluating and tuning a static analysis to find null pointer bugs. 13-19
Jean Privat, Roland Ducournau:
Link-time static analysis for efficient separate compilation of object-oriented languages. 20-27

Monitoring and testing

Naveen Kumar, Bruce R. Childers, Mary Lou Soffa:
Low overhead program monitoring and profiling. 28-34
Sriraman Tallam, Neelam Gupta:
A concept analysis inspired greedy algorithm for test suite minimization. 35-42
Jonathan E. Cook, Alessandro Orso:
MonDe: safe updating through monitored deployment of new component versions. 43-46

Security and state

Andrew C. Myers:
Making distributed systems secure with program analysis and transformation. 47
Dick Hamlet:
Invariants and state in testing and formal methods. 48-51

Analysis frameworks

Hari Hampapuram, Yue Yang, Manuvir Das:
Symbolic path simulation in path-sensitive dataflow analysis. 52-58
Christopher J. F. Pickett, Clark Verbrugge:
SableSpMT: a software framework for analysing speculative multithreading in Java. 59-66
Michelle Mills Strout, John M. Mellor-Crummey, Paul D. Hovland:
Representation-independent program analysis. 67-74

Low-level code

Ludo Van Put, Bjorn De Sutter, Matias Madou, Bruno De Bus, Dominique Chanet, Kristof Smits, Koen De Bosschere:
LANCET: a nifty code editing tool. 75-81
Michael Barnett, K. Rustan M. Leino:
Weakest-precondition of unstructured programs. 82-87
Mihai Christodorescu, Nicholas Kidd, Wen-Han Goh:
String analysis for x86 binaries. 88-95

Reverse engineering and symbolic execution

Atanas Rountev, Olga Volgin, Miriam Reddoch:
Static control-flow analysis for reverse engineering of UML sequence diagrams. 96-102
Sarfraz Khurshid, Yuk Lai Suen:
Generalizing symbolic execution to library classes. 103-110
Jeff H. Perkins:
Automatically generating refactorings to support API evolution. 111-114

Last update Fri May 25 08:31:07 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page