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: (GMT-04:00) Eastern Time (US & Canada) change

16:00 - 18:00: Papers - Model-Based Software Engineering at Van-Horne
Chair(s): Yvonne DittrichIT University of Copenhagen, Denmark
icse-2019-Software-Engineering-in-Practice16:00 - 16:20
Tiago AmorimTU Berlin, Andreas VogelsangTU Berlin, Florian PudlitzTU Berlin, Peter GersingGPP, Jan Philippsfoqee GmbH
icse-2019-Demonstrations16:20 - 16:40
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
icse-2019-Technical-Papers16:40 - 17:00
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
icse-2019-Technical-Papers17:00 - 17:20
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
icse-2019-New-Ideas-and-Emerging-Reults17:20 - 17:30
Matthew StephanMiami University
icse-2019-Journal-First-Paper17:30 - 17:40
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
icse-2019-Journal-First-Paper17:40 - 17:50
Khaled El-FakihAmerican University of Sharjah, Gregor BochmannU. of Ottawa
icse-2019-Paper-Presentations17:50 - 18:00