IEEE - Institute of Electrical and Electronics Engineers, Inc. - A note on test oracles and semantics of algebraic specifications

Proceedings. Third International Conference on Quality Software

Author(s): Hong Zhu
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 2003
Conference Location: Dallas, TX, USA, USA
Conference Date: 7 November 2003
Page Count: 8
Page(s): 91 - 98
ISBN (Paper): 0-7695-2015-4
DOI: 10.1109/QSIC.2003.1319090
Regular:

Algebraic testing is an automated software testing method based on algebraic formal specifications. It tests if a program correctly implements an algebraic specification by checking if the... View More

Advertisement