User: Guest  Login
Document type:
Konferenzbeitrag 
Author(s):
Wimmel, G.; Lötzbeyer, H.; Pretschner, A.; Slotosch, O. 
Title:
Specification based test sequence generation with propositional logic 
Pages contribution:
229-248 
Keywords:
testing, model, logic 
Book / Congress title:
Journal on Software Testing, Validation, and Reliability 10(4):229-248, December 2000 
Publisher:
Wiley-Blackwell 
Date of publication:
01.12.2000 
Year:
2000