Marko Kääramees

Publication Activity (10 Years)

Years Active: 1995-2012
Publications (10 Years): 0

Top Topics

Symbolic Execution

Simulated Annealing

Constraint Satisfaction

Top Venues

Publications

Danel Ahman, Marko Kääramees
Constraint-Based Heuristic On-line Test Generation from Non-deterministic I/O EFSMs MBT (2012)
Marko Kääramees, Jüri Vain, Kullo Raiend
Synthesis of On-Line Planning Tester for Non-deterministic EFSM Models. TAIC PART (2010)
Tanel Tammet, Hele-Mai Haav, Vello Kadarpik, Marko Kääramees
Using a Rule Language for Capturing Semantics in Web-Based Systems. DB&IS (2006)
Marko Kääramees
Transforming designs towards implementations. RTS (1995)