Accepted Research Tool Demonstrations

Here are the accepted Research Tool Demonstrations for FSE-20:

Gianpaolo Cugola, Carlo Ghezzi, Leandro Sales Pinto and Giordano TamburrelliSelfMotion: A Declarative Language for Adaptive Service-Oriented Mobile Apps
Baishakhi Ray, Christopher Wiley and Miryung KimREPERTOIRE: A Cross-System Porting Analysis Tool for Forked Software Projects
Vinay AugustineAutomating Adaptive Maintenance Changes with SrcML and LINQ
Mithun Acharya and Brian RobinsonPractical Change Impact Analysis Based on Static Program Slicing for Industrial Software Systems
Antonio Flores-Montoya, Elvira Albert and Samir GenaimMayPar: A May-Happen-in-Parallel Analyzer for Concurrent Objects
David Shepherd, Kostadin Damevski, Bartosz Ropski and Thomas FritzSando: An Extensible Local Code Search Framework
Liliana Pasquale, Claudio Menghi, Mazeiar Salehie, Luca Cavallaro, Inah Omoronyia and Bashar NuseibehSecuriTAS: a Tool for Engineering Adaptive Security
Bora Caglayan, Ayse Tosun Misirli, Gul Calikli, Ayse Bener, Turgay Aytac and Burak TurhanDione: An Integrated Measurement and Defect Prediction
Asadullah Shaikh and Uffe WiilUMLtoCSP (UOST): A Tool for Efficient Verification of UML/OCL Class Diagrams Through Model Slicing
Wei Huang and Ana MilanovaReImInfer: Method Purity Inference for Java
Nikolai Tillmann, Michal Moskal, Jonathan de Halleux, Manuel Fahndrich and Sebastian BurckhardtTouchDevelop - App Development on Mobile Devices
Lingming Zhang, Miryung Kim and Sarfraz KhurshidFaultTracer: 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 MangipudiEfficiently Scripting Change-Resilient Tests

ACM logo SIGSOFT logo