Discovering and Validating Concurrency Specification from Test Executions

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

Abstract is missing.