ICST 2010, Third International Conference on Software Testing, Verification and Validation

Elisabeth Jöbstl (Speaker)

Activity: Talk or presentationTalk at conference or symposiumScience to science

Description

Talk: When BDDs Fail: Conformance Testing with Symbolic Execution and SMT Solving
Period6 Apr 201010 Apr 2010
Event titleICST 2010, Third International Conference on Software Testing, Verification and Validation
Event typeConference