Assume, Capture, Verify, Establish: Ingredients for Scalable Software Analysis.

Hessamaldin Mohammadi Wided Ghardallou Ali Mili

Published in: QRS Companion (2021)

Keyphrases

statistical analysis
computer systems
quantitative analysis
machine learning
web services
decision trees
database systems
multi agent
software development
software architecture