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

Violat: Generating Tests of Observational Refinement for Concurrent Objects.

Michael EmmiConstantin Enea
Published in: CAV (2) (2019)
Keyphrases
  • d objects
  • databases
  • object classes
  • computer vision
  • multiscale
  • multiple objects
  • real time
  • web pages
  • data model
  • test cases
  • similar objects
  • real world objects
  • refinement process