Ausgabe 4/2019
Inhalt (5 Artikel)
Regular Paper
Fast detection of concurrency errors by state space traversal with randomization and early backtracking
Pavel Parízek, Ondřej Lhoták
Regular Paper
Parallel reachability analysis of hybrid systems in XSpeed
Amit Gurung, Rajarshi Ray, Ezio Bartocci, Sergiy Bogomolov, Radu Grosu
Regular Paper
Complementary test selection criteria for model-based testing of security components
Julien Botella, Jean-François Capuron, Frédéric Dadeau, Elizabeta Fourneret, Bruno Legeard, Florence Schadle
Regular Paper
Comparing approaches for model-checking strategies under imperfect information and fairness constraints
Simon Busard, Charles Pecheur, Hongyang Qu, Franco Raimondi