Third International Competition on Runtime Verification CRV 2016 Giles Reger1 , Sylvain Hallé2 , and Yliès Falcone3 1

First Page		Document Content
Date: 2016-09-29 14:23:26 Computing Cross-platform software Logic in computer science Runtime verification Benchmark Standard Performance Evaluation Corporation Marq AspectJ Java Overclocking		Third International Competition on Runtime Verification CRV 2016 Giles Reger1 , Sylvain Hallé2 , and Yliès Falcone3 1 Add to Reading List Source URL: www.cs.man.ac.uk Download Document from Source Website File Size: 373,24 KB Share Document on Facebook

	ICSM: AutoFlow: An Automatic Debugging Tool for AspectJ Software DocID: 1xVFC - View Document
	Incremental Call Graph Reanalysis for AspectJ Software Yu Lin, Sai Zhang, Jianjun Zhao School of Software Shanghai Jiao Tong University 800 Dongchuan Road, Shanghai, China {linyu1986, saizhang, zhao-jj}@sjtu.edu.c DocID: 1xUce - View Document
	XFindBugs: eXtended FindBugs for AspectJ Haihao Shen, Sai Zhang, Jianjun Zhao, Jianhong Fang, Shiyuan Yao School of Software, Shanghai Jiao Tong University 800 Dongchuan Road, Shanghai, China {haihaoshen, saizhan DocID: 1xU1l - View Document
	Change Impact Analysis for AspectJ Programs Sai Zhang, Zhongxian Gu, Yu Lin and Jianjun Zhao Shanghai Jiao Tong University Change Impact Analysis for AspectJ Programs • AspectJ’s specific constructs requires adaptin DocID: 1xTTB - View Document
	XFindBugs: eXtended FindBugs for AspectJ Haihao Shen, Sai Zhang, Jianjun Zhao, Jianhong Fang, Shiyuan Yao Software Theory and Practice Group (STAP) Shanghai Jiao Tong University, China A code DocID: 1xTFA - View Document