Geometric Theory for Program Testing.

Bernhard Möller Tony Hoare Zhe Hou Jin Song Dong

Published in: CoRR (2022)

Keyphrases

test cases
theoretical framework
symbolic execution
computational model
formal theory
software testing
test suite
theoretical basis
neural network
real time
test set
database
source code
geometric structure
hidden markov models
artificial intelligence
real world
general theory
projective geometry