1. Lecture Notes in Computer Science;T Ball,2010
2. Beyer, D., Henzinger, T.A., Keremoglu, M.E., Wendler, P.: Conditional model checking. CoRR, abs/1109.6926 (2011)
3. Beyer, D., Henzinger, T.A., Keremoglu, M.E., Wendler, P.: Conditional model checking: a technique to pass information between verifiers. In: FSE, pp. 57–67. ACM (2012)
4. Lecture Notes in Computer Science;A Biere,1999
5. Christakis, M.: Narrowing the gap between verification and systematic testing. Ph.D. thesis, ETH Zurich (2015)