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 titleThird International Conference on Software Testing, Verification and Validation: ICST 2010
Event typeConference
LocationParis, France