Travelled to:1 × Germany
1 × United Kingdom
Collaborated with:K.Heljanko O.Saarikivi
Talks about:multithread (2) program (2) autom (2) test (2) lightweight (1) unfold (1) captur (1) state (1) use (1)
Person: Kari Kähkönen
DBLP: K=auml=hk=ouml=nen:Kari
Contributed to:
2014
2012Wrote 2 papers:
- TAP-2014-KahkonenH #automation #lightweight #parallel #source code #testing #thread
- Lightweight State Capturing for Automated Testing of Multithreaded Programs (KK, KH), pp. 187–203.
- ASE-2012-KahkonenSH #automation #parallel #source code #testing #thread #using
- Using unfoldings in automated testing of multithreaded programs (KK, OS, KH), pp. 150–159.