Marko Kääramees

According to our database, Marko Kääramees authored at least 5 papers between 1995 and 2012.

Collaborative distances:

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

2012

Constraint-Based Heuristic On-line Test Generation from Non-deterministic I/O EFSMs

Danel Ahman, Marko Kääramees

Proceedings of the Proceedings 7th Workshop on Model-Based Testing, 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

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

2006

Using a Rule Language for Capturing Semantics in Web-Based Systems.

Tanel Tammet, Hele-Mai Haav, Vello Kadarpik, Marko Kääramees

Proceedings of the Databases and Information Systems IV, 2006

1995

Transforming designs towards implementations.

Marko Kääramees

Proceedings of the 7th Euromicro Workshop on Real-Time Systems, 1995