Ausgabe 1/2017
Inhalt (7 Artikel)
Open Access
Regular Paper
MCMAS: an open-source model checker for the verification of multi-agent systems
Alessio Lomuscio, Hongyang Qu, Franco Raimondi
Regular Paper
Testing real-time systems from compositional symbolic specifications
Adriana C. Damasceno, Patricia D. L. Machado, Wilkerson L. Andrade
Regular Paper
Handling loops in bounded model checking of C programs via k-induction
Mikhail Y. R. Gadelha, Hussama I. Ismail, Lucas C. Cordeiro
Regular Paper
Model-based regression testing by OCL
Philipp Zech, Philipp Kalb, Michael Felderer, Colin Atkinson, Ruth Breu