Test selection for traces refinement
From MaRDI portal
Publication:481094
DOI10.1016/j.tcs.2014.08.012zbMath1302.68086MaRDI QIDQ481094
Ana Cavalcanti, Marie-Claude Gaudel
Publication date: 12 December 2014
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2014.08.012
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Uses Software