Login
- Titel:
Specification based test sequence generation with propositional logic
- Dokumenttyp:
- Konferenzbeitrag
- Autor(en):
- Wimmel, G.; Lötzbeyer, H.; Pretschner, A.; Slotosch, O.
- 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
BibTeX