Testing from Algebraic Specifications: Test Data Set Selection by Unfolding Axioms

Aiguier M., Arnould A., Boin C., Le Gall P., Marre B.

Rapport laMI n°110, Université d'Evry-Val d'Essonne, Evry, ftp://ftp.lami.univ-evry.fr/pub/publications/reports/index.html - Janvier 2005

Références BibTex

@TechReport{AABLM2005_630,

	author	= {Aiguier, M. and Arnould, A. and Boin, C. and Le Gall, P. and Marre, B.},
	title	= {Testing from Algebraic Specifications: Test Data Set Selection by Unfolding Axioms.},
	month	= {Janvier},
	year	= {2005},
	note	= {Rapport laMI n°110, Universit\'e d'Evry-Val d'Essonne, Evry, ftp://ftp.lami.univ-evry.fr/pub/publications/reports/index.html},

}