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]
Abstract is missing.