HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor 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.