Blogs (1) >>
ICSE 2019
Sat 25 - Fri 31 May 2019 Montreal, QC, Canada
Wed 29 May 2019 16:20 - 16:40 at Van-Horne - Model-Based Software Engineering Chair(s): Yvonne Dittrich

VIATRA Solver is a novel open source software tool to automatically synthesize consistent and diverse domain-specific graph models to be used as a test suite for the systematic testing of CPS modelling tools. Taking a metamodel, and a set of well-formedness constraints of a domain as input, the solver derives a diverse set of consistent graph models where each graph is compliant with the metamodel, satisfies consistency constraints, and structurally different from each other. The tool is integrated into the Eclipse IDE or it is executable from the command line.

Presentation (ICSE2019_ViatraSolverDemo.pdf)1.60MiB

Wed 29 May

Displayed time zone: Eastern Time (US & Canada) change

16:00 - 18:00
Model-Based Software EngineeringJournal-First Papers / Demonstrations / Papers / Technical Track / New Ideas and Emerging Results / Software Engineering in Practice at Van-Horne
Chair(s): Yvonne Dittrich IT University of Copenhagen, Denmark
16:00
20m
Talk
Strategies and Best Practices for Model-based Systems Engineering Adoption in Embedded Systems IndustrySEIPIndustry Program
Software Engineering in Practice
Tiago Amorim TU Berlin, Andreas Vogelsang TU Berlin, Florian Pudlitz TU Berlin, Peter Gersing GPP, Jan Philipps foqee GmbH
Pre-print
16:20
20m
Talk
VIATRA Solver: A Framework for the Automated Generation of Consistent Domain-Specific ModelsDemosIndustry Program
Demonstrations
Oszkár Semeráth Budapest University of Technology and Economics, Aren Babikian McGill University, Sebastian Pilarski McGill University, Daniel Varro McGill University / Budapest University of Technology and Economics
Media Attached File Attached
16:40
20m
Talk
Practical GUI Testing of Android Applications via Model Abstraction and RefinementTechnical Track
Technical Track
Tianxiao Gu Alibaba Group, Chengnian Sun University of California, Davis, Xiaoxing Ma Nanjing University, Chun Cao Nanjing University, Chang Xu Nanjing University, Yao-Yuan Yang , Qirun Zhang Georgia Institute of Technology, Jian Lu Nanjing University, Zhendong Su ETH Zurich
17:00
20m
Talk
AutoTap: Synthesizing and Repairing Trigger-Action Programs Using LTL PropertiesArtifacts AvailableArtifacts Evaluated ReusableTechnical Track
Technical Track
Lefan Zhang The University of Chicago, Weijia He The University of Chicago, Jesse Martinez The University of Chicago, Noah Brackenbury The University of Chicago, Shan Lu University of Chicago, Blase Ur The University of Chicago
17:20
10m
Talk
Towards a Cognizant Virtual Software Modeling Assistant using Model ClonesNIER
New Ideas and Emerging Results
Matthew Stephan Miami University
Pre-print
17:30
10m
Talk
A Model-Integrated Approach to Designing Self-Protecting SystemsJournal-First
Journal-First Papers
Stefano Iannucci Mississippi State University, Sherif Abdelwahed Virginia Commonwealth University, Andrea Montemaggio Mississippi State University, Melissa Hannis Mississippi State University, Leslie Leonard U.S. Army Engineer Research and Development Center (ERDC), Jason King U.S. Army Engineer Research and Development Center (ERDC), Drew Hamilton Mississippi State University, CCI
17:40
10m
Talk
Symbolic Refinement of Extended State Machines with Applications to the Automatic Derivation of Sub-Components and ControllersJournal-First
Journal-First Papers
Khaled El-Fakih American University of Sharjah, Gregor Bochmann U. of Ottawa
17:50
10m
Talk
Discussion Period
Papers