Login / Signup

LLSPLAT: Improving Concolic Testing by Bounded Model Checking.

Min GaoLei HeRupak MajumdarZilong Wang
Published in: SCAM (2016)
Keyphrases
  • bounded model checking
  • formal verification
  • model checking
  • linear temporal logic
  • case study
  • test cases
  • temporal logic
  • model checker
  • knowledge base
  • domain specific