Kari Kähkönen

According to our database, Kari Kähkönen authored at least 10 papers between 2009 and 2018.

Collaborative distances:

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

2018

Testing Programs with Contextual Unfoldings.

Kari Kähkönen, Keijo Heljanko

ACM Trans. Embed. Comput. Syst., 2018

2017

Minimizing Test Suites with Unfoldings of Multithreaded Programs.

Olli Saarikivi, Hernán Ponce de León, Kari Kähkönen, Keijo Heljanko, Javier Esparza

ACM Trans. Embed. Comput. Syst., 2017

2015

Unfolding based automated testing of multithreaded programs.

Kari Kähkönen, Olli Saarikivi, Keijo Heljanko

Autom. Softw. Eng., 2015

Unfolding Based Minimal Test Suites for Testing Multithreaded Programs.

Hernán Ponce de León, Olli Saarikivi, Kari Kähkönen, Keijo Heljanko, Javier Esparza

Proceedings of the 15th International Conference on Application of Concurrency to System Design, 2015

2014

Lightweight State Capturing for Automated Testing of Multithreaded Programs.

Kari Kähkönen, Keijo Heljanko

Proceedings of the Tests and Proofs - 8th International Conference, 2014

Testing Multithreaded Programs with Contextual Unfoldings and Dynamic Symbolic Execution.

Kari Kähkönen, Keijo Heljanko

Proceedings of the 14th International Conference on Application of Concurrency to System Design, 2014

2012

Using unfoldings in automated testing of multithreaded programs.

Kari Kähkönen, Olli Saarikivi, Keijo Heljanko

Proceedings of the IEEE/ACM International Conference on Automated Software Engineering, 2012

Improving Dynamic Partial Order Reductions for Concolic Testing.

Olli Saarikivi, Kari Kähkönen, Keijo Heljanko

Proceedings of the 12th International Conference on Application of Concurrency to System Design, 2012

2010

Experimental Comparison of Concolic and Random Testing for Java Card Applets.

Kari Kähkönen, Roland Kindermann, Keijo Heljanko, Ilkka Niemelä

Proceedings of the Model Checking Software, 2010

2009

The LIME Interface Specification Language and Runtime Monitoring Tool.

Kari Kähkönen, Jani Lampinen, Keijo Heljanko, Ilkka Niemelä

Proceedings of the Runtime Verification, 9th International Workshop, 2009