Powered by
2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2017),
October 30 – November 3, 2017,
Urbana-Champaign, IL, USA
Tool Demonstrations
Visualization, Models, and Synthesis
Wed, Nov 1, 10:30 - 12:30, Illini Room C (Chair: Willem Visser)
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)
Video
Info
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)
Video
Info
Analysis and Testing
Wed, Nov 1, 13:30 - 15:30, Illini Room C (Chair: Marcelo d'Amorim)
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)
Video
Search and Editing
Wed, Nov 1, 16:00 - 17:30, Illini Room C (Chair: Alexander Serebrenik)
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)
Video
proc time: 0.03