ASE 2017 – Proceedings

Tool Demonstrations

Visualization, Models, and Synthesis
Wed, Nov 1, 10:30 - 12:30, Illini Room C (Chair: Willem Visser)

SEALANT: A Detection and Visualization Tool for Inter-app Security Vulnerabilities in Android
Youn Kyu Lee, Peera Yoodee, Arman Shahbazian, Daye Nam, and Nenad Medvidovic
(University of Southern California, USA)


@InProceedings{ASE17p1216, author = {Youn Kyu Lee and Peera Yoodee and Arman Shahbazian and Daye Nam and Nenad Medvidovic}, title = {SEALANT: A Detection and Visualization Tool for Inter-app Security Vulnerabilities in Android}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1216-1215}, doi = {}, year = {2017}, } Article: ase17demo-demoid14-p doi:

Visualization Support for Requirements Monitoring in Systems of Systems
Lisa Maria Kritzinger, Thomas Krismayer, Michael Vierhauser, Rick Rabiser, and Paul Grünbacher
(JKU Linz, Austria; University of Notre Dame, USA)


@InProceedings{ASE17p1222, author = {Lisa Maria Kritzinger and Thomas Krismayer and Michael Vierhauser and Rick Rabiser and Paul Grünbacher}, title = {Visualization Support for Requirements Monitoring in Systems of Systems}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1222-1221}, doi = {}, year = {2017}, } Article: ase17demo-demoid8-p doi:

A Demonstration of Simultaneous Execution and Editing in a Development Environment
Steven P. Reiss and Qi Xin
(Brown University, USA)


@InProceedings{ASE17p1228, author = {Steven P. Reiss and Qi Xin}, title = {A Demonstration of Simultaneous Execution and Editing in a Development Environment}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1228-1227}, doi = {}, year = {2017}, } Article: ase17demo-demoid6-p doi:

TREM: A Tool for Mining Timed Regular Specifications from System Traces
Lukas Schmidt, Apurva Narayan, and Sebastian Fischmeister
(University of Waterloo, Canada)


@InProceedings{ASE17p1234, author = {Lukas Schmidt and Apurva Narayan and Sebastian Fischmeister}, title = {TREM: A Tool for Mining Timed Regular Specifications from System Traces}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1234-1233}, doi = {}, year = {2017}, } Article: ase17demo-demoid25-p doi:

ModelWriter: Text and Model-Synchronized Document Engineering Platform
Ferhat Erata, Claire Gardent, Bikash Gyawali, Anastasia Shimorina, Yvan Lussaud, Bedir Tekinerdogan, Geylani Kardas, and Anne Monceaux
(Wageningen University and Research, Netherlands; UNIT Information Technologies, Turkey; CNRS, France; OBEO, France; Ege University, Turkey; KoçSistem Information and Communication Services, Turkey; Airbus Group Innovations, France)


@InProceedings{ASE17p1240, author = {Ferhat Erata and Claire Gardent and Bikash Gyawali and Anastasia Shimorina and Yvan Lussaud and Bedir Tekinerdogan and Geylani Kardas and Anne Monceaux}, title = {ModelWriter: Text and Model-Synchronized Document Engineering Platform}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1240-1239}, doi = {}, year = {2017}, } Article: ase17demo-demoid21-p doi:

Incrementally Slicing Editable Submodels
Christopher Pietsch, Manuel Ohrndorf, Udo Kelter, and Timo Kehrer
(University of Siegen, Germany; Humboldt University of Berlin, Germany)


@InProceedings{ASE17p1246, author = {Christopher Pietsch and Manuel Ohrndorf and Udo Kelter and Timo Kehrer}, title = {Incrementally Slicing Editable Submodels}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1246-1245}, doi = {}, year = {2017}, } Article: ase17demo-demoid33-p doi:

DSSynth: An Automated Digital Controller Synthesis Tool for Physical Plants
Alessandro Abate, Iury Bessa, Dario Cattaruzza, Lennon Chaves, Lucas Cordeiro, Cristina David, Pascal Kesseli, Daniel Kroening, and Elizabeth Polgreen
(University of Oxford, UK; Federal University of Amazonas, Brazil)


