Login / Signup

Reachability Graph-Based Test Sequence Generation for Concurrent Programs.

W. Eric WongYu Lei
Published in: Int. J. Softw. Eng. Knowl. Eng. (2008)
Keyphrases
  • concurrent programs
  • state space
  • reverse engineering
  • data model
  • concurrent processes