Property probes: Live exploration of program analysis results.

Anton Risberg Alaküla Görel Hedin Niklas Fors Adrian Pop

Published in: J. Syst. Softw. (2024)

Keyphrases

real time
search strategies
active exploration
data sets
databases
real world
machine learning
knowledge base
image processing
support vector
multi agent systems
artificial neural networks
visual exploration
exploration strategy