default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPASTE 2007: San Diego, California, USA
- Manuvir Das, Dan Grossman:
Proceedings of the 7th ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, PASTE'07, San Diego, California, USA, June 13-14, 2007. ACM 2007, ISBN 978-1-59593-595-3 - Nathaniel Ayewah, William W. Pugh, J. David Morgenthaler
, John Penix, YuQian Zhou:
Evaluating static analysis defect warnings on production software. 1-8 - David Hovemeyer, William W. Pugh:
Finding more null pointer bugs, but not too many. 9-14 - Lori L. Pollock, K. Vijay-Shanker, David C. Shepherd, Emily Hill, Zachary P. Fry, Kishen Maloor:
Introducing natural language program analysis. 15-16 - Ju Qian, Baowen Xu, Hongbo Min:
Interstatement must aliases for data dependence analysis of heap locations. 17-24 - Ana L. Milanova:
Light context-sensitive points-to analysis for java. 25-30 - Mark Marron, Darko Stefanovic, Manuel V. Hermenegildo, Deepak Kapur:
Heap analysis in the presence of collection libraries. 31-36 - Ondrej Lhoták:
Comparing call graphs. 37-42 - Alex Aiken, Suhabe Bugrara, Isil Dillig, Thomas Dillig, Brian Hackett, Peter Hawkins:
An overview of the saturn project. 43-48 - David C. Shepherd, Lori L. Pollock, K. Vijay-Shanker:
Case study: supplementing program analysis with natural language analysis to improve a reverse engineering task. 49-54 - Weilei Zhang, Barbara G. Ryder:
Discovering accurate interclass test dependences. 55-62 - Wei Le, Mary Lou Soffa:
Refining buffer overflow detection via demand-driven path-sensitive analysis. 63-68 - Ruben E. Brown:
AWE: improving software analysis through modular integration of static and dynamic analyses. 69-74 - Haiying Xu, Christopher J. F. Pickett, Clark Verbrugge:
Dynamic purity analysis for java programs. 75-82 - Jeffrey S. Foster, Michael W. Hicks, William W. Pugh:
Improving software quality with static analysis. 83-84 - Brian Chin, Daniel Marino, Shane Markstrum, Todd D. Millstein:
Enforcing and validating user-defined programming disciplines. 85-86
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 2025-01-09 12:01 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 was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
