BibTeX records: François Degrave

download as .bib file

@article{DBLP:journals/corr/abs-1009-3765,
  author    = {Peter Biener and
               Fran{\c{c}}ois Degrave and
               Wim Vanhoof},
  title     = {A Test Automation Framework for Mercury},
  journal   = {CoRR},
  volume    = {abs/1009.3765},
  year      = {2010},
  url       = {http://arxiv.org/abs/1009.3765},
  archivePrefix = {arXiv},
  eprint    = {1009.3765},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/corr/abs-1009-3765.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lopstr/DegraveSV09,
  author    = {Fran{\c{c}}ois Degrave and
               Tom Schrijvers and
               Wim Vanhoof},
  title     = {Towards a Framework for Constraint-Based Test Case Generation},
  booktitle = {Logic-Based Program Synthesis and Transformation, 19th International
               Symposium, {LOPSTR} 2009, Coimbra, Portugal, September 2009, Revised
               Selected Papers},
  pages     = {128--142},
  year      = {2009},
  crossref  = {DBLP:conf/lopstr/2009},
  url       = {https://doi.org/10.1007/978-3-642-12592-8\_10},
  doi       = {10.1007/978-3-642-12592-8\_10},
  timestamp = {Tue, 14 May 2019 10:00:41 +0200},
  biburl    = {https://dblp.org/rec/conf/lopstr/DegraveSV09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iclp/VanhoofD08,
  author    = {Wim Vanhoof and
               Fran{\c{c}}ois Degrave},
  title     = {An Algorithm for Sophisticated Code Matching in Logic Programs},
  booktitle = {Logic Programming, 24th International Conference, {ICLP} 2008, Udine,
               Italy, December 9-13 2008, Proceedings},
  pages     = {785--789},
  year      = {2008},
  crossref  = {DBLP:conf/iclp/2008},
  url       = {https://doi.org/10.1007/978-3-540-89982-2\_77},
  doi       = {10.1007/978-3-540-89982-2\_77},
  timestamp = {Tue, 14 May 2019 10:00:48 +0200},
  biburl    = {https://dblp.org/rec/conf/iclp/VanhoofD08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iclp/Degrave08,
  author    = {Fran{\c{c}}ois Degrave},
  title     = {Development of an Automatic Testing Environment for Mercury},
  booktitle = {Logic Programming, 24th International Conference, {ICLP} 2008, Udine,
               Italy, December 9-13 2008, Proceedings},
  pages     = {805--806},
  year      = {2008},
  crossref  = {DBLP:conf/iclp/2008},
  url       = {https://doi.org/10.1007/978-3-540-89982-2\_82},
  doi       = {10.1007/978-3-540-89982-2\_82},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/iclp/Degrave08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lopstr/DegraveSV08,
  author    = {Fran{\c{c}}ois Degrave and
               Tom Schrijvers and
               Wim Vanhoof},
  title     = {Automatic Generation of Test Inputs for Mercury},
  booktitle = {Logic-Based Program Synthesis and Transformation, 18th International
               Symposium, {LOPSTR} 2008, Valencia, Spain, July 17-18, 2008, Revised
               Selected Papers},
  pages     = {71--86},
  year      = {2008},
  crossref  = {DBLP:conf/lopstr/2008},
  url       = {https://doi.org/10.1007/978-3-642-00515-2\_6},
  doi       = {10.1007/978-3-642-00515-2\_6},
  timestamp = {Tue, 14 May 2019 10:00:41 +0200},
  biburl    = {https://dblp.org/rec/conf/lopstr/DegraveSV08.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lopstr/DegraveV07,
  author    = {Fran{\c{c}}ois Degrave and
               Wim Vanhoof},
  title     = {Towards a Normal Form for Mercury Programs},
  booktitle = {Logic-Based Program Synthesis and Transformation, 17th International
               Symposium, {LOPSTR} 2007, Kongens Lyngby, Denmark, August 23-24, 2007,
               Revised Selected Papers},
  pages     = {43--58},
  year      = {2007},
  crossref  = {DBLP:conf/lopstr/2007},
  url       = {https://doi.org/10.1007/978-3-540-78769-3\_4},
  doi       = {10.1007/978-3-540-78769-3\_4},
  timestamp = {Tue, 14 May 2019 10:00:41 +0200},
  biburl    = {https://dblp.org/rec/conf/lopstr/DegraveV07.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/lopstr/2009,
  editor    = {Danny De Schreye},
  title     = {Logic-Based Program Synthesis and Transformation, 19th International
               Symposium, {LOPSTR} 2009, Coimbra, Portugal, September 2009, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {6037},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-12592-8},
  doi       = {10.1007/978-3-642-12592-8},
  isbn      = {978-3-642-12591-1},
  timestamp = {Mon, 25 Jan 2021 06:21:04 +0100},
  biburl    = {https://dblp.org/rec/conf/lopstr/2009.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/iclp/2008,
  editor    = {Maria Garcia de la Banda and
               Enrico Pontelli},
  title     = {Logic Programming, 24th International Conference, {ICLP} 2008, Udine,
               Italy, December 9-13 2008, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5366},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-89982-2},
  doi       = {10.1007/978-3-540-89982-2},
  isbn      = {978-3-540-89981-5},
  timestamp = {Mon, 25 Jan 2021 06:21:04 +0100},
  biburl    = {https://dblp.org/rec/conf/iclp/2008.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/lopstr/2008,
  editor    = {Michael Hanus},
  title     = {Logic-Based Program Synthesis and Transformation, 18th International
               Symposium, {LOPSTR} 2008, Valencia, Spain, July 17-18, 2008, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {5438},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-00515-2},
  doi       = {10.1007/978-3-642-00515-2},
  isbn      = {978-3-642-00514-5},
  timestamp = {Mon, 25 Jan 2021 06:21:04 +0100},
  biburl    = {https://dblp.org/rec/conf/lopstr/2008.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/lopstr/2007,
  editor    = {Andy King},
  title     = {Logic-Based Program Synthesis and Transformation, 17th International
               Symposium, {LOPSTR} 2007, Kongens Lyngby, Denmark, August 23-24, 2007,
               Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {4915},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-78769-3},
  doi       = {10.1007/978-3-540-78769-3},
  isbn      = {978-3-540-78768-6},
  timestamp = {Mon, 25 Jan 2021 06:21:04 +0100},
  biburl    = {https://dblp.org/rec/conf/lopstr/2007.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.