International Conference on Tests And Proofs

  • Elisabeth Jöbstl (Speaker)

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

Description

Talk: Incremental Refinement Checking for Test Case Generation
Period22 Jul 2015 → 24 Jul 2015
Event titleInternational Conference on Tests and Proofs: TAP 2015
Event typeConference
LocationL'Aquila, ItalyShow on map