Login / Signup

Benchmarking and Testing OSD for Correctness and Compliance.

Dalit NaorPetra ReshefOhad RodehAllon ShafrirAdam WolmanEitan Yaffe
Published in: Haifa Verification Conference (2005)
Keyphrases
  • real time
  • test cases
  • test data
  • genetic algorithm
  • social networks
  • metadata
  • case study
  • learning environment
  • search algorithm
  • test generation