Keijo Heljanko

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Kari Kähkönen

> Home > Persons > Keijo Heljanko

Publications

2018
[j24]
- view
  authority control:
- export record
  dblp key:
  - journals/tecs/KahkonenH18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tecs/KahkonenH18
Kari Kähkönen, Keijo Heljanko:
Testing Programs with Contextual Unfoldings. ACM Trans. Embed. Comput. Syst. 17(1): 23:1-23:25 (2018)
2017
[j23]
- view
  authority control:
- export record
  dblp key:
  - journals/tecs/SaarikiviLKHE17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tecs/SaarikiviLKHE17
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): 45:1-45:24 (2017)
2015
[j19]
- view
  authority control:
- export record
  dblp key:
  - journals/ase/KahkonenSH15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ase/KahkonenSH15
Kari Kähkönen, Olli Saarikivi, Keijo Heljanko:
Unfolding based automated testing of multithreaded programs. Autom. Softw. Eng. 22(4): 475-515 (2015)
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/acsd/LeonSKHE15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acsd/LeonSKHE15
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: 40-49
2014
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/acsd/KahkonenH14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acsd/KahkonenH14
Kari Kähkönen, Keijo Heljanko:
Testing Multithreaded Programs with Contextual Unfoldings and Dynamic Symbolic Execution. ACSD 2014: 142-151
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/tap/KahkonenH14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/KahkonenH14
Kari Kähkönen, Keijo Heljanko:
Lightweight State Capturing for Automated Testing of Multithreaded Programs. TAP@STAF 2014: 187-203
2012
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/acsd/SaarikiviKH12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acsd/SaarikiviKH12
Olli Saarikivi, Kari Kähkönen, Keijo Heljanko:
Improving Dynamic Partial Order Reductions for Concolic Testing. ACSD 2012: 132-141
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/kbse/KahkonenSH12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kbse/KahkonenSH12
Kari Kähkönen, Olli Saarikivi, Keijo Heljanko:
Using unfoldings in automated testing of multithreaded programs. ASE 2012: 150-159
2010
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/spin/KahkonenKHN10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spin/KahkonenKHN10
Kari Kähkönen, Roland Kindermann, Keijo Heljanko, Ilkka Niemelä:
Experimental Comparison of Concolic and Random Testing for Java Card Applets. SPIN 2010: 22-39
2009
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/rv/KahkonenLHN09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rv/KahkonenLHN09
Kari Kähkönen, Jani Lampinen, Keijo Heljanko, Ilkka Niemelä:
The LIME Interface Specification Language and Runtime Monitoring Tool. RV 2009: 93-100

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.