Applying metamorphic testing to reliability calculating programs.

Taito Asaji Tatsuhiro Tsuchiya

Published in: PRDC (2023)

Keyphrases

software reliability
symbolic execution
databases
real time
provably correct
data sets
machine learning
software testing
database
information retrieval
artificial intelligence
computer vision
decision making
open source
test set
concurrent programs