SeaCoral: A Collaborative Test Generation Toolset for Industrial Orchestration of Testing Tools.

Nicolas Berthier, Steven de Oliveira, Nikolai Kosmatov, Delphine Longuet

Browse the full FM paper archive.