Publisher
Springer Berlin Heidelberg
Reference16 articles.
1. J. Goguen, J. Thatcher, E. Wagner: An initial algebra approach to the specification, correctness, and implementation of abstract data types, Current Trends in Programming Methodology, Vol.4, Yeh Ed. Prentice Hall, 1978.
2. L. Bougé, N. Choquet, L. Fribourg, M. C. Gaudel: Application of PROLOG to test sets generation from algebraic specifications, Proc. International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin (R.F.A), Springer-Verlag LNCS 186, pp.246–260, March 1985.
3. L. Bougé, N. Choquet, L. Fribourg, M. C. Gaudel: Test sets generation from algebraic specifications using logic programming, Journal of Systems and Software Vol 6, no4, pp.343–360, November 1986.
4. G. Bernot, M. C. Gaudel, B. Marre: Software testing based on formal specifications: a theory and a tool, To appear in Software Engineering Journal, U.K., 1991. (also: Internal Report LRI no581, Orsay, France, June 1990.)
5. G. Bernot: A formalism for test with oracle based on algebraic specifications, LIENS Report 89-4, LIENS/DMI, Ecole Normale Supérieure, Paris, France, May 1989.
Cited by
31 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献