Login
- Title:
Specification based test sequence generation with propositional logic
- Document type:
- Konferenzbeitrag
- Author(s):
- Wimmel, G.; Lötzbeyer, H.; Pretschner, A.; Slotosch, O.
- 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
BibTeX