The SCEAS System
Navigation Menu

Conferences in DBLP

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

  1. Gary T. Leavens
    Invited Talk: JML framed! [Citation Graph (0, 0)][DBLP]
    PASTE, 2004, pp:1- [Conf]
  2. James Ezick
    Resolving and applying constraint queries on context-sensitive analyses. [Citation Graph (0, 0)][DBLP]
    PASTE, 2004, pp:2-7 [Conf]
  3. Matthieu Martel
    Validation of assembler programs for DSPs: a static analyzer. [Citation Graph (0, 0)][DBLP]
    PASTE, 2004, pp:8-13 [Conf]
  4. Atanas Rountev, Scott Kagan, Michael Gibas
    Evaluating the imprecision of static analysis. [Citation Graph (0, 0)][DBLP]
    PASTE, 2004, pp:14-16 [Conf]
  5. Christian Hammer, Gregor Snelting
    An improved slicer for Java. [Citation Graph (0, 0)][DBLP]
    PASTE, 2004, pp:17-22 [Conf]
  6. Jinlin Yang, David Evans
    Dynamically inferring temporal properties. [Citation Graph (0, 0)][DBLP]
    PASTE, 2004, pp:23-28 [Conf]
  7. Bruno De Bus, Dominique Chanet, Bjorn De Sutter, Ludo Van Put, Koen De Bosschere
    The design and implementation of FIT: a flexible instrumentation toolkit. [Citation Graph (0, 0)][DBLP]
    PASTE, 2004, pp:29-34 [Conf]
  8. Michael D. Ernst
    Invited Talk Static and dynamic analysis: synergy and duality. [Citation Graph (0, 0)][DBLP]
    PASTE, 2004, pp:35- [Conf]
  9. Patrice Godefroid
    Invited Talk: "Model checking" software with VeriSoft. [Citation Graph (0, 0)][DBLP]
    PASTE, 2004, pp:36- [Conf]
  10. David J. Pearce, Paul H. J. Kelly, Chris Hankin
    Efficient field-sensitive pointer analysis for C. [Citation Graph (0, 0)][DBLP]
    PASTE, 2004, pp:37-42 [Conf]
  11. Erik M. Nystrom, Hong-Seok Kim, Wen-mei W. Hwu
    Importance of heap specialization in pointer analysis. [Citation Graph (0, 0)][DBLP]
    PASTE, 2004, pp:43-48 [Conf]
  12. David Saff, Michael D. Ernst
    Mock object creation for test factoring. [Citation Graph (0, 0)][DBLP]
    PASTE, 2004, pp:49-51 [Conf]
  13. Manos Renieris, Sébastien Chan-Tin, Steven P. Reiss
    Elided conditionals. [Citation Graph (0, 0)][DBLP]
    PASTE, 2004, pp:52-57 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002