Automated Transition Coverage in Behavioural Conformance Testing

von Marsso, Lina
Veröffentlicht in ICTSS (32. : 2020 : Online) Testing software and systems (2020)

Sharp Congruences Adequate with Temporal Logics Combining Weak and Strong Modalities

von Lang, Frédéric
Veröffentlicht in TACAS (26. : 2020 : Online) Tools and algorithms for the construction and analysis of systems ; Part 2 (2020)