BibTeX records: François Degrave

• > Home > François Degrave

@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}
}

@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 = {{LOPSTR}},
  series    = {Lecture Notes in Computer Science},
  volume    = {6037},
  pages     = {128--142},
  publisher = {Springer},
  year      = {2009}
}

@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 = {{ICLP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {5366},
  pages     = {785--789},
  publisher = {Springer},
  year      = {2008}
}

@inproceedings{DBLP:conf/iclp/Degrave08,
  author    = {Fran{\c{c}}ois Degrave},
  title     = {Development of an Automatic Testing Environment for Mercury},
  booktitle = {{ICLP}},
  series    = {Lecture Notes in Computer Science},
  volume    = {5366},
  pages     = {805--806},
  publisher = {Springer},
  year      = {2008}
}

@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 = {{LOPSTR}},
  series    = {Lecture Notes in Computer Science},
  volume    = {5438},
  pages     = {71--86},
  publisher = {Springer},
  year      = {2008}
}

@inproceedings{DBLP:conf/lopstr/DegraveV07,
  author    = {Fran{\c{c}}ois Degrave and
               Wim Vanhoof},
  title     = {Towards a Normal Form for Mercury Programs},
  booktitle = {{LOPSTR}},
  series    = {Lecture Notes in Computer Science},
  volume    = {4915},
  pages     = {43--58},
  publisher = {Springer},
  year      = {2007}
}