![](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 2008: Atlanta, Georgia, USA
- Shriram Krishnamurthi, Michal Young:
Proceedings of the 8th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, PASTE'08, Atlanta, Georgia, November 9-10, 2008. ACM 2008, ISBN 978-1-60558-382-2
Models of code behavior
- Anna Zaks, Amir Pnueli:
Program analysis for compiler validation. 1-7 - Arnab De, Abhik Roychoudhury
, Deepak D'Souza:
Java memory model aware software validation. 8-14 - Kiran Pamnany, John Jannotti:
Elyze: enabling safe parallelism in event-driven servers. 15-21
Reverse engineering
- Marwan Abi-Antoun, Jonathan Aldrich
:
A field study in static extraction of runtime architectures. 22-28 - David Lo
, Shahar Maoz
:
Specification mining of symbolic scenario-based models. 29-35
Characterizing the heap
- Laurent Hubert:
A non-null annotation inferencer for Java bytecode. 36-42 - Mark Marron, Mario Méndez-Lojo, Manuel V. Hermenegildo, Darko Stefanovic, Deepak Kapur:
Sharing analysis of arrays, collections, and recursive structures. 43-49 - Yin Liu, Ana L. Milanova:
Static analysis for inference of explicit information flow. 50-56
Usability of analysis tools and results
- Yit Phang Khoo, Jeffrey S. Foster, Michael Hicks
, Vibha Sazawal:
Path projection for user-centered static analysis tools. 57-63 - Macneil Shonle, William G. Griswold
, Sorin Lerner:
Addressing common crosscutting problems with Arcum. 64-69 - Haihao Shen, Sai Zhang, Jianjun Zhao, Jianhong Fang, Shiyuan Yao:
XFindBugs: eXtended FindBugs for AspectJ. 70-76
Change analysis
- Sai Zhang, Yu Lin, Zhongxian Gu, Jianjun Zhao:
Effective identification of failure-inducing changes: a hybrid approach. 77-83 - Mohammad-Amin Jashki, Reza Zafarani, Ebrahim Bagheri
:
Towards a more efficient static software change impact analysis method. 84-90
![](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.