Targeted Test Generation for Actor Systems

Sihan Li, Farah Hariri, Gul Agha. Targeted Test Generation for Actor Systems. In Todd D. Millstein, editor, 32nd European Conference on Object-Oriented Programming, ECOOP 2018, July 16-21, 2018, Amsterdam, The Netherlands. Volume 109 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2018. [doi]