![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
PASTE 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 W. 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
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.