Partial synthesis through sampling with and without specification.
Masahiro FujitaSatoshi JoShohei OnoTakeshi MatsumotoPublished in: ICCAD (2013)
Keyphrases
- random sampling
- sampling strategies
- program synthesis
- sampling algorithm
- hidden markov models
- monte carlo
- sampling strategy
- formal verification
- parameter space
- sparse sampling
- machine learning
- sampling methods
- specification language
- texture synthesis
- conceptual model
- model checking
- programming language
- high level
- information retrieval