Juhan P. Ernits

Publication Activity (10 Years)

Years Active: 2005-2015
Publications (10 Years): 0

Top Topics

Integration Testing

Autonomous Navigation

Obstacle Avoidance

Top Venues

Publications

Juhan P. Ernits, Evelin Halling, Gert Kanter, Jüri Vain
Model-based integration testing of ROS packages: A mobile robot case study. ECMR (2015)
Juhan P. Ernits, Richard Dearden, Miles Pebody
Formal Methods for Automated Diagnosis of Autosub 6000. NASA Formal Methods (2009)
Juhan P. Ernits, Rivo Roo, Jonathan Jacky, Margus Veanes
Model-Based Testing of Web Applications Using NModel. TestCom/FATES (2009)
Margus Veanes, Juhan P. Ernits, Colin Campbell
State Isomorphism in Model Programs with Abstract Data Structures. FORTE (2007)
Jüri Vain, Kullo Raiend, Andres Kull, Juhan P. Ernits
Synthesis of test purpose directed reactive planning tester for nondeterministic systems. ASE (2007)
Juhan P. Ernits, Andres Kull, Kullo Raiend, Jüri Vain
Generating TTCN-3 Test Cases from EFSM Models of Reactive Software Using Model Checking. GI Jahrestagung (2) (2006)
Juhan P. Ernits
Memory Arbiter Synthesis and Verification for a Radar Memory Interface Card. Nord. J. Comput. 12 (2) (2005)