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

Activity: Talk or presentation › Talk at workshop, seminar or course › Science to science

Description

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