Login / Signup

An Efficient Black-Box Support of Advanced Coverage Criteria for Klee.

Nicolas BerthierSteven de OliveiraNikolai KosmatovDelphine LonguetRomain Soulat
Published in: CoRR (2022)
Keyphrases
  • black box
  • white box testing
  • black boxes
  • simplex method
  • white box
  • hybrid systems
  • integration testing
  • least squares
  • linear programming
  • test cases