Software testing and evaluation
Software testing and evaluation
Software safety: why, what, and how
ACM Computing Surveys (CSUR)
IEEE Transactions on Software Engineering
Mathematical Principles for a First Course in Software Engineering
IEEE Transactions on Software Engineering
Evaluation of safety-critical software
Communications of the ACM
Evolution towards specifications environment: experiences with syntax editors
Information and Software Technology
The new math of computer programming
Communications of the ACM
An axiomatic basis for computer programming
Communications of the ACM
The Science of Programming
Princples of Computer Programming
Princples of Computer Programming
Writings of the Revolution: Selected Readings on Software Engineering
Writings of the Revolution: Selected Readings on Software Engineering
A Management Tool for Evaluation of Software Design
IEEE Transactions on Software Engineering
Hi-index | 4.10 |
A model whose verification conditions depend only on elementary symbolic execution of a trace table is presented. The method is applied to rather simple programs. However, even in large complex implementations, the techniques can be applied informally to determine the functionality of complex interactions. The technique is easy to learn (it is used in a freshman computer science course) and lends itself to automation.