@incollection{LS05MOTRES,
    author = {L{\'u}cio, Levi and Samer, Marko},
    title = {Technology of Test-Case Generation},
    booktitle = {Model-Based Testing of Reactive Systems},
    editor = {Broy, Manfred and Jonsson, Bengt and Katoen, Joost-Pieter and  Leucker, Martin and Pretschner, Alexander},
    publisher = {Springer-Verlag},
    series = {Lecture Notes in Computer Science},
    volume = {3472},
    pages = {323--354},
    year = {2005},
    isbn = {978-3-540-26278-7}
}