Logo des Repositoriums

Auflistung nach Schlagwort "Model checking"

1 - 1 von 1
  • Konferenzbeitrag
    A systematic literature review on counterexample explanation - Summary
    (Software Engineering 2023, 2023) Kaleeswaran, Arut Prakash; Nordmann, Arne; Vogel, Thomas; Grunske, Lars
    In this extended abstract, we summarize our systematic literature review on counterexample explanation published in the journal Information and Software Technology (IST) in 2022 [Ka22].