Axiomatization of if-then-else over possibly non-halting programs and tests.

Gayatri Panicker Kanduru V. Krishna Purandar Bhaduri

Published in: CoRR (2016)

Keyphrases

data sets
computer programs
database
neural network
data mining
genetic algorithm
information technology
relational databases
user interface
test cases
situation calculus
set of test cases