Verifying Determinism in Sequential Programs.

Rashmi Mudduluru Jason Waataja Suzanne Millstein Michael D. Ernst

Published in: ICSE (Companion Volume) (2021)

Keyphrases

free software
automatic programming
data sets
real world
model checking
e learning
decision trees
database systems
video sequences
artificial neural networks
hidden markov models
sequential data
control flow
control structures