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/08/05 04:31] abergel |
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** | ||
| Line 27: | Line 33: | ||
| * 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]]// | * 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]]// | ||
| - | * Nishant Sinha and Rezwana Karim -- //Compiling Mockups to Flexible UIs// | + | * Nishant Sinha and Rezwana Karim -- //Compiling Mockups to Flexible UIs// [[https://www.youtube.com/watch?v=OoPdw0kWRcA|online video]] |
| * 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]]// | * 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]]// | ||
| * Peng Liu -- //Finding Incorrect Compositions of Atomicity// | * Peng Liu -- //Finding Incorrect Compositions of Atomicity// | ||
| Line 37: | Line 43: | ||
| * Aravind Machiry, Rohan Tahiliani and Mayur Naik -- //Dynodroid: An Input Generation System for Android Apps [[http://pag-www.gtisc.gatech.edu/dynodroid/data/|online]]// | * 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// | * 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 ====== | ||