- Title:
Classical search strategies for test case generation with Constraint Logic Programming
- Document type:
- Konferenzbeitrag
- Author(s):
- Pretschner, A
- Keywords:
- testing, model, logic
- Book / Congress title:
- Proc. Formal Approaches to Testing of Software (FATES'01)
- Year:
- 2001
- BibTeX