Login / Signup

FuSeBMC_IA: Interval Analysis and Methods for Test Case Generation - (Competition Contribution).

Mohannad AldughaimKaled M. AlshmranyMikhail R. GadelhaRosiane de FreitasLucas C. Cordeiro
Published in: FASE (2023)
Keyphrases
  • computer vision
  • interval analysis
  • test case generation
  • software engineering
  • linear programming
  • pose estimation
  • constraint propagation
  • object oriented systems