@InProceedings{ASE17p1252, author = {Alessandro Abate and Iury Bessa and Dario Cattaruzza and Lennon Chaves and Lucas Cordeiro and Cristina David and Pascal Kesseli and Daniel Kroening and Elizabeth Polgreen}, title = {DSSynth: An Automated Digital Controller Synthesis Tool for Physical Plants}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1252-1251}, doi = {}, year = {2017}, } Article: ase17demo-demoid12-p doi:

Analysis and Testing
Wed, Nov 1, 13:30 - 15:30, Illini Room C (Chair: Marcelo d'Amorim)

A Static Analysis Tool with Optimizations for Reachability Determination
Yuexing Wang, Min Zhou, Yu Jiang, Xiaoyu Song, Ming Gu, and Jiaguang Sun
(Tsinghua University, China; Portland State University, USA)


@InProceedings{ASE17p1258, author = {Yuexing Wang and Min Zhou and Yu Jiang and Xiaoyu Song and Ming Gu and Jiaguang Sun}, title = {A Static Analysis Tool with Optimizations for Reachability Determination}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1258-1257}, doi = {}, year = {2017}, } Article: ase17demo-demoid18-p doi:

CogniCrypt: Supporting Developers in Using Cryptography
Stefan Krüger, Sarah Nadi, Michael Reif, Karim Ali, Mira Mezini, Eric Bodden, Florian Göpfert, Felix Günther, Christian Weinert, Daniel Demmler, and Ram Kamath
(University of Paderborn, Germany; University of Alberta, Canada; TU Darmstadt, Germany; Fraunhofer IEM, Germany)


@InProceedings{ASE17p1264, author = {Stefan Krüger and Sarah Nadi and Michael Reif and Karim Ali and Mira Mezini and Eric Bodden and Florian Göpfert and Felix Günther and Christian Weinert and Daniel Demmler and Ram Kamath}, title = {CogniCrypt: Supporting Developers in Using Cryptography}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1264-1263}, doi = {}, year = {2017}, } Article: ase17demo-demoid7-p doi:

BProVe: Tool Support for Business Process Verification
Flavio Corradini, Fabrizio Fornari, Andrea Polini, Barbara Re, Francesco Tiezzi, and Andrea Vandin
(University of Camerino, Italy; DTU, Denmark)


@InProceedings{ASE17p1270, author = {Flavio Corradini and Fabrizio Fornari and Andrea Polini and Barbara Re and Francesco Tiezzi and Andrea Vandin}, title = {BProVe: Tool Support for Business Process Verification}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1270-1269}, doi = {}, year = {2017}, } Article: ase17demo-demoid15-p doi:

taco: A Tool to Generate Tensor Algebra Kernels
Fredrik Kjolstad, Stephen Chou, David Lugato, Shoaib Kamil, and Saman Amarasinghe
(Massachusetts Institute of Technology, USA; CEA, France; Adobe, USA)


@InProceedings{ASE17p1276, author = {Fredrik Kjolstad and Stephen Chou and David Lugato and Shoaib Kamil and Saman Amarasinghe}, title = {taco: A Tool to Generate Tensor Algebra Kernels}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1276-1275}, doi = {}, year = {2017}, } Article: ase17demo-demoid16-p doi:

STARTS: STAtic Regression Test Selection
Owolabi Legunsen, August Shi, and Darko Marinov
(University of Illinois at Urbana-Champaign, USA)


@InProceedings{ASE17p1282, author = {Owolabi Legunsen and August Shi and Darko Marinov}, title = {STARTS: STAtic Regression Test Selection}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1282-1281}, doi = {}, year = {2017}, } Article: ase17demo-demoid35-p doi:

EventFlowSlicer: A Tool for Generating Realistic Goal-Driven GUI Tests
Jonathan A. Saddler and Myra B. Cohen
(University of Nebraska-Lincoln, USA)


@InProceedings{ASE17p1288, author = {Jonathan A. Saddler and Myra B. Cohen}, title = {EventFlowSlicer: A Tool for Generating Realistic Goal-Driven GUI Tests}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1288-1287}, doi = {}, year = {2017}, } Article: ase17demo-demoid29-p doi:

