| Original language | English |
|---|---|
| Publisher | . |
| Publication status | Published - 2013 |
Fields of Expertise
- Information, Communication & Computing
Treatment code (Nähere Zuordnung)
- Application
- Experimental
Fast Refinement Checking for Test Case Generation
Bernhard Aichernig, Elisabeth Jöbstl, Matthias Kegele
Research output: Book/Report › Other report