A symbolic approach to model-based online testing = Mudelipõhine online-testimine kasutades sümbolarvutust
Kääramees, Marko
2012
http://www.ester.ee/record=b2890159*est