Login / Signup

CsmithEdge: more effective compiler testing by handling undefined behaviour less conservatively.

Karine Even-MendozaCristian CadarAlastair F. Donaldson
Published in: Empir. Softw. Eng. (2022)
Keyphrases
  • real time
  • high level
  • multi agent
  • digital libraries
  • real world
  • computer vision
  • multimedia
  • high quality
  • bayesian networks
  • expert systems
  • hidden markov models
  • test cases