A Methodology for Automating Assurance Case Generation.

Shreyas Ramakrishna Charles Hartsell Abhishek Dubey Partha Pratim Pal Gabor Karsai

Published in: CoRR (2020)

Keyphrases

design methodology
databases
data mining
computer vision
case study
evolutionary algorithm
software engineering
theoretical framework
case base
generation method