Accepted Research Tool Demonstrations
Here are the accepted Research Tool Demonstrations for FSE-20:
Gianpaolo Cugola, Carlo Ghezzi, Leandro Sales Pinto and Giordano Tamburrelli | SelfMotion: A Declarative Language for Adaptive Service-Oriented Mobile Apps |
Baishakhi Ray, Christopher Wiley and Miryung Kim | REPERTOIRE: A Cross-System Porting Analysis Tool for Forked Software Projects |
Vinay Augustine | Automating Adaptive Maintenance Changes with SrcML and LINQ |
Mithun Acharya and Brian Robinson | Practical Change Impact Analysis Based on Static Program Slicing for Industrial Software Systems |
Antonio Flores-Montoya, Elvira Albert and Samir Genaim | MayPar: A May-Happen-in-Parallel Analyzer for Concurrent Objects |
David Shepherd, Kostadin Damevski, Bartosz Ropski and Thomas Fritz | Sando: An Extensible Local Code Search Framework |
Liliana Pasquale, Claudio Menghi, Mazeiar Salehie, Luca Cavallaro, Inah Omoronyia and Bashar Nuseibeh | SecuriTAS: a Tool for Engineering Adaptive Security |
Bora Caglayan, Ayse Tosun Misirli, Gul Calikli, Ayse Bener, Turgay Aytac and Burak Turhan | Dione: An Integrated Measurement and Defect Prediction |
Asadullah Shaikh and Uffe Wiil | UMLtoCSP (UOST): A Tool for Efficient Verification of UML/OCL Class Diagrams Through Model Slicing |
Wei Huang and Ana Milanova | ReImInfer: Method Purity Inference for Java |
Nikolai Tillmann, Michal Moskal, Jonathan de Halleux, Manuel Fahndrich and Sebastian Burckhardt | TouchDevelop - App Development on Mobile Devices |
Lingming Zhang, Miryung Kim and Sarfraz Khurshid | FaultTracer: A Change Impact and Regression Fault Analysis Tool for Evolving Java Programs |
Suresh Thummalapenta, Nimit Singhania, Pranavadatta Devaki, Saurabh Sinha, Satish Chandra, Achin Das and Srinivas Mangipudi | Efficiently Scripting Change-Resilient Tests |