Abstract is missing.
- Program analysis for compiler validationAnna Zaks, Amir Pnueli. 1-7 [doi]
- Java memory model aware software validationArnab De, Abhik Roychoudhury, Deepak D Souza. 8-14 [doi]
- Elyze: enabling safe parallelism in event-driven serversKiran Pamnany, John Jannotti. 15-21 [doi]
- A field study in static extraction of runtime architecturesMarwan Abi-Antoun, Jonathan Aldrich. 22-28 [doi]
- Specification mining of symbolic scenario-based modelsDavid Lo, Shahar Maoz. 29-35 [doi]
- A non-null annotation inferencer for Java bytecodeLaurent Hubert. 36-42 [doi]
- Sharing analysis of arrays, collections, and recursive structuresMark Marron, Mario Méndez-Lojo, Manuel V. Hermenegildo, Darko Stefanovic, Deepak Kapur. 43-49 [doi]
- Static analysis for inference of explicit information flowYin Liu, Ana Milanova. 50-56 [doi]
- Path projection for user-centered static analysis toolsYit Phang Khoo, Jeffrey S. Foster, Michael Hicks, Vibha Sazawal. 57-63 [doi]
- Addressing common crosscutting problems with ArcumMacneil Shonle, William G. Griswold, Sorin Lerner. 64-69 [doi]
- XFindBugs: eXtended FindBugs for AspectJHaihao Shen, Sai Zhang, Jianjun Zhao, Jianhong Fang, Shiyuan Yao. 70-76 [doi]
- Effective identification of failure-inducing changes: a hybrid approachSai Zhang, Yu Lin, Zhongxian Gu, Jianjun Zhao. 77-83 [doi]
- Towards a more efficient static software change impact analysis methodMohammad-Amin Jashki, Reza Zafarani, Ebrahim Bagheri. 84-90 [doi]