Theia: automatically generating correct program state visualizations.

Josh Pollock Jared Roesch Doug Woos Zachary Tatlock

Published in: SPLASH-E (2019)

Keyphrases

automatically generating
automatically generated
database
data mining
genetic algorithm
case study
multiscale
optimal solution
expert systems
state space
programming environment