Differences

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

Link to this comparison view

Both sides previous revisionPrevious revision
Next revision		Previous revision
Next revisionBoth sides next revision
events:workshops:esecfse2013 [2013/08/04 20:23] – abergelevents:workshops:esecfse2013 [2013/08/18 10:35] – [Artifacts Meeting Expectation] abergel
Line 20: Line 20:
 ====== Artifacts Meeting Expectation ====== ====== 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.
 +
 +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//   * 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 [[http://pag-www.gtisc.gatech.edu/dynodroid/data/|online]]// 
   * 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]]//   * 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]]//
 +  * 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]]//
 +  * 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]]//
   * Peng Liu -- //Finding Incorrect Compositions of Atomicity//   * Peng Liu -- //Finding Incorrect Compositions of Atomicity//
-  * Alex Gyori, Danny Dig, Lyle Franklin and Jan Lahoda -- //Crossing the gap from imperative to functional programming through refactoring// +  * Yunhui Zheng, Xiangyu Zhang and Vijay Ganesh -- //Z3-str: A String Theory Plugin on Z3 for Web Application Analysis// 
-  * 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//+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//   * Chengnian Sun and Siau-Cheng Khoo -- //Mining Succinct Predicated Bug Signatures//
-  * Yunhui Zheng, Xiangyu Zhang and Vijay Ganesh -- //Z3-str: A String Theory Plugin on Z3 for Web Application Analysis//+  * 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//
-  * Meiyappan Nagappan, Thomas Zimmermann and Christian Bird -- //Diversity in Software Engineering Research -- [[http://sailhome.cs.queensu.ca/replication/representativeness/|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]]// 
-====== Program ====== 
-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. 
-  * Dirk Beyer, Stefan Löwe, Evgeny Novikov, Andreas Stahlbauer and Philipp Wendler. Linux Driver Revisions for Regression Verification 
-  * 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 
-  * Nishant Sinha and Rezwana Karim. Compiling Mockups to Flexible UIs 
-  * Alex Gyori, Danny Dig, Lyle Franklin and Jan Lahoda. CROSSING THE GAP FROM IMPERATIVE TO FUNCTIONAL PROGRAMMING THROUGH REFACTORING 
-  * Yunhui Zheng, Xiangyu Zhang and Vijay Ganesh. Z3-str: A String Theory Plugin on Z3 for Web Application Analysis 
-  * Peng Liu. Finding Incorrect Compositions of Atomicity 
-  * Paul Marinescu and Cristian Cadar. KATCH: High-Coverage Testing of Software Patches 
- 
- 
- 
  
 ====== Artifact Evaluation Committee ====== ====== Artifact Evaluation Committee ======