Kullo Raiend

According to our database, Kullo Raiend authored at least 5 papers between 2006 and 2011.

Collaborative distances:

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

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

2010

Synthesis of On-Line Planning Tester for Non-deterministic EFSM Models.

Marko Kääramees, Jüri Vain, Kullo Raiend

Proceedings of the Testing, 2010

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