@Article{ wimmel.ea:specification:2000, author = {G. Wimmel and H. L{\"o}tzbeyer and A. Pretschner and O. Slotosch}, copyright = {Wiley}, journal = {Software Testing, Validation, and Reliability}, language = {USenglish}, month = {December}, number = 4, pages = {229--248}, title = {Specification Based Test Sequence Generation with Propositional Logic}, volume = 10, year = 2000, user = {pretscha} }