Benutzer: Gast  Login
Dokumenttyp:
Konferenzbeitrag 
Autor(en):
Wimmel, G.; Lötzbeyer, H.; Pretschner, A.; Slotosch, O. 
Titel:
Specification based test sequence generation with propositional logic 
Seitenangaben Beitrag:
229-248 
Stichworte:
testing, model, logic 
Kongress- / Buchtitel:
Journal on Software Testing, Validation, and Reliability 10(4):229-248, December 2000 
Verlag / Institution:
Wiley-Blackwell 
Publikationsdatum:
01.12.2000 
Jahr:
2000