Road to a reactive and incremental model transformation platform: three generations of the VIATRA framework Dániel VarróGábor BergmannZoltán Ujhelyi Expert Voice Open access 12 May 2016 Pages: 609 - 629
Comprehensive analysis of FBD test coverage criteria using mutants Donghwan ShinEunkyoung JeeDoo-Hwan Bae Regular Paper 03 July 2014 Pages: 631 - 645
Model transformation intents and their properties Levi LúcioMoussa AmraniManuel Wimmer Regular Paper 18 July 2014 Pages: 647 - 684
Enhanced graph rewriting systems for complex software domains Cédric EichlerThierry MonteilKhalil Drira Regular Paper 10 September 2014 Pages: 685 - 705
Turning event logs into process movies: animating what has really happened Massimiliano de LeoniSuriadi SuriadiWil M. P. van der Aalst Regular Paper 28 September 2014 Pages: 707 - 732
Query-driven soft traceability links for models Ábel HegedüsÁkos HorváthDániel Varró Regular Paper 08 October 2014 Pages: 733 - 756
Empirically evaluating OCL and Java for specifying constraints on UML models Tao YueShaukat Ali Regular Paper 21 November 2014 Pages: 757 - 781
Least-change bidirectional model transformation with QVT-R and ATL Nuno MacedoAlcino Cunha Regular Paper 22 November 2014 Pages: 783 - 810
Clafer: unifying class and feature modeling Kacper BąkZinovy DiskinAndrzej Wąsowski Regular Paper 13 December 2014 Pages: 811 - 845
Systematic approach for constructing an understandable state machine from a contract-based specification: controlled experiments Jung Ho BaeHeung Seok Chae Regular Paper 15 November 2014 Pages: 847 - 879
Expressing aspectual interactions in design: evaluating three AOM approaches in the slot machine domain Johan FabryArturo ZambranoSilvia Gordillo Regular Paper 09 December 2014 Pages: 881 - 905
Feature-based classification of bidirectional transformation approaches Soichiro HidakaMassimo TisiZhenjiang Hu Regular Paper 15 January 2015 Pages: 907 - 928