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
Times are displayed in time zone: Eastern Time (US & Canada) change

16:00 - 18:00: Model-Based Software EngineeringPapers / Journal-First Papers / Demonstrations / Technical Track / New Ideas and Emerging Results / Software Engineering in Practice at Van-Horne
Chair(s): Yvonne DittrichIT University of Copenhagen, Denmark
16:00 - 16:20
Strategies and Best Practices for Model-based Systems Engineering Adoption in Embedded Systems IndustrySEIPIndustry Program
Software Engineering in Practice
Tiago AmorimTU Berlin, Andreas VogelsangTU Berlin, Florian PudlitzTU Berlin, Peter GersingGPP, Jan Philippsfoqee GmbH
16:20 - 16:40
VIATRA Solver: A Framework for the Automated Generation of Consistent Domain-Specific ModelsDemosIndustry Program
Oszkár SemeráthBudapest University of Technology and Economics, Aren BabikianMcGill University, Sebastian PilarskiMcGill University, Daniel VarroMcGill University / Budapest University of Technology and Economics
Media Attached File Attached
16:40 - 17:00
Practical GUI Testing of Android Applications via Model Abstraction and RefinementTechnical Track
Technical Track
Tianxiao GuAlibaba Group, Chengnian SunUniversity of California, Davis, Xiaoxing MaNanjing University, Chun CaoNanjing University, Chang XuNanjing University, Yao-Yuan Yang, Qirun ZhangGeorgia Institute of Technology, Jian LuNanjing University, Zhendong SuETH Zurich
17:00 - 17:20
AutoTap: Synthesizing and Repairing Trigger-Action Programs Using LTL PropertiesArtifacts AvailableArtifacts Evaluated ReusableTechnical Track
Technical Track
Lefan ZhangThe University of Chicago, Weijia HeThe University of Chicago, Jesse MartinezThe University of Chicago, Noah BrackenburyThe University of Chicago, Shan LuUniversity of Chicago, Blase UrThe University of Chicago
17:20 - 17:30
Towards a Cognizant Virtual Software Modeling Assistant using Model ClonesNIER
New Ideas and Emerging Results
Matthew StephanMiami University
17:30 - 17:40
A Model-Integrated Approach to Designing Self-Protecting SystemsJournal-First
Journal-First Papers
Stefano IannucciMississippi State University, Sherif AbdelwahedVirginia Commonwealth University, Andrea MontemaggioMississippi State University, Melissa HannisMississippi State University, Leslie LeonardU.S. Army Engineer Research and Development Center (ERDC), Jason KingU.S. Army Engineer Research and Development Center (ERDC), Drew HamiltonMississippi State University, CCI
17:40 - 17:50
Symbolic Refinement of Extended State Machines with Applications to the Automatic Derivation of Sub-Components and ControllersJournal-First
Journal-First Papers
Khaled El-FakihAmerican University of Sharjah, Gregor BochmannU. of Ottawa
17:50 - 18:00
Discussion Period