Program Verification: To Err is Human.

Krzysztof R. Apt

Published in: Theory and Practice of Formal Methods (2016)

Keyphrases

data mining
genetic algorithm
learning to rank

neural network
learning algorithm

e learning
human users

human factors
human communication