Symbolic path cost analysis for side-channel detection.

Tegan Brennan Seemanta Saha Tevfik Bultan Corina S. Pasareanu

Published in: ISSTA (2018)

Keyphrases

data analysis
information systems
automatic detection
cost sensitive
quantitative analysis
automatic analysis
real world
machine learning
object detection
medical images
visual analysis
automated analysis
cost reduction