default search action

combined dblp search
author search
venue search
publication search

ask others

PASTE 2005: Lisbon, Portugal

> Home > Conferences and Workshops > PASTE

Refine list

refinements active!

zoomed in on 20 of 20 records

view refined list in

export refined list as

showing all 20 records

refine by search term

refine by author

refine by access Please note:
▪ This facet is still work in progress.
▪ Open access information for publications is still rather incomplete.

- view
  - electronic edition @ acm.org
  - details & citations
- export record
  dblp key:
  - conf/paste/2005
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/paste/2005
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
no results

Opening

- view
  authority control:
- export record
  dblp key:
  - conf/paste/Das05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/paste/Das05
Manuvir Das:
PASTE at Microsoft. 1
- view
  authority control:
- export record
  dblp key:
  - conf/paste/BradburyCD05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/paste/BradburyCD05
Jeremy S. Bradbury, James R. Cordy, Jürgen Dingel:
An empirical framework for comparing effectiveness of testing and property-based formal analysis. 2-5
no results

Static analysis

- view
  authority control:
- export record
  dblp key:
  - conf/paste/LiangPH05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/paste/LiangPH05
Donglin Liang, Maikel Pennings, Mary Jean Harrold:
Evaluating the impact of context-sensitivity on Andersen's algorithm for Java programs. 6-12
- view
  authority control:
- export record
  dblp key:
  - conf/paste/HovemeyerSP05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/paste/HovemeyerSP05
David Hovemeyer, Jaime Spacco, William W. Pugh:
Evaluating and tuning a static analysis to find null pointer bugs. 13-19
- view
  authority control:
- export record
  dblp key:
  - conf/paste/PrivatD05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/paste/PrivatD05
Jean Privat, Roland Ducournau:
Link-time static analysis for efficient separate compilation of object-oriented languages. 20-27
no results

Monitoring and testing

- view
  authority control:
- export record
  dblp key:
  - conf/paste/KumarCS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/paste/KumarCS05
Naveen Kumar, Bruce R. Childers, Mary Lou Soffa:
Low overhead program monitoring and profiling. 28-34
- view
  authority control:
- export record
  dblp key:
  - conf/paste/TallamG05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/paste/TallamG05
Sriraman Tallam, Neelam Gupta:
A concept analysis inspired greedy algorithm for test suite minimization. 35-42
- view
  authority control:
- export record
  dblp key:
  - conf/paste/CookO05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/paste/CookO05
Jonathan E. Cook, Alessandro Orso:
MonDe: safe updating through monitored deployment of new component versions. 43-46
no results

Security and state

- view
  authority control:
- export record
  dblp key:
  - conf/paste/Myers05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/paste/Myers05
Andrew C. Myers:
Making distributed systems secure with program analysis and transformation. 47
- view
  authority control:
- export record
  dblp key:
  - conf/paste/Hamlet05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/paste/Hamlet05
Dick Hamlet:
Invariants and state in testing and formal methods. 48-51
no results

Analysis frameworks

- view
  authority control:
- export record
  dblp key:
  - conf/paste/HampapuramYD05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/paste/HampapuramYD05
Hari Hampapuram, Yue Yang, Manuvir Das:
Symbolic path simulation in path-sensitive dataflow analysis. 52-58
- view
  authority control:
- export record
  dblp key:
  - conf/paste/PickettV05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/paste/PickettV05
Christopher J. F. Pickett, Clark Verbrugge:
SableSpMT: a software framework for analysing speculative multithreading in Java. 59-66
- view
  authority control:
- export record
  dblp key:
  - conf/paste/StroutMH05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/paste/StroutMH05
Michelle Mills Strout, John M. Mellor-Crummey, Paul D. Hovland:
Representation-independent program analysis. 67-74
no results

Low-level code

- view
  authority control:
- export record
  dblp key:
  - conf/paste/PutSMBCSB05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/paste/PutSMBCSB05
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
- view
  authority control:
- export record
  dblp key:
  - conf/paste/BarnettL05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/paste/BarnettL05
Michael Barnett, K. Rustan M. Leino:
Weakest-precondition of unstructured programs. 82-87
- view
  authority control:
- export record
  dblp key:
  - conf/paste/ChristodorescuKG05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/paste/ChristodorescuKG05
Mihai Christodorescu, Nicholas Kidd, Wen-Han Goh:
String analysis for x86 binaries. 88-95
no results

Reverse engineering and symbolic execution

- view
  authority control:
- export record
  dblp key:
  - conf/paste/RountevVR05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/paste/RountevVR05
Atanas Rountev, Olga Volgin, Miriam Reddoch:
Static control-flow analysis for reverse engineering of UML sequence diagrams. 96-102
- view
  authority control:
- export record
  dblp key:
  - conf/paste/KhurshidS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/paste/KhurshidS05
Sarfraz Khurshid, Yuk Lai Suen:
Generalizing symbolic execution to library classes. 103-110
- view
  authority control:
- export record
  dblp key:
  - conf/paste/Perkins05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/paste/Perkins05
Jeff H. Perkins:
Automatically generating refactorings to support API evolution. 111-114
no results

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.