B. P. Miller, L. Fredriksen, . So, and . Bryan, An empirical study of the reliability of UNIX utilities, Communications of the ACM, vol.33, issue.12, pp.32-44, 1990.
DOI : 10.1145/96267.96279

D. Bird and C. Munoz, Automatic generation of random self-checking test cases, IBM Systems Journal, vol.22, issue.3, pp.229-245, 1983.
DOI : 10.1147/sj.223.0229

J. Offut and J. Hayes, A Semantic Model of Program Faults, Proceedings of International Symposium on Software Testing and Analysis (ISSTA'96), pp.195-200, 1996.

J. E. Forrester and B. P. Miller, An Empirical Study of the Robustness of Windows NT Applications Using Random Testing, Proceedings of the 4th USENIX Windows System Symposium, 2000.

C. Csallner and Y. Smaragdakis, JCrasher: An Automatic Robustness Tester for Java. Software: Practice and Experience, pp.1025-1050, 2004.
DOI : 10.1002/spe.602
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.135.5357

C. Pacheco and M. D. Ernst, Eclat: Automatic Generation and Classification of Test Inputs, Proceedings of 19th European Conference Object-Oriented Programing, 2005.
DOI : 10.1007/11531142_22
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.115.5693

J. C. King, Symbolic execution and program testing, Communications of the ACM, vol.19, issue.7, pp.385-394, 1976.
DOI : 10.1145/360248.360252

L. Clarke, A System to Generate Test Data and Symbolically Execute Programs, IEEE Transactions on Software Engineering, vol.2, issue.3, pp.215-222, 1976.
DOI : 10.1109/TSE.1976.233817

S. Visvanathan and N. Gupta, Generating test data for functions with pointer inputs, Proceedings 17th IEEE International Conference on Automated Software Engineering,, 2002.
DOI : 10.1109/ASE.2002.1115007
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.118.1172

W. Visser, C. S. Pasareanu, and S. Khurshid, Test Input Generation with Java PathFinder, Proceedings of 2004 ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA'04), pp.97-107, 2004.
DOI : 10.1145/1013886.1007526
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.58.4263

D. Beyer, A. J. Chlipala, T. A. Henzinger, R. Jhala, and R. Majumdar, Generating tests from counterexamples, Proceedings. 26th International Conference on Software Engineering, pp.326-335, 2004.
DOI : 10.1109/ICSE.2004.1317455
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.5.7971

T. Xie, D. Marinov, W. Schulte, and D. Notkin, Symstra: A Framework for Generating Object-Oriented Unit Tests Using Symbolic Execution, Proceedings of the 11th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'05, 2005.
DOI : 10.1007/978-3-540-31980-1_24
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.365.1140

R. Majumdar and R. Xu, Directed test generation using symbolic grammars, Foundations of Software Engineering, pp.553-556, 2007.
DOI : 10.1145/1321631.1321653
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.133.4430

P. Godefroid, A. Kiezun, and M. Levin, Grammar-based Whitebox Fuzzing, Proceedings of the ACM SIGPLAN 2002 Conference on Programming Language Design and Implementation (PLDI'08, 2008.
DOI : 10.1145/1375581.1375607
URL : http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.165.770&rep=rep1&type=pdf

R. Majumdar and K. Sen, Hybrid Concolic Testing, 29th International Conference on Software Engineering (ICSE'07), pp.416-426, 2007.
DOI : 10.1109/ICSE.2007.41