- Titel:
Classical search strategies for test case generation with Constraint Logic Programming
- Dokumenttyp:
- Konferenzbeitrag
- Autor(en):
- Pretschner, A
- Stichworte:
- testing, model, logic
- Kongress- / Buchtitel:
- Proc. Formal Approaches to Testing of Software (FATES'01)
- Jahr:
- 2001
- BibTeX