Automatically checking an implementation against its formal specification
- 1 January 2000
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Software Engineering
- Vol. 26 (1), 55-69
- https://doi.org/10.1109/32.825766
Abstract
No abstract availableThis publication has 37 references indexed in Scilit:
- Specification-based code generationPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- The use of self checks and voting in software error detection: an empirical studyIEEE Transactions on Software Engineering, 1990
- Comparing the Effectiveness of Software Testing StrategiesIEEE Transactions on Software Engineering, 1987
- An experimental evaluation of the assumption of independence in multiversion programmingIEEE Transactions on Software Engineering, 1986
- Application of PROLOG to test sets generation from algebraic specificationsLecture Notes in Computer Science, 1985
- TerminationLecture Notes in Computer Science, 1985
- Programming in PrologPublished by Springer Nature ,1984
- A formal notion of program-based test data adequacyInformation and Control, 1983
- Simple Word Problems in Universal AlgebrasPublished by Springer Nature ,1983
- On the Automated Generation of Program Test DataIEEE Transactions on Software Engineering, 1976