Automatic GUI model generation : state of the artKull, AndresISSREW 2012 : 23rd IEEE International Symposium on Software Reliability Engineering Supplemental Proceedings : 27-30 November 2012, Dallas, Texas, USA2012 / p. 207-212

Case study-based performance evaluation of reactive planning testerKull, Andres; Raiend, Kullo; Vain, Jüri; Kääramees, MarkoModel-based Testing in Practice : 2nd Workshop on Model-based Testing in Practice(MoTiP 2009) : Enschede, The Netherlands, June 23, 2009 : proceedings2009 / p. 87-96 : ill https://www.etis.ee/Portal/Publications/Display/c507fc75-771f-419a-bf67-571af65fdb66

Executable black-box tester model synthesis from a non-deterministic EFSM of the systemKull, Andres; Raiend, Kullo; Vain, JüriInfo- ja kommunikatsioonitehnoloogia doktorikooli IKTDK teise aastakonverentsi artiklite kogumik : 11.-12. mai 2007, Viinistu kunstimuuseum2007 / lk. 105-108

Generating tests from EFSM models using guided model checking and iterated search refinmentErnits, Juhan-Peep; Kull, Andres; Raiend, Kullo; Vain, JüriFormal Approach to Software Testing and Runtime Verification : First Combined International Workshops FATES 2006 and RV 2006 : Seattle, WA, USA, August 15-16, 2006 : revised selected papers2006 / p. 85-99 https://link.springer.com/chapter/10.1007/11940197_6

Generating TTCN-3 test cases from EFSM models of reactive software using model checkingErnits, Juhan-Peep; Kull, Andres; Raiend, Kullo; Vain, JüriInformatik 2006 - Informatik für Menschen : proceedings : Beiträge der 36. Jahrestagung der Gesellschaft für Informatik e.V.(GI) : 2.bis 6.Oktober in Dresden2006 / p. 241-248

Model-based testing of reactive systems = Reaktiivsete süsteemide mudelipõhine testimineKull, Andres2009 https://www.ester.ee/record=b2539853*est

Mudelipõhine testimineKull, AndresTallinna Tehnikaülikooli aastaraamat 20102011 / lk. 115-118

Reactive testing of nondeterministic systems by test purpose-directed testerVain, Jüri; Kull, Andres; Kääramees, Marko; Markvardt, Maili; Raiend, KulloModel-based testing for embedded systems2012 / p. 425-452 : ill

Requirements-driven model-based testing of the IP Multimedia SubsystemErnits, Juhan-Peep; Kääramees, Marko; Raiend, Kullo; Kull, AndresBEC 2008 : 2008 International Biennial Baltic Electronics Conference : proceedings of the 11th Biennial Baltic Electronics Conference : Tallinn University of Technology : October 6-8, 2008, Tallinn, Estonia2008 / p. 203-206

Synthesis of test purpose directed reactive planning tester for nondeterministic systemsVain, Jüri; Raiend, Kullo; Kull, Andres; Ernits, Juhan-Peep22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007) : November 5-9, 2007, Atlanta, Georgia, USA2007 / p. 363-372 https://www.researchgate.net/publication/220883693_Synthesis_of_test_purpose_directed_reactive_planning_tester_for_nondeterministic_systems

Synthesis of test purpose directed reactive planning tester for nondeterministic systems (extended abstracts)Vain, Jüri; Raiend, Kullo; Kull, Andres; Ernits, Juhan-PeepNWTP'07/FLACOS'07 Workshop Proceedings : Oslo, 10-12 October 20072007 / p. 55-57