Property generation/verification and empirical studies.

Robert M. Hierons Tao Xie

Published in: Softw. Test. Verification Reliab. (2021)

Keyphrases

empirical studies
real world data sets
empirical analysis
uci datasets
database
model checking
functional verification
experimental design
image processing
multi agent
decision trees
formal analysis
generation process
formal verification
verification method
concurrent systems
decision making