Conferences in DBLP

Workshop on Program Analysis For Software Tools and Engineering (PASTE) (paste)
2005 (conf/paste/2005)

1. Manuvir Das
   PASTE at Microsoft. [Citation Graph (0, 0)][DBLP]
   PASTE, 2005, pp:1- [Conf]
   
2. Jeremy S. Bradbury, James R. Cordy, Jürgen Dingel
   An empirical framework for comparing effectiveness of testing and property-based formal analysis. [Citation Graph (0, 0)][DBLP]
   PASTE, 2005, pp:2-5 [Conf]
   
3. Donglin Liang, Maikel Pennings, Mary Jean Harrold
   Evaluating the impact of context-sensitivity on Andersen's algorithm for Java programs. [Citation Graph (0, 0)][DBLP]
   PASTE, 2005, pp:6-12 [Conf]
   
4. David Hovemeyer, Jaime Spacco, William Pugh
   Evaluating and tuning a static analysis to find null pointer bugs. [Citation Graph (0, 0)][DBLP]
   PASTE, 2005, pp:13-19 [Conf]
   
5. Jean Privat, Roland Ducournau
   Link-time static analysis for efficient separate compilation of object-oriented languages. [Citation Graph (0, 0)][DBLP]
   PASTE, 2005, pp:20-27 [Conf]
   
6. Naveen Kumar, Bruce R. Childers, Mary Lou Soffa
   Low overhead program monitoring and profiling. [Citation Graph (0, 0)][DBLP]
   PASTE, 2005, pp:28-34 [Conf]
   
7. Sriraman Tallam, Neelam Gupta
   A concept analysis inspired greedy algorithm for test suite minimization. [Citation Graph (0, 0)][DBLP]
   PASTE, 2005, pp:35-42 [Conf]
   
8. Jonathan Cook, Alessandro Orso
   MonDe: safe updating through monitored deployment of new component versions. [Citation Graph (0, 0)][DBLP]
   PASTE, 2005, pp:43-46 [Conf]
   
9. Andrew C. Myers
   Making distributed systems secure with program analysis and transformation. [Citation Graph (0, 0)][DBLP]
   PASTE, 2005, pp:47- [Conf]
   
10. Dick Hamlet
    Invariants and state in testing and formal methods. [Citation Graph (0, 0)][DBLP]
    PASTE, 2005, pp:48-51 [Conf]
    
11. Hari Hampapuram, Yue Yang, Manuvir Das
    Symbolic path simulation in path-sensitive dataflow analysis. [Citation Graph (0, 0)][DBLP]
    PASTE, 2005, pp:52-58 [Conf]
    
12. Christopher J. F. Pickett, Clark Verbrugge
    SableSpMT: a software framework for analysing speculative multithreading in Java. [Citation Graph (0, 0)][DBLP]
    PASTE, 2005, pp:59-66 [Conf]
    
13. Michelle Mills Strout, John M. Mellor-Crummey, Paul D. Hovland
    Representation-independent program analysis. [Citation Graph (0, 0)][DBLP]
    PASTE, 2005, pp:67-74 [Conf]
    
14. Ludo Van Put, Bjorn De Sutter, Matias Madou, Bruno De Bus, Dominique Chanet, Kristof Smits, Koen De Bosschere
    LANCET: a nifty code editing tool. [Citation Graph (0, 0)][DBLP]
    PASTE, 2005, pp:75-81 [Conf]
    
15. Michael Barnett, K. Rustan M. Leino
    Weakest-precondition of unstructured programs. [Citation Graph (0, 0)][DBLP]
    PASTE, 2005, pp:82-87 [Conf]
    
16. Mihai Christodorescu, Nicholas Kidd, Wen-Han Goh
    String analysis for x86 binaries. [Citation Graph (0, 0)][DBLP]
    PASTE, 2005, pp:88-95 [Conf]
    
17. Atanas Rountev, Olga Volgin, Miriam Reddoch
    Static control-flow analysis for reverse engineering of UML sequence diagrams. [Citation Graph (0, 0)][DBLP]
    PASTE, 2005, pp:96-102 [Conf]
    
18. Sarfraz Khurshid, Yuk Lai Suen
    Generalizing symbolic execution to library classes. [Citation Graph (0, 0)][DBLP]
    PASTE, 2005, pp:103-110 [Conf]
    
19. Jeff H. Perkins
    Automatically generating refactorings to support API evolution. [Citation Graph (0, 0)][DBLP]
    PASTE, 2005, pp:111-114 [Conf]