Static Analysis and Stochastic Search for Reachability Problem.

Xinwei Chai Tony Ribeiro Morgan Magnin Olivier F. Roux Katsumi Inoue

Published in: SASB (2020)

Keyphrases

stochastic search
static analysis
dynamic analysis
simulated annealing
consistency checking
state space
source code
search methods
variable selection
regular expressions
temporal reasoning
tree search
test suite
open source
decision trees
qualitative and quantitative
xml documents
search algorithm