Fast detection of concurrency errors by state space traversal with randomization and early backtracking Pavel ParízekOndřej Lhoták Regular Paper 30 January 2018 Pages: 365 - 400
Parallel reachability analysis of hybrid systems in XSpeed Amit GurungRajarshi RayRadu Grosu Regular Paper 19 February 2018 Pages: 401 - 423
Complementary test selection criteria for model-based testing of security components Julien BotellaJean-François CapuronFlorence Schadle Regular Paper 28 February 2018 Pages: 425 - 448
Comparing approaches for model-checking strategies under imperfect information and fairness constraints Simon BusardCharles PecheurFranco Raimondi Regular Paper 28 September 2018 Pages: 449 - 469
ASAP: A Source Code Authorship Program Matthew F. Tennyson Regular Paper 20 March 2019 Pages: 471 - 484