IEEE - Institute of Electrical and Electronics Engineers, Inc. - Abstracting formal specifications to generate software tests via model checking

Gateway to the New Millennium. 18th Digital Avionics Systems Conference. Proceedings

Author(s): Ammann, P. ; Black, P.E.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 1999
Conference Location: St Louis, MO, USA, USA
Conference Date: 24 October 1999
Volume: 2
ISBN (Paper): 0-7803-5749-3
DOI: 10.1109/DASC.1999.822091
Regular:

A recent method combines model checkers with specification-based mutation analysis to generate test cases from formal software specifications. However high-level software specifications usually... View More

Advertisement