Login / Signup

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

Nicolas BerthierSteven de OliveiraNikolai KosmatovDelphine LonguetRomain Soulat
Published in: SAC (2023)
Keyphrases
  • black box
  • white box testing
  • black boxes
  • simplex method
  • white box
  • test cases
  • hybrid systems
  • databases
  • integration testing