Using unfoldings in automated testing of multithreaded programs - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Kari Kähkönen, Olli Saarikivi, Keijo Heljanko. Using unfoldings in automated testing of multithreaded programs. In Michael Goedicke, Tim Menzies, Motoshi Saeki, editors, IEEE/ACM International Conference on Automated Software Engineering, ASE'12, Essen, Germany, September 3-7, 2012. pages 150-159, ACM, 2012. [doi]

This author has not been identified. Look up 'Kari Kähkönen' in GoogleThis author has not been identified. Look up 'Olli Saarikivi' in GoogleThis author has not been identified. Look up 'Keijo Heljanko' in Google

runs on WebDSL