Google
Google Scholar
Semantic Scholar
IA Scholar
CiteSeerX
ORCIDPASTE 2005: Lisbon, Portugal
- Michael D. Ernst, Thomas P. Jensen:
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
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2022-01-19 23:57 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp has been originally created in 1993 at:
since 2018, dblp is operated and maintained by:
the dblp computer science bibliography is funded and supported by:
