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 ====== |