Pablo González de Aledo Marugán, Álvaro Díaz Suárez, Pablo Sánchez Espeso, Ralf Huuck. Discovering and Validating Concurrency Specification from Test Executions. In First International Workshop on Validating Software Tests, VST@SANER 2016, Osaka, Japan, March 15, 2016. pages 5-8, IEEE Computer Society, 2016. [doi]
Abstract is missing.