Login / Signup

BLISS: Improved Symbolic Execution by Bounded Lazy Initialization with SAT Support.

Nicolás RosnerJaco GeldenhuysNazareno AguirreWillem VisserMarcelo F. Frias
Published in: IEEE Trans. Software Eng. (2015)
Keyphrases
  • symbolic execution
  • sat solvers
  • data sets
  • artificial intelligence
  • test cases
  • satisfiability problem
  • specification language
  • test data generation