Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Keyword
:
test case generation
Papers
Generating Mutation Tests Using an Equivalence Prover
Christian Martin
EasyChair Preprint no. 8629
Industrial Examples of Formal Specifications for Test Case Generation
Hendrik Roehm
,
Rainer Gmehlich
,
Thomas Heinz
,
Jens Oehlerking
and
Matthias Woehrle
In
:
ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems
Copyright © 2012-2023 easychair.org. All rights reserved.
