Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
events:workshops:esecfse2013 [2013/08/04 20:29]
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//​+  * 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//
   * Yunhui Zheng, Xiangyu Zhang and Vijay Ganesh -- //​Z3-str:​ A String Theory Plugin on Z3 for Web Application Analysis//   * Yunhui Zheng, Xiangyu Zhang and Vijay Ganesh -- //​Z3-str:​ A String Theory Plugin on Z3 for Web Application Analysis//
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 ======