Andres Kull

According to our database, Andres Kull authored at least 6 papers between 2006 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2014

The ETSI Test Description Language TDL and its Application.

Andreas Ulrich, Sylvia Jell, Anjelika Votintseva, Andres Kull

Proceedings of the MODELSWARD 2014 - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development, Lisbon, Portugal, 7, 2014

2012

Automatic GUI Model Generation: State of the Art.

Andres Kull

Proceedings of the 23rd IEEE International Symposium on Software Reliability Engineering Workshops, 2012

2011

Reactive Testing of Nondeterministic Systems by Test Purpose-Directed Tester.

Juri Vain, Andres Kull, Marko Kääramees, Maili Markvardt, Kullo Raiend

Proceedings of the Model-Based Testing for Embedded Systems, 2011

2007

Synthesis of test purpose directed reactive planning tester for nondeterministic systems.

Jüri Vain, Kullo Raiend, Andres Kull, Juhan P. Ernits

Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007

2006

Generating TTCN-3 Test Cases from EFSM Models of Reactive Software Using Model Checking.

Juhan P. Ernits, Andres Kull, Kullo Raiend, Jüri Vain

Proceedings of the 36. Jahrestagung der Gesellschaft für Informatik, 2006

Generating Tests from EFSM Models Using Guided Model Checking and Iterated Search Refinement.

Juhan-Peep Ernits, Andres Kull, Kullo Raiend, Jüri Vain

Proceedings of the Formal Approaches to Software Testing and Runtime Verification, 2006