Unfolding Based Minimal Test Suites for Testing Multithreaded Programs

Hernán Ponce de Leon, Olli Saarikivi, Kari Kähkönen, Keijo Heljanko, Javier Esparza. Unfolding Based Minimal Test Suites for Testing Multithreaded Programs. In 15th International Conference on Application of Concurrency to System Design, ACSD 2015, Brussels, Belgium, June 21-26, 2015. pages 40-49, IEEE Computer Society, 2015. [doi]

Authors

Hernán Ponce de Leon

This author has not been identified. Look up 'Hernán Ponce de Leon' in Google

Olli Saarikivi

This author has not been identified. Look up 'Olli Saarikivi' in Google

Kari Kähkönen

This author has not been identified. Look up 'Kari Kähkönen' in Google

Keijo Heljanko

This author has not been identified. Look up 'Keijo Heljanko' in Google

Javier Esparza

This author has not been identified. Look up 'Javier Esparza' in Google