Michael D. Ernst, Thomas P. Jensen
Proceedings of the Sixth Workshop on Program Analysis for Software Tools and Engineering
PASTE, 2005.

@proceedings{PASTE-2005,
	acmid         = "1108792",
	address       = "Lisbon, Portugal",
	editor        = "Michael D. Ernst and Thomas P. Jensen",
	isbn          = "1-59593-239-9",
	publisher     = "{ACM}",
	title         = "{Proceedings of the Sixth Workshop on Program Analysis for Software Tools and Engineering}",
	year          = 2005,
}

Contents (19 items)

4 ×#analysis
3 ×#named
3 ×#testing
2 ×#algorithm
2 ×#formal method
2 ×#framework
2 ×#java
2 ×#program analysis
2 ×#source code
2 ×#static analysis

PASTE-2005-Das

PASTE at Microsoft (MD), p. 1.

PASTE-2005-BradburyCD #analysis #effectiveness #empirical #formal method #framework #testing

An empirical framework for comparing effectiveness of testing and property-based formal analysis (JSB, JRC, JD), pp. 2–5.

PASTE-2005-LiangPH #algorithm #context-sensitive grammar #java #source code

Evaluating the impact of context-sensitivity on Andersen’s algorithm for Java programs (DL, MP, MJH), pp. 6–12.

PASTE-2005-HovemeyerSP #debugging #null #pointer #static analysis

Evaluating and tuning a static analysis to find null pointer bugs (DH, JS, WP), pp. 13–19.

PASTE-2005-PrivatD #compilation #object-oriented #performance #static analysis

Link-time static analysis for efficient separate compilation of object-oriented languages (JP, RD), pp. 20–27.

PASTE-2005-KumarCS #monitoring #profiling

Low overhead program monitoring and profiling (NK, BRC, MLS), pp. 28–34.

PASTE-2005-TallamG #algorithm #concept analysis #testing

A concept analysis inspired greedy algorithm for test suite minimization (ST, NG), pp. 35–42.

PASTE-2005-CookO #component #deployment #named

MonDe: safe updating through monitored deployment of new component versions (JEC, AO), pp. 43–46.

PASTE-2005-Myers #distributed #program analysis #program transformation

Making distributed systems secure with program analysis and transformation (ACM), p. 47.

PASTE-2005-Hamlet #formal method #invariant #testing

Invariants and state in testing and formal methods (DH), pp. 48–51.

PASTE-2005-HampapuramYD #analysis #data flow #simulation

Symbolic path simulation in path-sensitive dataflow analysis (HH, YY, MD), pp. 52–58.

PASTE-2005-PickettV #framework #java #multi #named #thread

SableSpMT: a software framework for analysing speculative multithreading in Java (CJFP, CV), pp. 59–66.

PASTE-2005-StroutMH #independence #program analysis

Representation-independent program analysis (MMS, JMMC, PDH), pp. 67–74.

PASTE-2005-PutSMBCSB #editing #named

LANCET: a nifty code editing tool (LVP, BDS, MM, BDB, DC, KS, KDB), pp. 75–81.

PASTE-2005-BarnettL #source code

Weakest-precondition of unstructured programs (MB, KRML), pp. 82–87.

PASTE-2005-ChristodorescuKG #analysis #string

String analysis for x86 binaries (MC, NK, WHG), pp. 88–95.

PASTE-2005-RountevVR #analysis #control flow #diagrams #reverse engineering #sequence chart #uml

Static control-flow analysis for reverse engineering of UML sequence diagrams (AR, OV, MR), pp. 96–102.

PASTE-2005-KhurshidS #execution #library #symbolic computation

Generalizing symbolic execution to library classes (SK, YLS), pp. 103–110.

PASTE-2005-Perkins #api #automation #evolution #generative #refactoring

Automatically generating refactorings to support API evolution (JHP), pp. 111–114.