Master Colloquium - Lars Meijer (M-CS)

Speaker               :       Lars Meijer

Subject                :       Test-case shrinking for model-based testing on Symbolic Transition Systems

Date                     :       4 March 2021

Time                     :       10.30

Location               :       https://utwente-nl.zoom.us/j/84162442953