Model-based Regression Testing of Autonomous Robots
Modell alapú tesztelés: célok és lehetőségek Evaluating code-based test-generator tools
The Gap Between Academic Research and Industrial Practice in Software Testing
Egységtesztek automatikus generálása forráskódból Comparing robustness of AIS-based middleware implementations Languages and frameworks for specifying test artifacts