Automatic GUI model generation: State of the art A Kull 2012 IEEE 23rd International Symposium on Software Reliability Engineering …, 2012 | 26 | 2012 |
The ETSI test description language TDL and its application A Ulrich, S Jell, A Votintseva, A Kull 2014 2nd International Conference on Model-Driven Engineering and Software …, 2014 | 21 | 2014 |
Generating tests from efsm models using guided model checking and iterated search refinement JP Ernits, A Kull, K Raiend, J Vain International Workshop on Formal Approaches to Software Testing, 85-99, 2006 | 20 | 2006 |
Synthesis of test purpose directed reactive planning tester for nondeterministic systems J Vain, K Raiend, A Kull, JP Ernits Proceedings of the 22nd IEEE/ACM International Conference on Automated …, 2007 | 19 | 2007 |
Model-based testing of reactive systems A Kull TUT Press, 2009 | 7 | 2009 |
Generating ttcn-3 test cases from efsm models of reactive software using model checking J Ernits, A Kull, K Raiend, J Vain Gesellschaft für Informatik eV, 2006 | 5 | 2006 |
Reactive Testing of Nondeterministic Systems by Test Purpose-Directed Tester. J Vain, A Kull, M Kääramees, M Markvardt, K Raiend Model-Based Testing for Embedded Systems, 425-452, 2011 | 3 | 2011 |
Case study-based performance evaluation of reactive planning tester A Kull, K Raiend, J Vain, M Kääramees Model-based Testing in Practice, 87, 2009 | 3 | 2009 |
End-to-End Testing Automation in TTCN-3 environment using Conformiq Qtronic & Elvior MessageMagic A Kull, K Raiend, A Garg TTCN-3 Users Conference, 2009 | 3 | 2009 |
Requirements-driven model-based testing of the IP multimedia subsystem J Ernits, M Kaaramees, K Raiend, A Kull 2008 11th International Biennial Baltic Electronics Conference, 203-206, 2008 | 3 | 2008 |