Generierung von kurzen Testsequenzen für LOTOS-Verhaltensspezifikationen mit Hilfe von Fehlermodellen.

Volkmar Pleßer
Published in: Prax. Inf.verarb. Kommun. (1994)