Login / Signup

Injecting Floating-Point Testing Knowledge into Test Generators.

Merav AharoniEmanuel GofmanElena GuralnikAnatoly Koyfman
Published in: Haifa Verification Conference (2011)
Keyphrases
  • floating point
  • test cases
  • fixed point
  • knowledge base
  • test data
  • square root
  • test generation
  • image segmentation
  • sufficient conditions
  • test suite
  • instruction set