Giuliano Antoniol, Jens Krinke, Paolo Tonella
Special issue on Source code analysis and manipulation — SCAM 2005
SCAM-J-2005, 2006.

@proceedings{SCAM-J-2005,
	editor        = "Giuliano Antoniol and Jens Krinke and Paolo Tonella",
	journal       = "{Science of Computer Programming}",
	number        = 3,
	title         = "{Special issue on Source code analysis and manipulation — SCAM 2005}",
	volume        = 62,
	year          = 2006,
}

Contents (3 items)

SCAM-J-2005-AntoniolKT06 #analysis #source code

Special issue on Source code analysis and manipulation (GA, JK, PT), pp. 205–208.

SCAM-J-2005-ZhangBCD06 #using

Using source transformation to test and model check implicit-invocation systems (HZ, JSB, JRC, JD), pp. 209–227.

SCAM-J-2005-BinkleyDGHKK06 #formal method #slicing

A formalisation of the relationship between forms of program slicing (DB, SD, TG, MH, ÁK, BK), pp. 228–252.