Statically Verifying Continuous Integration Configurations.

Mark Santolucito Jialu Zhang Ennan Zhai Ruzica Piskac

Published in: CoRR (2018)

Keyphrases

data integration
model checking
data fusion
temporal logic
data sets
machine learning
metadata
decision trees
three dimensional
dynamic programming
medical images
data management