Executable Assertions - An Aid To Reliable Software

Publisher Website

24 August 2005

conference paper
Published by Institute of Electrical and Electronics Engineers (IEEE)

p. 277-281
https://doi.org/10.1109/acssc.1977.748932

Abstract

First Page of the Article Author(s) Saib, S.H.

Keywords

This publication has 3 references indexed in Scilit:

Symbolic Testing and the DISSECT Symbolic Evaluation System
IEEE Transactions on Software Engineering, 1977
Symbolic execution and program testing
Communications of the ACM, 1976
SELECT---a formal system for testing and debugging programs by symbolic execution
Published by Association for Computing Machinery (ACM) ,1975