Search dblp for Publications

• > Home > Search

@proceedings{DBLP:conf/fm/2015use,
  editor       = {Christophe Gaston and
                  Pascale Le Gall and
                  Alexander K. Petrenko},
  title        = {1st Workshop on Uses of Symbolic Execution, USE@FM 2015, Oslo, Norway,
                  June 23-25, 2015},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {320},
  publisher    = {Elsevier},
  year         = {2016},
  url          = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/320/suppl/C},
  timestamp    = {Thu, 10 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fm/2015use.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/AichernigT16,
  author       = {Bernhard K. Aichernig and
                  Martin Tappler},
  editor       = {Christophe Gaston and
                  Pascale Le Gall and
                  Alexander K. Petrenko},
  title        = {Symbolic Input-Output Conformance Checking for Model-Based Mutation
                  Testing},
  booktitle    = {1st Workshop on Uses of Symbolic Execution, USE@FM 2015, Oslo, Norway,
                  June 23-25, 2015},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {320},
  pages        = {3--19},
  publisher    = {Elsevier},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.entcs.2016.01.002},
  doi          = {10.1016/J.ENTCS.2016.01.002},
  timestamp    = {Thu, 10 Nov 2022 11:51:38 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/AichernigT16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/ArnaudBL16,
  author       = {Mathilde Arnaud and
                  Boutheina Bannour and
                  Arnault Lapitre},
  editor       = {Christophe Gaston and
                  Pascale Le Gall and
                  Alexander K. Petrenko},
  title        = {An Illustrative Use Case of the {DIVERSITY} Platform based on {UML}
                  Interaction Scenarios},
  booktitle    = {1st Workshop on Uses of Symbolic Execution, USE@FM 2015, Oslo, Norway,
                  June 23-25, 2015},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {320},
  pages        = {21--34},
  publisher    = {Elsevier},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.entcs.2016.01.003},
  doi          = {10.1016/J.ENTCS.2016.01.003},
  timestamp    = {Thu, 10 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/ArnaudBL16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/GastonGP16,
  author       = {Christophe Gaston and
                  Pascale Le Gall and
                  Alexander K. Petrenko},
  editor       = {Christophe Gaston and
                  Pascale Le Gall and
                  Alexander K. Petrenko},
  title        = {Preface},
  booktitle    = {1st Workshop on Uses of Symbolic Execution, USE@FM 2015, Oslo, Norway,
                  June 23-25, 2015},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {320},
  pages        = {1--2},
  publisher    = {Elsevier},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.entcs.2016.01.001},
  doi          = {10.1016/J.ENTCS.2016.01.001},
  timestamp    = {Thu, 10 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/GastonGP16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/Nguena-TimoL16,
  author       = {Omer Nguena{-}Timo and
                  Guillaume Langelier},
  editor       = {Christophe Gaston and
                  Pascale Le Gall and
                  Alexander K. Petrenko},
  title        = {Test Data Generation for Cyclic Executives with {CBMC} and Frama-C:
                  {A} Case Study},
  booktitle    = {1st Workshop on Uses of Symbolic Execution, USE@FM 2015, Oslo, Norway,
                  June 23-25, 2015},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {320},
  pages        = {35--51},
  publisher    = {Elsevier},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.entcs.2016.01.004},
  doi          = {10.1016/J.ENTCS.2016.01.004},
  timestamp    = {Thu, 10 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/Nguena-TimoL16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/entcs/WengUP16,
  author       = {Min{-}Hsien Weng and
                  Mark Utting and
                  Bernhard Pfahringer},
  editor       = {Christophe Gaston and
                  Pascale Le Gall and
                  Alexander K. Petrenko},
  title        = {Bound Analysis for Whiley Programs},
  booktitle    = {1st Workshop on Uses of Symbolic Execution, USE@FM 2015, Oslo, Norway,
                  June 23-25, 2015},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {320},
  pages        = {53--67},
  publisher    = {Elsevier},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.entcs.2016.01.005},
  doi          = {10.1016/J.ENTCS.2016.01.005},
  timestamp    = {Thu, 10 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/WengUP16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}