Kari Kähkönen

Publication Activity (10 Years)

Years Active: 2009-2018
Publications (10 Years): 2

Top Topics

Mutual Exclusion

Concurrent Programs

Symbolic Execution

Top Venues

ACM Trans. Embed. Comput. Syst.

Autom. Softw. Eng.

Publications

Kari Kähkönen, Keijo Heljanko
Testing Programs with Contextual Unfoldings. ACM Trans. Embed. Comput. Syst. 17 (1) (2018)
Olli Saarikivi, Hernán Ponce de León, Kari Kähkönen, Keijo Heljanko, Javier Esparza
Minimizing Test Suites with Unfoldings of Multithreaded Programs. ACM Trans. Embed. Comput. Syst. 16 (2) (2017)
Hernán Ponce de León, Olli Saarikivi, Kari Kähkönen, Keijo Heljanko, Javier Esparza
Unfolding Based Minimal Test Suites for Testing Multithreaded Programs. ACSD (2015)
Kari Kähkönen, Olli Saarikivi, Keijo Heljanko
Unfolding based automated testing of multithreaded programs. Autom. Softw. Eng. 22 (4) (2015)
Kari Kähkönen, Keijo Heljanko
Lightweight State Capturing for Automated Testing of Multithreaded Programs. TAP@STAF (2014)
Kari Kähkönen, Keijo Heljanko
Testing Multithreaded Programs with Contextual Unfoldings and Dynamic Symbolic Execution. ACSD (2014)
Kari Kähkönen, Olli Saarikivi, Keijo Heljanko
Using unfoldings in automated testing of multithreaded programs. ASE (2012)
Olli Saarikivi, Kari Kähkönen, Keijo Heljanko
Improving Dynamic Partial Order Reductions for Concolic Testing. ACSD (2012)
Kari Kähkönen, Roland Kindermann, Keijo Heljanko, Ilkka Niemelä
Experimental Comparison of Concolic and Random Testing for Java Card Applets. SPIN (2010)
Kari Kähkönen, Jani Lampinen, Keijo Heljanko, Ilkka Niemelä
The LIME Interface Specification Language and Runtime Monitoring Tool. RV (2009)