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
Event typeConference
LocationL'Aquila, Italy