Login / Signup
Specification based test sequence generation with propositional logic.
Guido Wimmel
Heiko Lötzbeyer
Alexander Pretschner
Oscar Slotosch
Published in:
Softw. Test. Verification Reliab. (2000)
Keyphrases
</>
propositional logic
belief revision
first order logic
lattice theory
quantified boolean formulae
propositional satisfiability
solving hard
davis putnam
satisfiability testing
artificial intelligence
proof procedure