• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Automatic Test Generation from Interprocedural Specifications.

Camille ConstantBertrand JeannetThierry Jéron
Published in: TestCom/FATES (2007)
Keyphrases