Abstract is missing.
- Model transformations to satisfy all-configurations-transitions on statechartsSiamak Haschemi. [doi]
- Generating class contracts from UML protocol statemachinesIvan Porres, Irum Rauf. [doi]
- Verification of DSMLs using graph transformation: a case study with AlloyZekai Demirezen, Marjan Mernik, Jeffrey G. Gray, Barrett R. Bryant. [doi]
- From design models to test models by means of test ideasMichael Mlynarski, Baris Güldali, Melanie Späth, Gregor Engels. [doi]
- FiniteSat algorithmVictor Makarenkov, Pavel Jelnov, Azzam Maraee, Mira Balaban. [doi]
- From UML to Alloy and back againSeyyed Madasar Ali Shah, Kyriakos Anastasakis, Behzad Bordbar. [doi]
- A formalism for describing modeling transformations for verificationMárk Asztalos, László Lengyel, Tihamer Levendovszky. [doi]
- Automated model-based testing using the UML testing profile and QVTBeatriz Pérez Lamancha, Pedro Reales Mateo, Ignacio Garíía Rodríguez de Guzmán, Macario Polo Usaola, Mario Piattini Velthuis. [doi]
- Supporting inconsistency resolution through predictive change impact analysisAnne Keller, Hans Schippers, Serge Demeyer. [doi]