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},
  editor    = {Danny De Schreye},
  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},
  series    = {Lecture Notes in Computer Science},
  volume    = {6037},
  pages     = {128--142},
  publisher = {Springer},
  year      = {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},
  editor    = {Maria Garcia de la Banda and
               Enrico Pontelli},
  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},
  series    = {Lecture Notes in Computer Science},
  volume    = {5366},
  pages     = {785--789},
  publisher = {Springer},
  year      = {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},
  editor    = {Maria Garcia de la Banda and
               Enrico Pontelli},
  title     = {Development of an Automatic Testing Environment for Mercury},
  booktitle = {Logic Programming, 24th International Conference, {ICLP} 2008, Udine,
               Italy, December 9-13 2008, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5366},
  pages     = {805--806},
  publisher = {Springer},
  year      = {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},
  editor    = {Michael Hanus},
  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},
  series    = {Lecture Notes in Computer Science},
  volume    = {5438},
  pages     = {71--86},
  publisher = {Springer},
  year      = {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},
  editor    = {Andy King},
  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},
  series    = {Lecture Notes in Computer Science},
  volume    = {4915},
  pages     = {43--58},
  publisher = {Springer},
  year      = {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}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics