to appear |
|
4 | 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 |
|
3 | 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, June 2012. |
|
|
2 | 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. |
|
2011 |
|
1 | 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. |
|
