Proceedings of the 8th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering - PASTE '08
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

9781605583822

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Program analysis for compiler validation

Proceedings of the 8th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering - PASTE '08 ◽

10.1145/1512475.1512477 ◽

2008 ◽

Cited By ~ 3

Author(s):

Anna Zaks ◽

Amir Pnueli

Keyword(s):

Program Analysis

Download Full-text

A field study in static extraction of runtime architectures

Proceedings of the 8th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering - PASTE '08 ◽

10.1145/1512475.1512481 ◽

2008 ◽

Cited By ~ 3

Author(s):

Marwan Abi-Antoun ◽

Jonathan Aldrich

Keyword(s):

Field Study ◽

Static Extraction

Download Full-text

XFindBugs

Proceedings of the 8th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering - PASTE '08 ◽

10.1145/1512475.1512490 ◽

2008 ◽

Cited By ~ 5

Author(s):

Haihao Shen ◽

Sai Zhang ◽

Jianjun Zhao ◽

Jianhong Fang ◽

Shiyuan Yao

Download Full-text

Towards a more efficient static software change impact analysis method

Proceedings of the 8th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering - PASTE '08 ◽

10.1145/1512475.1512493 ◽

2008 ◽

Cited By ~ 19

Author(s):

Mohammad-Amin Jashki ◽

Reza Zafarani ◽

Ebrahim Bagheri

Keyword(s):

Impact Analysis ◽

Analysis Method ◽

Change Impact Analysis ◽

Software Change ◽

Change Impact

Download Full-text

Path projection for user-centered static analysis tools

Proceedings of the 8th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering - PASTE '08 ◽

10.1145/1512475.1512488 ◽

2008 ◽

Cited By ~ 14

Author(s):

Yit Phang Khoo ◽

Jeffrey S. Foster ◽

Michael Hicks ◽

Vibha Sazawal

Keyword(s):

Static Analysis ◽

Analysis Tools ◽

User Centered

Download Full-text

Effective identification of failure-inducing changes

Proceedings of the 8th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering - PASTE '08 ◽

10.1145/1512475.1512492 ◽

2008 ◽

Cited By ~ 11

Author(s):

Sai Zhang ◽

Yu Lin ◽

Zhongxian Gu ◽

Jianjun Zhao

Download Full-text

Static analysis for inference of explicit information flow

Proceedings of the 8th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering - PASTE '08 ◽

10.1145/1512475.1512486 ◽

2008 ◽

Cited By ~ 13

Author(s):

Yin Liu ◽

Ana Milanova

Keyword(s):

Static Analysis ◽

Information Flow ◽

Explicit Information

Download Full-text

Addressing common crosscutting problems with Arcum

Proceedings of the 8th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering - PASTE '08 ◽

10.1145/1512475.1512489 ◽

2008 ◽

Cited By ~ 1

Author(s):

Macneil Shonle ◽

William G. Griswold ◽

Sorin Lerner

Download Full-text

Sharing analysis of arrays, collections, and recursive structures

Proceedings of the 8th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering - PASTE '08 ◽

10.1145/1512475.1512485 ◽

2008 ◽

Cited By ~ 15

Author(s):

Mark Marron ◽

Mario Méndez-Lojo ◽

Manuel Hermenegildo ◽

Darko Stefanovic ◽

Deepak Kapur

Keyword(s):

Recursive Structures

Download Full-text

Elyze

Proceedings of the 8th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering - PASTE '08 ◽

10.1145/1512475.1512479 ◽

2008 ◽

Author(s):

Kiran Pamnany ◽

John Jannotti

Download Full-text

Proceedings of the 8th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering - PASTE '08Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Program analysis for compiler validation

A field study in static extraction of runtime architectures

XFindBugs

Towards a more efficient static software change impact analysis method

Path projection for user-centered static analysis tools

Effective identification of failure-inducing changes

Static analysis for inference of explicit information flow

Addressing common crosscutting problems with Arcum

Sharing analysis of arrays, collections, and recursive structures

Elyze

Proceedings of the 8th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering - PASTE '08
Latest Publications