Cormac Flanagan, Andreas Zeller
Proceedings of the Fifth Workshop on Program Analysis for Software Tools and Engineering
PASTE, 2004.

@proceedings{PASTE-2004,
	acmid         = "996821",
	address       = "Washington, District of Columbia, USA",
	editor        = "Cormac Flanagan and Andreas Zeller",
	isbn          = "1-58113-910-1",
	publisher     = "{ACM}",
	title         = "{Proceedings of the Fifth Workshop on Program Analysis for Software Tools and Engineering}",
	year          = 2004,
}

Contents (13 items)

3 ×#analysis
2 ×#pointer

PASTE-2004-Leavens #exclamation #ml

Invited Talk: JML framed! (GTL), p. 1.

PASTE-2004-Ezick #analysis #constraints #query

Resolving and applying constraint queries on context-sensitive analyses (JE), pp. 2–7.

PASTE-2004-Martel #assembly #source code #validation

Validation of assembler programs for DSPs: a static analyzer (MM), pp. 8–13.

PASTE-2004-RountevKG #static analysis

Evaluating the imprecision of static analysis (AR, SK, MG), pp. 14–16.

PASTE-2004-HammerS #java #slicing

An improved slicer for Java (CH, GS), pp. 17–22.

PASTE-2004-YangE

Dynamically inferring temporal properties (JY, DE), pp. 23–28.

PASTE-2004-BusCSPB #design #flexibility #implementation #tool support

The design and implementation of FIT: a flexible instrumentation toolkit (BDB, DC, BDS, LVP, KDB), pp. 29–34.

PASTE-2004-Ernst #dynamic analysis

Invited Talk Static and dynamic analysis: synergy and duality (MDE), p. 35.

PASTE-2004-Godefroid #model checking

Invited Talk: “Model checking” software with VeriSoft (PG), p. 36.

PASTE-2004-PearceKH #analysis #c #performance #pointer

Efficient field-sensitive pointer analysis for C (DJP, PHJK, CH), pp. 37–42.

PASTE-2004-NystromKH #analysis #pointer

Importance of heap specialization in pointer analysis (EMN, HSK, WmWH), pp. 43–48.

PASTE-2004-SaffE

Mock object creation for test factoring (DS, MDE), pp. 49–51.

PASTE-2004-RenierisCR

Elided conditionals (MR, SCT, SPR), pp. 52–57.