Validating Programs without Specifications.
William E. HowdenPublished in: Symposium on Testing, Analysis, and Verification (1989)
Keyphrases
- recursive programs
- control flow
- formal specification
- control program
- logic programs
- high level
- provably correct
- finite state machines
- data flow
- answer sets
- logic programming
- programming environment
- specification language
- evolutionary algorithm
- java programs
- asynchronous circuits
- information technology
- database systems
- computer vision
- written in natural language