Verifying properties of parallel programs: an axiomatic approach
Communications of the ACM
A laboratory for the development and evaluation of BMD software quality enhancement techniques
ICSE '76 Proceedings of the 2nd international conference on Software engineering
New assertion concepts for self-metric software validation
Proceedings of the international conference on Reliable software
The Use of Self Checks and Voting in Software Error Detection: An Empirical Study
IEEE Transactions on Software Engineering
Software verification and validation in practice and theory (Position Statement)
ACM '78 Proceedings of the 1978 annual conference - Volume 2
Hi-index | 0.00 |
An experiment was performed to evaluate the ability of executable assertions to detect programming errors in a real time program. Errors selected from the categories of computational errors, data handling errors, and logical errors were inserted in the program. Assertions were then written which detected these errors. While computational errors were easily detected, data handling and logical errors were more difficult to locate. New types of assertions will be required to protect against these errors.