ANDROFLEET: Testing WiFi Peer-to-Peer Mobile Apps in the Large
Lakhdar Meftah, Maria Gomez, Romain Rouvoy, and Isabelle Chrisment
(Inria, France; University of Lille, France; Saarland University, Germany; Institut Universitaire de France, France; Telecom Nancy, France)


@InProceedings{ASE17p1294, author = {Lakhdar Meftah and Maria Gomez and Romain Rouvoy and Isabelle Chrisment}, title = {ANDROFLEET: Testing WiFi Peer-to-Peer Mobile Apps in the Large}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1294-1293}, doi = {}, year = {2017}, } Article: ase17demo-demoid19-p doi:

Search and Editing
Wed, Nov 1, 16:00 - 17:30, Illini Room C (Chair: Alexander Serebrenik)

FEMIR: A Tool for Recommending Framework Extension Examples
Muhammad Asaduzzaman, Chanchal K. Roy, Kevin A. Schneider, and Daqing Hou
(University of Saskatchewan, Canada; Clarkson University, USA)


@InProceedings{ASE17p1300, author = {Muhammad Asaduzzaman and Chanchal K. Roy and Kevin A. Schneider and Daqing Hou}, title = {FEMIR: A Tool for Recommending Framework Extension Examples}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1300-1299}, doi = {}, year = {2017}, } Article: ase17demo-demoid32-p doi:

TiQi: A Natural Language Interface for Querying Software Project Data
Jinfeng Lin, Yalin Liu, Jin Guo, Jane Cleland-Huang, William Goss, Wenchuang Liu, Sugandha Lohar, Natawut Monaikul, and Alexander Rasin
(University of Notre Dame, USA; DePaul University, USA)


@InProceedings{ASE17p1306, author = {Jinfeng Lin and Yalin Liu and Jin Guo and Jane Cleland-Huang and William Goss and Wenchuang Liu and Sugandha Lohar and Natawut Monaikul and Alexander Rasin}, title = {TiQi: A Natural Language Interface for Querying Software Project Data}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1306-1305}, doi = {}, year = {2017}, } Article: ase17demo-demoid26-p doi:

Opiner: An Opinion Search and Summarization Engine for APIs
Gias Uddin and Foutse Khomh
(McGill University, Canada; Polytechnique Montréal, Canada)


@InProceedings{ASE17p1312, author = {Gias Uddin and Foutse Khomh}, title = {Opiner: An Opinion Search and Summarization Engine for APIs}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1312-1311}, doi = {}, year = {2017}, } Article: ase17demo-demoid30-p doi:

Defaultification Refactoring: A Tool for Automatically Converting Java Methods to Default
Raffi Khatchadourian and Hidehiko Masuhara
(City University of New York, USA; Tokyo Institute of Technology, Japan)


@InProceedings{ASE17p1318, author = {Raffi Khatchadourian and Hidehiko Masuhara}, title = {Defaultification Refactoring: A Tool for Automatically Converting Java Methods to Default}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1318-1317}, doi = {}, year = {2017}, } Article: ase17demo-demoid10-p doi:

Kobold: Web Usability as a Service
Julián Grigera, Alejandra Garrido, and Gustavo Rossi
(Universidad Nacional de La Plata, Argentina; CIC, Argentina; CONICET, Argentina)


@InProceedings{ASE17p1324, author = {Julián Grigera and Alejandra Garrido and Gustavo Rossi}, title = {Kobold: Web Usability as a Service}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1324-1323}, doi = {}, year = {2017}, } Article: ase17demo-demoid13-p doi:

IntPTI: Automatic Integer Error Repair with Proper-Type Inference
Xi Cheng, Min Zhou, Xiaoyu Song, Ming Gu, and Jiaguang Sun
(Tsinghua University, China; Portland State University, USA)


@InProceedings{ASE17p1330, author = {Xi Cheng and Min Zhou and Xiaoyu Song and Ming Gu and Jiaguang Sun}, title = {IntPTI: Automatic Integer Error Repair with Proper-Type Inference}, booktitle = {Proc.\ ASE}, publisher = {IEEE}, pages = {1330-1329}, doi = {}, year = {2017}, } Article: ase17demo-demoid9-p doi:

proc time: 0.05