2nd Workshop on Constraints in Software Testing, Verification and Analysis (CSTVA'10)

Wotawa, F. (Speaker)

Activity: Talk or presentationTalk at workshop, seminar or courseScience to science

Description

Talk: Generating Distinguishing Tests using the MINION Constraint Solver
Period10 Apr 2010
Held at2nd Workshop on Constraints in Software Testing, Verification and Analysis (CSTVA'10)
Event typeWorkshop
LocationParis