An extended framework for passive asynchronous testing
From MaRDI portal
Publication:347402
DOI10.1016/j.jlamp.2016.02.004zbMath1353.68052MaRDI QIDQ347402
Manuel A. Nunez, Robert M. Hierons, Mercedes G. Merayo
Publication date: 30 November 2016
Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jlamp.2016.02.004
68Q45: Formal languages and automata
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Uses Software