International Conference on Tests And Proofs

  • Elisabeth Jöbstl (Speaker)

Activity: Talk or presentationTalk at conference or symposiumScience to science

Description

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