Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revisionLast revisionBoth sides next revision | ||
events:workshops:esecfse2013 [2013/03/29 17:38] – [Submission Summary] abergel | events:workshops:esecfse2013 [2013/08/26 18:14] – [Artifact Evaluation at ESEC/FSE 2013] abergel | ||
---|---|---|---|
Line 5: | Line 5: | ||
Results presented in technical papers are often validated or supported by software artifacts. To reward the effort of creating artifacts, authors of accepted research paper may, if they wish, have their tools, data or model evaluated by the Artifact Evaluation Committee. | Results presented in technical papers are often validated or supported by software artifacts. To reward the effort of creating artifacts, authors of accepted research paper may, if they wish, have their tools, data or model evaluated by the Artifact Evaluation Committee. | ||
- | After the research paper notification, | + | After the research paper notification |
Artifacts that are positively evaluated, will be formally recognized in the proceedings and at the conference. | Artifacts that are positively evaluated, will be formally recognized in the proceedings and at the conference. | ||
+ | |||
+ | ====== Distinguished Artifacts ====== | ||
+ | There are 2 artifacts that deserved to be distinguished: | ||
+ | - Paul Marinescu and Cristian Cadar. KATCH: High-Coverage Testing of Software Patches | ||
+ | - Aravind Machiry, Rohan Tahiliani and Mayur Naik. Dynodroid: An Input Generation System for Android Apps | ||
+ | |||
====== Submission Summary ====== | ====== Submission Summary ====== | ||
- | * Due on: Monday July 1st, 2013 (beginning | + | * Due on: Sunday June 2nd 2013 (end of the week of the paper notification) |
- | * Notification from the AEC: Tuesday | + | * Notification from the AEC: Monday |
* Format: [[events/ | * Format: [[events/ | ||
- | * Contact: [[mailto: | + | * Contact: [[mailto: |
====== Process ====== | ====== Process ====== | ||
Artifacts will be evaluated in a similar fashion than papers are. They will be reviewed by a committee (the Artifact Evaluation Committee, AEC) and graded according to what your accepted paper describes. | Artifacts will be evaluated in a similar fashion than papers are. They will be reviewed by a committee (the Artifact Evaluation Committee, AEC) and graded according to what your accepted paper describes. | ||
Line 18: | Line 24: | ||
Software artifacts who successfully passed our evaluation will be officially recognized (in the proceedings, | Software artifacts who successfully passed our evaluation will be officially recognized (in the proceedings, | ||
+ | ====== Artifacts Meeting Expectation ====== | ||
+ | In total we have received 22 artifacts. 12 have been assessed as "met expectation" | ||
+ | |||
+ | Out of the 12 positively evaluated artifacts, 8 will be presented on Friday 23 August 2013, during a dedicated slot 17:00 - 17:40. | ||
+ | Each presentation will have 5 minutes: | ||
+ | * Paul Marinescu and Cristian Cadar -- //KATCH: High-Coverage Testing of Software Patches// | ||
+ | * Dirk Beyer, Stefan Löwe, Evgeny Novikov, Andreas Stahlbauer and Philipp Wendler -- //Linux Driver Revisions for Regression Verification - [[http:// | ||
+ | * Shahar Maoz, Jan Oliver Ringert and Bernhard Rumpe -- // | ||
+ | * Marin Silic, Goran Delac and Sinisa Srbljic -- // | ||
+ | * Nishant Sinha and Rezwana Karim -- // | ||
+ | * Alex Gyori, Danny Dig, Lyle Franklin and Jan Lahoda -- // | ||
+ | * Peng Liu -- // | ||
+ | * Yunhui Zheng, Xiangyu Zhang and Vijay Ganesh -- // | ||
- | ====== Guidelines | + | The remaining 4 artifacts will be presented during their paper presentation slot: |
+ | * Meiyappan Nagappan, Thomas Zimmermann and Christian Bird -- // | ||
+ | * Chengnian Sun and Siau-Cheng Khoo -- //Mining Succinct Predicated Bug Signatures// | ||
+ | * Aravind Machiry, Rohan Tahiliani and Mayur Naik -- // | ||
+ | * Pietro Braione, Giovanni Denaro and Mauro Pezze' -- // | ||
- | TODO | ||
====== Artifact Evaluation Committee ====== | ====== Artifact Evaluation Committee ====== | ||
The committee has been carefully selected by the chairs to reflect the relevant topics of ESEC/ | The committee has been carefully selected by the chairs to reflect the relevant topics of ESEC/ |