VIATRA Solver: A Framework for the Automated Generation of Consistent Domain-Specific Models (ICSE 2019 - Demonstrations) - International Conference on Software Engineering 2019 in Montreal, Canada

Sat 25 - Fri 31 May 2019 Montreal, QC, Canada

Who

Oszkár Semeráth, Aren Babikian, Sebastian Pilarski, Daniel Varro

Track

ICSE 2019 Demonstrations

Time Zone

The program is currently displayed in (GMT-04:00) Eastern Time (US & Canada).

Use conference time zone: (GMT-04:00) Eastern Time (US & Canada)Select other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

When

Wed 29 May 2019 16:20 - 16:40 at Van-Horne - Model-Based Software Engineering Chair(s): Yvonne Dittrich

Abstract

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.

File attachments

Presentation (ICSE2019_ViatraSolverDemo.pdf)	1.60MiB

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

Canada

VIATRA Solver: A Framework for the Automated Generation of Consistent Domain-Specific Models

Time Zone

The program is currently displayed in (GMT-04:00) Eastern Time (US & Canada).

Use conference time zone: (GMT-04:00) Eastern Time (US & Canada)Select other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Session Program

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 PropertiesTechnical 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