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

  • Elisabeth Jöbstl (Speaker)

Activity: Talk or presentation › Talk at conference or symposium › Science to science

Description

Talk: When BDDs Fail: Conformance Testing with Symbolic Execution and SMT Solving
Period6 Apr 2010 → 10 Apr 2010
Event titleThird International Conference on Software Testing, Verification and Validation: ICST 2010
Event typeConference
LocationParis, FranceShow on map