Login / Signup

Bandera: extracting finite-state models from Java source code.

James C. CorbettMatthew B. DwyerJohn HatcliffShawn LaubachCorina S. Pasareanu RobbyHongjun Zheng
Published in: ICSE (2000)
Keyphrases
  • finite state
  • markov chain
  • model checking
  • markov decision processes
  • finite state transducers
  • continuous time bayesian networks
  • probabilistic model
  • multi agent
  • state space
  • wavelet transform
  • optimal policy