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