T. Menzies, D. Owen, and J. Richardson, The Strangest Thing About Software, Computer, vol.40, issue.1, pp.54-60, 2007.
DOI : 10.1109/MC.2007.37
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.331.9046

K. Qian and A. Nymeyer, Abstraction-Based Model Checking Using Heuristical Refinement, Proc. the 2 nd Int. Symp. on Automated Technology for Verification and Analysis, pp.165-178, 2004.
DOI : 10.1007/978-3-540-30476-0_17

K. Qian, A. Nymeyer, and S. Susanto, Experiments with Multiple Abstraction Heuristics in Symbolic Verification, Proc. the 6 th Sym. on Abstraction, Reformulation and Approximation (SARA'05, pp.290-304, 2005.
DOI : 10.1007/11527862_22

S. Edelkamp, A. Lluch-lafuente, and S. Leue, Directed explicit model checking with HSF-SPIN, Proc. the 8 th Int. SPIN Workshop on Model Checking of Software (SPIN'01, pp.57-79, 2001.
DOI : 10.1007/3-540-45139-0_5

T. H. Bui and P. B. Dang, Yet another variable dependency analysis for abstraction guided model checking, Proc. SEATUC 2012, 2012.

E. M. Clarke, O. Grumberg, S. Jha, Y. Lu, and H. Veith, Counterexample-guided abstraction refinement, Proc. the 12 th Int. Conf. on Computer Aided Verification (CAV'00, pp.154-169, 2000.
DOI : 10.1109/time.2003.1214874

J. R. Burch, E. M. Clarke, K. L. Mcmillan, D. L. Dill, and L. J. Hwang, Symbolic model checking: 10/sup 20/ states and beyond, [1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science, pp.1-33, 1990.
DOI : 10.1109/LICS.1990.113767

E. M. Clarke, O. Grumberg, and D. E. Long, Model checking and abstraction, Proc. the 19 th ACM SIGPLAN-SIGACT Sym. on Principles of Programming Languages, pp.343-354, 1992.

F. He, X. Song, W. N. Hung, M. Gu, and J. Sun, Integrating Evolutionary Computation with Abstraction Refinement for Model Checking, IEEE Transactions on Computers, vol.59, issue.1, pp.116-126, 2010.
DOI : 10.1109/TC.2009.105

T. Ball, R. Majumdar, T. Millstein, and S. K. Rajamani, Automatic predicate abstraction of C programs, Proc. the ACM SIGPLAN 2001 Conf. on Programming Language Design and Implementation, pp.203-213, 2001.

T. A. Henzinger, R. Jhala, R. Majumdar, and G. Sutre, Lazy abstraction, Proc. the 29 th SIGPLAN-SIGACT Symp. on Principles of Programming Languages, pp.58-70, 2002.
DOI : 10.1145/565816.503279

D. Peled, Combining partial order reductions with on-the-fly model-checking, Proc. the 6 th Int. Conf. on Computer Aided Verification (CAV'94, pp.377-390, 1994.
DOI : 10.1007/3-540-58179-0_69
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.136.1002

N. Eén and N. Sörensson, Temporal induction by incremental SAT solving, Electronic Notes in Theoretical Computer Science, vol.89, 2004.

S. Brin and L. Page, The anatomy of a large-scale hypertextual Web search engine, Seventh International World-Wide Web Conference, 1998.
DOI : 10.1016/S0169-7552(98)00110-X

T. H. Bui and A. Nymeyer, Heuristic Sensitivity in Guided Random-Walk Based Model Checking, 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods, pp.125-134, 2009.
DOI : 10.1109/SEFM.2009.19