to appear |
|
7 | Kari Kähkönen, Olli Saarikivi, and Keijo Heljanko. LCT: A parallel distributed testing tool for multithreaded Java programs. In Proceedings of the 11th International Workshop on Parallel and Distributed Methods in verifiCation (PDMC 2012), to appear. |
|
2012 |
|
6 | Kari Kähkönen, Olli Saarikivi, and Keijo Heljanko. Using unfoldings in automated testing of multithreaded programs. In Proceedings of the 27th IEEE/ACM International Conference Automated Software Engineering 2012 (ASE 2012), pages 150–159, 2012. |
|
|
5 | Olli Saarikivi, Kari Kähkönen, and Keijo Heljanko. Improving dynamic partial order reductions for concolic testing. In Proceedings of the 12th International Conference on Application of Concurrency to System Design (ACSD 2012), pages 132–141, 2012. |
|
2011 |
|
4 | Kari Kähkönen, Tuomas Launiainen, Olli Saarikivi, Janne Kauttio, Keijo Heljanko, and Ilkka Niemelä. 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, Saarbrücken, Germany, Mar 2011. |
|
2010 |
|
3 | Kari Kähkönen, Roland Kindermann, Keijo Heljanko, and Ilkka Niemelä. Experimental comparison of concolic and random testing for Java Card applets. In SPIN, volume 6349 of Lecture Notes in Computer Science, pages 22–39, 2010. |
|
2009 |
|
2 | Kari Kähkönen. 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. |
|
|
1 | Kari Kähkönen, Jani Lampinen, Keijo Heljanko, and Ilkka Niemelä. The LIME interface specification language and runtime monitoring tool. In Saddek Bensalem and Doron Peled, editors, RV, volume 5779 of Lecture Notes in Computer Science, pages 93–100, 2009. |
|
