![]() | ![]() |
| 2010 | ||
|---|---|---|
| 2 | 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 | ||
| 1 | Kari Kähkönen, Jani Lampinen, Keijo Heljanko, Ilkka Niemelä: The LIME Interface Specification Language and Runtime Monitoring Tool. RV 2009: 93-100 | |
| 1 | Keijo Heljanko | [1] [2] |
| 2 | Roland Kindermann | [2] |
| 3 | Jani Lampinen | [1] |
| 4 | Ilkka Niemelä | [1] [2] |
Data released under the ODC-BY 1.0 license — See also our legal information page