Sign in

Systematically Deriving Partial Oracles for Testing Concurrent Programs.

Chris HunterPaul A. Strooper
Published in: ACSC (2001)
Keyphrases
  • concurrent programs
  • concurrent programming
  • process algebra
  • test cases
  • web applications
  • concurrent processes
  • real time
  • machine learning
  • case study
  • knowledge base
  • programming language
  • formal specification