Andres Kull

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2014
The ETSI Test Description Language TDL and its Application.
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.
Proceedings of the 23rd IEEE International Symposium on Software Reliability Engineering Workshops, 2012

2011
Reactive Testing of Nondeterministic Systems by Test Purpose-Directed Tester.
Proceedings of the Model-Based Testing for Embedded Systems, 2011

2007
Synthesis of test purpose directed reactive planning tester for nondeterministic systems.
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.
Proceedings of the 36. Jahrestagung der Gesellschaft für Informatik, 2006

Generating Tests from EFSM Models Using Guided Model Checking and Iterated Search Refinement.
Proceedings of the Formal Approaches to Software Testing and Runtime Verification, 2006


  Loading...