@article(Apt99a,
 author       = "K.~Apt",
 year         = "1999",
 title        = "The Essence of Constraint Propagation",
 journal      = "Theoretical Computer Science",
 volume       = "221",
 number       = "1-2",
 pages        = "179--210",
 doi          = "10.1016/S0304-3975(99)00032-8",
)
@inproceedings(BRZ02,
 author       = "Roberto Bagnara and Elisa Ricci and Enea Zaffanella and Patricia~M. Hill",
 year         = "2002",
 title        = "Possibly Not Closed Convex Polyhedra and the Parma Polyhedra Library",
 editor       = "Springer",
 booktitle    = "SAS'02: In M.~V. Hermenegildo and G.~Puebla, editors, Proc. of the Static Analysis Symposium",
 series       = "LNCS",
 volume       = "2477",
 pages        = "213--229",
 doi          = "10.1007/3-540-45789-5\_17",
)
@article(BH11,
 author       = "S.~Bardin and P.~Herrmann",
 year         = "2011",
 title        = "OSMOSE: Automatic Structural Testing of Executables",
 journal      = "Software Testing, Verification and Reliability (STVR)",
 volume       = "21",
 number       = "1",
 pages        = "29--54",
 doi          = "10.1002/stvr.423",
)
@inproceedings(BCE08,
 author       = "Peter Boonstoppel and Cristian Cadar and Dawson Engler",
 year         = "2008",
 title        = "RWset: Attacking path explosion in constraint-based test generation",
 booktitle    = "Int. Conference on Tools and Algorithms for the Constructions and Analysis of Systems (TACAS'08)",
 pages        = "351--366",
 doi          = "10.1007/978-3-540-78800-3\_27",
)
@article(BGM06,
 author       = "B.~Botella and A.~Gotlieb and C.~Michel",
 year         = "2006",
 title        = "Symbolic execution of floating-point computations",
 journal      = "The Software Testing, Verification and Reliability journal",
 volume       = "16",
 number       = "2",
 pages        = "pp 97--121",
 doi          = "10.1002/stvr.333",
)
@article(Car96,
 author       = "Richard~H. Carver",
 year         = "1996",
 title        = "Testing abstract distributed programs and their implementations: A constraint-based approach",
 journal      = "Journal of Systems and Software",
 volume       = "33",
 number       = "3",
 pages        = "223--237",
 doi          = "10.1016/0164-1212(96)00024-6",
)
@article(CBG09,
 author       = "F.~Charreteur and B.~Botella and A.~Gotlieb",
 year         = "2009",
 title        = "Modelling dynamic memory management in Constraint-Based Testing",
 journal      = "The Journal of Systems and Software",
 volume       = "82",
 number       = "11",
 pages        = "1755--1766",
 note         = "Special Issue: TAIC-PART 2007 and MUTATION 2007",
 doi          = "10.1016/j.jss.2009.06.029",
)
@inproceedings(CG10,
 author       = "F.~Charreteur and A.~Gotlieb",
 year         = "2010",
 title        = "Constraint-Based Test Input Generation for Java Bytecode",
 booktitle    = "Proc. of the 21st IEEE Int. Symp. on Softw. Reliability Engineering (ISSRE'10)",
 address      = "San Jose, CA, USA",
 doi          = "10.1109/ISSRE.2010.26",
)
@inproceedings(CHL06,
 author       = "Chiu~Wo Choi and Warwick Harvey and J.~H.~M. Lee and Peter~J. Stuckey",
 year         = "2006",
 title        = "Finite Domain Bounds Consistency Revisited",
 booktitle    = "Australian Conference on Artificial Intelligence",
 pages        = "49--58",
 doi          = "10.1007/11941439\_9",
)
@inproceedings(CC77,
 author       = "P.~Cousot and R.~Cousot",
 year         = "1977",
 title        = "Abstract Interpretation : A unified lattice model for static analysis of programs by construction or approximation of fixpoints",
 booktitle    = "Proceedings of Symp. on Principles of Programming Languages",
 publisher    = "ACM",
 pages        = "238--252",
 doi          = "10.1145/512950.512973",
)
@inproceedings(CH78,
 author       = "P.~Cousot and N.~Halbwachs",
 year         = "1978",
 title        = "Automatic Discovery of Linear Restraints Among Variables of a Program.",
 booktitle    = "Proceedings of Symp. on Principles of Programming Languages",
 publisher    = "ACM",
 pages        = "84--96",
 doi          = "10.1145/512760.512770",
)
@inproceedings(CC76,
 author       = "Patrick Cousot and Radhia Cousot",
 year         = "1976",
 title        = "Static Determination of dynamic properties of programs",
 booktitle    = "Proc. of the 2nd International Symp. on Programming",
 publisher    = "Dunod",
 pages        = "106--130",
)
@article(DP01,
 author       = "Giorgio Delzanno and Andreas Podelski",
 year         = "2001",
 title        = "Constraint-based deductive model checking",
 journal      = "International Journal on Software Tools for Technology Transfer (STTT)",
 volume       = "3",
 number       = "3",
 pages        = "250--270",
 doi          = "10.1007/s100090100049",
)
@inproceedings(DGD07a,
 author       = "T.~Denmat and A.~Gotlieb and M.~Ducasse",
 year         = "2007",
 title        = "An Abstract Interpretation Based Combinator for Modeling While Loops in Constraint Programming",
 booktitle    = "Proceedings of Principles and Practices of Constraint Programming (CP'07)",
 series       = "Springer Verlag, LNCS 4741",
 address      = "Providence, USA",
 pages        = "241--255",
 doi          = "10.1007/978-3-540-74970-7\_19",
)
@inproceedings(DGD07b,
 author       = "T.~Denmat and A.~Gotlieb and M.~Ducasse",
 year         = "2007",
 title        = "Improving Constraint-Based Testing with Dynamic Linear Relaxations",
 booktitle    = "18th IEEE International Symposium on Software Reliability Engineering (ISSRE' 2007)",
 address      = "Trollhättan, Sweden",
 doi          = "10.1109/ISSRE.2007.12",
)
@article(Fla04,
 author       = "Cormac Flanagan",
 year         = "2004",
 title        = "Automatic software model checking via constraint logic.",
 journal      = "Sci. Comput. Program.",
 volume       = "50",
 number       = "1-3",
 pages        = "253--270",
 url          = "http://dx.doi.org/10.1016/j.scico.2004.01.006",
)
@inproceedings(FW07,
 author       = "Gordon Fraser and Franz Wotawa",
 year         = "2007",
 title        = "Test-Case Generation and Coverage Analysis for Nondeterministic Systems Using Model-Checkers",
 booktitle    = "ICSEA",
 pages        = "45",
 doi          = "10.1109/ICSEA.2007.71",
)
@inproceedings(GKS05,
 author       = "P.~Godefroid and N.~Klarlund and K.~Sen",
 year         = "2005",
 title        = "DART: directed automated random testing",
 booktitle    = "Proc. of PLDI'05",
 pages        = "213--223",
 doi          = "10.1145/1064978.1065036",
)
@inproceedings(Got09,
 author       = "A.~Gotlieb",
 year         = "2009",
 title        = "EUCLIDE: A Constraint-Based Testing platform for critical C programs",
 booktitle    = "2th IEEE International Conference on Software Testing, Validation and Verification (ICST'09)",
 address      = "Denver, CO",
 doi          = "10.1109/ICST.2009.10",
)
@article(Got12,
 author       = "A.~Gotlieb",
 year         = "2012",
 title        = "TCAS software verification using Constraint Programming",
 journal      = "The Knowledge Engineering Review",
 volume       = "27",
 number       = "3",
 pages        = "343--360",
 doi          = "10.1017/S0269888912000252",
)
@inproceedings(GBR98,
 author       = "A.~Gotlieb and B.~Botella and M.~Rueher",
 year         = "1998",
 title        = "Automatic Test Data Generation Using Constraint Solving Techniques",
 booktitle    = "Proc. of Int. Symp. on Soft. Testing and Analysis (ISSTA'98)",
 pages        = "53--62",
 doi          = "10.1145/271771.271790",
)
@inproceedings(GBR00,
 author       = "A.~Gotlieb and B.~Botella and M.~Rueher",
 year         = "2000",
 title        = "A CLP Framework for Computing Structural Test Data",
 booktitle    = "Proceedings of Computational Logic (CL'2000)",
 series       = "LNAI 1891",
 address      = "London, UK",
 pages        = "399--413",
 doi          = "10.1007/3-540-44957-4\_27",
)
@inproceedings(GDB05b,
 author       = "A.~Gotlieb and T.~Denmat and B.~Botella",
 year         = "2005",
 title        = "Constraint-based test data generation in the presence of stack-directed pointers",
 booktitle    = "20th IEEE/ACM International Conference on Automated Software Engineering (ASE'05)",
 address      = "Long Beach, CA, USA",
 note         = "4 pages",
 doi          = "10.1145/1101908.1101958",
)
@article(GDB07,
 author       = "A.~Gotlieb and T.~Denmat and B.~Botella",
 year         = "2007",
 title        = "Goal-oriented test data generation for pointer programs",
 journal      = "Information and Soft. Technol.",
 volume       = "49",
 number       = "9-10",
 pages        = "1030--1044",
 doi          = "10.1016/j.infsof.2006.10.016",
)
@inproceedings(HJM03,
 author       = "T.~Henzinger and R.~Jhala and R.~Majumdar and G.~Sutre",
 year         = "2003",
 title        = "Software verification with Blast",
 booktitle    = "Proc. of 10th Workshop on Model Checking of Software (SPIN)",
 pages        = "235--239",
 doi          = "10.1007/3-540-44829-2\_17",
)
@book(MS98,
 author       = "K.~Marriott and P.J. Stuckey",
 year         = "1998",
 title        = "{P}rogramming with {C}onstraints~: {A}n {I}ntroduction",
 publisher    = "The MIT Press",
)
@book(Moo66,
 author       = "R.A. Moore",
 year         = "1966",
 title        = "Interval Analysis",
 publisher    = "Prentice Hall",
 address      = "New Jersey",
)
@article(WZ91,
 author       = "M.N. Wegman and F.K. Zadeck",
 year         = "1991",
 title        = "{C}onstant {P}ropagation with {C}onditional {B}ranches",
 journal      = "ACM Transactions on Programming Language and Systems",
 volume       = "13",
 number       = "2",
 pages        = "181--210",
 doi          = "10.1145/103135.103136",
)
@inproceedings(WMM05,
 author       = "N.~Williams and B.~Marre and P.~Mouy and M.~Roger",
 year         = "2005",
 title        = "PathCrawler: Automatic Generation of Path Tests by Combining Static and Dynamic Analysis",
 booktitle    = "Proc. Dependable Computing - EDCC'05",
 doi          = "10.1007/11408901\_21",
)