Template-Based Monte-Carlo Test Generation for Simulink Models.
Takashi TomitaDaisuke IshiiToru MurakamiShigeki TakeuchiToshiaki AokiPublished in: CyPhy (2017)
Keyphrases
- monte carlo
- monte carlo simulation
- test generation
- markov chain
- point processes
- adaptive sampling
- matrix inversion
- importance sampling
- particle filter
- stochastic approximation
- monte carlo tree search
- complex systems
- probabilistic model
- monte carlo methods
- test cases
- temporal difference
- query language
- high level
- artificial intelligence