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 2015 - 24 Jul 2015
Held atInternational Conference on Tests And Proofs
Event typeConference
LocationL'Aquila, Italy