Kari Kähkönen

M.Sc. (Tech.), Researcher

Office:: Room T-B349 in Computer Science Building,
Konemiehentie 2, Otaniemi campus area, Espoo
Postal Address:: Aalto University School of Science,
Department of Information and Computer Science,
P.O. Box 15400, FI-00076 Aalto, Finland
Email:: kari.kahkonenaalto.fi

Research Interests

Software Testing, Dynamic Symbolic Execution (Concolic Testing), Runtime Monitoring, Formal Methods

[ ACSD 2012 ] Saarikivi, O., Kähkönen, K. and Heljanko, K.: Improving Dynamic Partial Order Reductions for Concolic Testing. In Proceedings of the 12th International Conference on Application of Concurrency to System Design (ACSD'2012), Hamburg, Germany, June 2012, accepted for publication
[ BYTECODE 2011 | PDF ] Kähkönen, K., Launiainen, T, Saarikivi, O., Kauttio, J., Heljanko, K., and Niemelä, I.: LCT: An Open Source Concolic Testing Tool for Java Programs. In Proceedings of the 6th Workshop on Bytecode Semantics, Verification, Analysis and Transformation (BYTECODE'2011), pages 75-80, Saarbrucken, Germany, Mar 2011.
[ SPIN 2010 | PDF ] Kähkönen, K., Kindermann, R., Heljanko, K., and Niemelä, I.: Experimental Comparison of Concolic and Random Testing for Java Card Applets. In Proceedings of the 17th International SPIN Workshop on Model Checking of Software (SPIN'2010), pages 22-39, Lecture Notes in Computer Science 6349, Twente, The Netherlands, September 2010.
[ RV 2009 | PDF ] Kähkönen, K., Lampinen, J., Heljanko, K., and Niemelä, I.: The LIME Interface Specification Language and Runtime Monitoring Tool. In Proceedings of the 9th International Workshop on Runtime Verification, pages 93-100, Lecture Note in Computer Science 5779, Grenoble, France, June 2009

[ PDF ] Kähkönen, K.: Automated Dynamic Test Generation for Sequential Java Programs. Master's Thesis. Helsinki University of Technology, Department of Information and Computer Science, Espoo, Finland, July 2008.

[ PDF ] Kähkönen, K. Automated test generation for software components. Technical Report TKK-ICS-R26, Helsinki University of Technology, Department of Information and Computer Science, Espoo, Finland, December 2009.
[ PDF ] Lampinen, J., Liedes, S., Kähkönen, K., Kauttio, J., and Heljanko, K. Interface specification methods for software components. Technical Report TKK-ICS-R25, Helsinki University of Technology, Department of Information and Computer Science, Espoo, Finland, December 2009.