Login / Signup

Symbolic Model Checking of Product-Line Requirements Using SAT-Based Methods.

Shoham Ben-DavidBaruch SterinJoanne M. AtleeSandy Beidu
Published in: ICSE (1) (2015)
Keyphrases
  • data mining techniques
  • association rules
  • product line
  • heuristic search
  • search methods
  • symbolic model checking