Urmas Repinski

Publication Activity (10 Years)

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

Top Topics

Greedy Algorithm

Model Based Reasoning

Premature Convergence

Top Venues

Microprocess. Microsystems

Publications

Urmas Repinski, Jaan Raik
Comparison of Model-Based Error Localization algorithms for C designs. EWDTS (2013)
Jaan Raik, Urmas Repinski, Anton Chepurov, Hanno Hantson, Raimund Ubar, Maksim Jenihhin
Automated design error debug using high-level decision diagrams and mutation operators. Microprocess. Microsystems 37 (4-5) (2013)
Urmas Repinski, Hanno Hantson, Maksim Jenihhin, Jaan Raik, Raimund Ubar, Giuseppe Di Guglielmo, Graziano Pravadelli, Franco Fummi
Combining dynamic slicing and mutation operators for ESL correction. ETS (2012)
Roderick Bloem, Rolf Drechsler, Görschwin Fey, Alexander Finder, Georg Hofferek, Robert Könighofer, Jaan Raik, Urmas Repinski, André Sülflow
FoREnSiC- An Automatic Debugging Environment for C Programs. Haifa Verification Conference (2012)
Hanno Hantson, Urmas Repinski, Jaan Raik, Maksim Jenihhin, Raimund Ubar
Diagnosis and correction of multiple design errors using critical path tracing and mutation analysis. LATW (2012)