Sign in

Combining test case generation and runtime verification.

Cyrille ArthoHoward BarringerAllen GoldbergKlaus HavelundSarfraz KhurshidMichael R. LowryCorina S. PasareanuGrigore RosuKoushik SenWillem VisserRichard Washington
Published in: Theor. Comput. Sci. (2005)
Keyphrases
  • test case generation
  • test cases
  • software testing
  • object oriented systems
  • test data generation
  • test suite
  • test generation
  • model checking
  • database
  • search algorithm
  • multi agent systems