Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision | ||
events:workshops:esecfse2013 [2013/07/02 09:53] abergel [Artifact Evaluation Committee] |
events:workshops:esecfse2013 [2013/08/26 18:14] (current) abergel |
||
---|---|---|---|
Line 8: | Line 8: | ||
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: Sunday June 2nd 2013 (end of the week of the paper notification) **-- CLOSED** | * Due on: Sunday June 2nd 2013 (end of the week of the paper notification) **-- CLOSED** | ||
- | * Notification from the AEC: Monday June 24, 2013 (one week before the camera ready version) | + | * Notification from the AEC: Monday June 24, 2013 (one week before the camera ready version) **-- PASSED** |
* Format: [[events/workshops/esecfse2013/guidelines|Guidelines for Packaging AEC Submissions]] | * Format: [[events/workshops/esecfse2013/guidelines|Guidelines for Packaging AEC Submissions]] | ||
* Contact: [[mailto:abergel@dcc.uchile.cl|Alexandre Bergel]] and [[mailto:bettini@di.unito.it|Lorenzo Bettini]] | * Contact: [[mailto:abergel@dcc.uchile.cl|Alexandre Bergel]] and [[mailto:bettini@di.unito.it|Lorenzo Bettini]] | ||
Line 18: | Line 24: | ||
Software artifacts who successfully passed our evaluation will be officially recognized (in the proceedings, during the conference, during the social event presentation). Fireworks will be for the distinguished software artifacts. | Software artifacts who successfully passed our evaluation will be officially recognized (in the proceedings, during the conference, during the social event presentation). Fireworks will be for the distinguished software artifacts. | ||
- | ====== Artifact Evaluation Committee ====== | + | ====== Artifacts Meeting Expectation ====== |
In total we have received 22 artifacts. 12 have been assessed as "met expectation" or "Exceeded expectations". Below is the list of artifacts that have been positively evaluated. | In total we have received 22 artifacts. 12 have been assessed as "met expectation" or "Exceeded expectations". Below is the list of artifacts that have been positively evaluated. | ||
- | * 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 | + | Out of the 12 positively evaluated artifacts, 8 will be presented on Friday 23 August 2013, during a dedicated slot 17:00 - 17:40. |
- | * Dirk Beyer, Stefan Löwe, Evgeny Novikov, Andreas Stahlbauer and Philipp Wendler -- Linux Driver Revisions for Regression Verification | + | Each presentation will have 5 minutes: |
- | * Peng Liu -- Finding Incorrect Compositions of Atomicity | + | * Paul Marinescu and Cristian Cadar -- //KATCH: High-Coverage Testing of Software Patches// |
- | * Alex Gyori, Danny Dig, Lyle Franklin and Jan Lahoda -- Crossing the gap from imperative to functional programming through refactoring | + | * Dirk Beyer, Stefan Löwe, Evgeny Novikov, Andreas Stahlbauer and Philipp Wendler -- //Linux Driver Revisions for Regression Verification - [[http://www.sosy-lab.org/~dbeyer/cpa-reuse/regression-benchmarks/|online]]// |
- | * Nishant Sinha and Rezwana Karim -- Compiling Mockups to Flexible UIs | + | * Shahar Maoz, Jan Oliver Ringert and Bernhard Rumpe -- //Synthesis of Component and Connector Models from Crosscutting Structural Views// |
- | * Shahar Maoz, Jan Oliver Ringert and Bernhard Rumpe -- Synthesis of Component and Connector Models from Crosscutting Structural Views | + | * Marin Silic, Goran Delac and Sinisa Srbljic -- //Prediction of Atomic Web Services Reliability Based on K-means Clustering [[http://ccl.fer.hr/wordpress/people/research-assistants/marin-silic/clus-evaluation-dataset/|online]]// |
- | * Chengnian Sun and Siau-Cheng Khoo -- Mining Succinct Predicated Bug Signatures | + | * Nishant Sinha and Rezwana Karim -- //Compiling Mockups to Flexible UIs// [[https://www.youtube.com/watch?v=OoPdw0kWRcA|online video]] |
- | * Yunhui Zheng, Xiangyu Zhang and Vijay Ganesh -- Z3-str: A String Theory Plugin on Z3 for Web Application Analysis | + | * Alex Gyori, Danny Dig, Lyle Franklin and Jan Lahoda -- //Crossing the gap from imperative to functional programming through refactoring [[http://refactoring.info/tools/LambdaFicator/|online]]// |
- | * Pietro Braione, Giovanni Denaro and Mauro Pezze' -- Enhancing Symbolic Execution with Built-in Term Rewriting and Constrained Lazy Initialization | + | * Peng Liu -- //Finding Incorrect Compositions of Atomicity// |
- | * Meiyappan Nagappan, Thomas Zimmermann and Christian Bird -- Diversity in Software Engineering Research | + | * Yunhui Zheng, Xiangyu Zhang and Vijay Ganesh -- //Z3-str: A String Theory Plugin on Z3 for Web Application Analysis// |
- | * Marin Silic, Goran Delac and Sinisa Srbljic -- Prediction of Atomic Web Services Reliability Based on K-means Clustering | + | |
+ | The remaining 4 artifacts will be presented during their paper presentation slot: | ||
+ | * Meiyappan Nagappan, Thomas Zimmermann and Christian Bird -- //Diversity in Software Engineering Research -- [[http://sailhome.cs.queensu.ca/replication/representativeness/|online]]// | ||
+ | * Chengnian Sun and Siau-Cheng Khoo -- //Mining Succinct Predicated Bug Signatures// | ||
+ | * Aravind Machiry, Rohan Tahiliani and Mayur Naik -- //Dynodroid: An Input Generation System for Android Apps [[http://pag-www.gtisc.gatech.edu/dynodroid/data/|online]]// | ||
+ | * Pietro Braione, Giovanni Denaro and Mauro Pezze' -- //Enhancing Symbolic Execution with Built-in Term Rewriting and Constrained Lazy Initialization// | ||
====== Artifact Evaluation Committee ====== | ====== Artifact Evaluation Committee ====== |