Login / Signup

A New Algorithm for Reachability Testing of Concurrent Programs.

Yu LeiRichard H. Carver
Published in: ISSRE (2005)
Keyphrases
  • learning algorithm
  • concurrent programs
  • optimal solution
  • dynamic programming
  • case study
  • information systems