BibTeX records: Gastón Scilingo

download as .bib file

@inproceedings{DBLP:conf/icse/PonzioBBSAF18,
  author    = {Pablo Ponzio and
               Valeria S. Bengolea and
               Sim{\'{o}}n Guti{\'{e}}rrez Brida and
               Gast{\'{o}}n Scilingo and
               Nazareno Aguirre and
               Marcelo F. Frias},
  editor    = {Juan Pablo Galeotti and
               Alessandra Gorla},
  title     = {On the effect of object redundancy elimination in randomly testing
               collection classes},
  booktitle = {Proceedings of the 11th International Workshop on Search-Based Software
               Testing, {ICSE} 2018, Gothenburg, Sweden, May 28-29, 2018},
  pages     = {67--70},
  publisher = {{ACM}},
  year      = {2018},
  url       = {https://doi.org/10.1145/3194718.3194724},
  doi       = {10.1145/3194718.3194724},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/icse/PonzioBBSAF18.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/clei/BridaS17,
  author    = {Sim{\'{o}}n Guti{\'{e}}rrez Brida and
               Gast{\'{o}}n Scilingo},
  editor    = {H{\'{e}}ctor Monteverde and
               Rodrigo Santos},
  title     = {Boolean expression extender - {A} mutation operator for strengthening
               and weakening boolean expressions},
  booktitle = {2017 {XLIII} Latin American Computer Conference, {CLEI} 2017, C{\'{o}}rdoba,
               Argentina, September 4-8, 2017},
  pages     = {1--10},
  publisher = {{IEEE}},
  year      = {2017},
  url       = {https://doi.org/10.1109/CLEI.2017.8226471},
  doi       = {10.1109/CLEI.2017.8226471},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/clei/BridaS17.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/clei/ScilingoNDA13,
  author    = {Gast{\'{o}}n Scilingo and
               Mar{\'{\i}}a Marta Novaira and
               Renzo Degiovanni and
               Nazareno Aguirre},
  title     = {Analyzing formal requirements specifications using an off-the-shelf
               model checker},
  booktitle = {2013 {XXXIX} Latin American Computing Conference (CLEI), Caracas (Naiguata),
               Venezuela, October 7-11, 2013},
  pages     = {1--9},
  publisher = {{IEEE}},
  year      = {2013},
  url       = {https://doi.org/10.1109/CLEI.2013.6670611},
  doi       = {10.1109/CLEI.2013.6670611},
  timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl    = {https://dblp.org/rec/conf/clei/ScilingoNDA13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/ScilingoND14,
  author    = {Gast{\'{o}}n Scilingo and
               Mar{\'{\i}}a Marta Novaira and
               Renzo Degiovanni},
  editor    = {Nazareno Aguirre and
               Leila Ribeiro},
  title     = {Analyzing Behavioural Scenarios over Tabular Specifications Using
               Model Checking},
  booktitle = {Proceedings First Latin American Workshop on Formal Methods, {LAFM}
               2013, Buenos Aires, Argentina, August 26th 2013},
  series    = {{EPTCS}},
  volume    = {139},
  pages     = {71--76},
  year      = {2013},
  url       = {https://doi.org/10.4204/EPTCS.139.8},
  doi       = {10.4204/EPTCS.139.8},
  timestamp = {Mon, 02 Dec 2019 18:16:29 +0100},
  biburl    = {https://dblp.org/rec/journals/corr/ScilingoND14.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigcse/BlancoLANPS09,
  author    = {Javier Blanco and
               Leticia Losano and
               Nazareno Aguirre and
               Mar{\'{\i}}a Marta Novaira and
               Sonia Permigiani and
               Gast{\'{o}}n Scilingo},
  title     = {An introductory course on programming based on formal specification
               and program calculation},
  journal   = {{ACM} {SIGCSE} Bull.},
  volume    = {41},
  number    = {2},
  pages     = {31--37},
  year      = {2009},
  url       = {https://doi.org/10.1145/1595453.1595459},
  doi       = {10.1145/1595453.1595459},
  timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/sigcse/BlancoLANPS09.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics