BibTeX records: Cristiano Bertolini

download as .bib file

@article{DBLP:journals/ac/ArltBPS12,
  author       = {Stephan Arlt and
                  Cristiano Bertolini and
                  Simon Pahl and
                  Martin Sch{\"{a}}f},
  title        = {Trends in Model-based {GUI} Testing},
  journal      = {Adv. Comput.},
  volume       = {86},
  pages        = {183--222},
  year         = {2012},
  url          = {https://doi.org/10.1016/B978-0-12-396535-6.00006-5},
  doi          = {10.1016/B978-0-12-396535-6.00006-5},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ac/ArltBPS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fhies/BertoliniLS12,
  author       = {Cristiano Bertolini and
                  Zhiming Liu and
                  Jir{\'{\i}} Srba},
  editor       = {Jens H. Weber and
                  Isabelle Perseil},
  title        = {Verification of Timed Healthcare Workflows Using Component Timed-Arc
                  Petri Nets},
  booktitle    = {Foundations of Health Information Engineering and Systems - Second
                  International Symposium, {FHIES} 2012, Paris, France, August 27-28,
                  2012. Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7789},
  pages        = {19--36},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-39088-3\_2},
  doi          = {10.1007/978-3-642-39088-3\_2},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fhies/BertoliniLS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issre/ArltPBSBM12,
  author       = {Stephan Arlt and
                  Andreas Podelski and
                  Cristiano Bertolini and
                  Martin Sch{\"{a}}f and
                  Ishan Banerjee and
                  Atif M. Memon},
  title        = {Lightweight Static Analysis for {GUI} Testing},
  booktitle    = {23rd {IEEE} International Symposium on Software Reliability Engineering,
                  {ISSRE} 2012, Dallas, TX, USA, November 27-30, 2012},
  pages        = {301--310},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/ISSRE.2012.25},
  doi          = {10.1109/ISSRE.2012.25},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/issre/ArltPBSBM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sysose/ColemanMLPHAPFMBD12,
  author       = {Joey W. Coleman and
                  Anders Kaels Malmos and
                  Peter Gorm Larsen and
                  Jan Peleska and
                  Ralph Hains and
                  Zoe Andrews and
                  Richard John Payne and
                  Simon Foster and
                  Alvaro Miyazawa and
                  Cristiano Bertolini and
                  Andr{\'{e}} Didier},
  title        = {{COMPASS} tool vision for a system of systems Collaborative Development
                  Environment},
  booktitle    = {7th International Conference on System of Systems Engineering, SoSE
                  2012, Genova, Italy, July 16-19, 2012},
  pages        = {451--456},
  publisher    = {{IEEE}},
  year         = {2012},
  url          = {https://doi.org/10.1109/SYSoSE.2012.6384150},
  doi          = {10.1109/SYSOSE.2012.6384150},
  timestamp    = {Wed, 16 Oct 2019 14:14:51 +0200},
  biburl       = {https://dblp.org/rec/conf/sysose/ColemanMLPHAPFMBD12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/vstte/BertoliniSS12,
  author       = {Cristiano Bertolini and
                  Martin Sch{\"{a}}f and
                  Pascal Schweitzer},
  editor       = {Rajeev Joshi and
                  Peter M{\"{u}}ller and
                  Andreas Podelski},
  title        = {Infeasible Code Detection},
  booktitle    = {Verified Software: Theories, Tools, Experiments - 4th International
                  Conference, {VSTTE} 2012, Philadelphia, PA, USA, January 28-29, 2012.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7152},
  pages        = {310--325},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-27705-4\_24},
  doi          = {10.1007/978-3-642-27705-4\_24},
  timestamp    = {Tue, 14 May 2019 10:00:49 +0200},
  biburl       = {https://dblp.org/rec/conf/vstte/BertoliniSS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-1205-4928,
  author       = {Stephan Arlt and
                  Ishan Banerjee and
                  Cristiano Bertolini and
                  Atif M. Memon and
                  Martin Sch{\"{a}}f},
  title        = {Grey-box {GUI} Testing: Efficient Generation of Event Sequences},
  journal      = {CoRR},
  volume       = {abs/1205.4928},
  year         = {2012},
  url          = {http://arxiv.org/abs/1205.4928},
  eprinttype    = {arXiv},
  eprint       = {1205.4928},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1205-4928.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/fhies/BertoliniSS11,
  author       = {Cristiano Bertolini and
                  Martin Sch{\"{a}}f and
                  Volker Stolz},
  editor       = {Zhiming Liu and
                  Alan Wassyng},
  title        = {Towards a Formal Integrated Model of Collaborative Healthcare Workflows},
  booktitle    = {Foundations of Health Informatics Engineering and Systems - First
                  International Symposium, {FHIES} 2011, Johannesburg, South Africa,
                  August 29-30, 2011. Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7151},
  pages        = {57--74},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-32355-3\_4},
  doi          = {10.1007/978-3-642-32355-3\_4},
  timestamp    = {Tue, 14 May 2019 10:00:46 +0200},
  biburl       = {https://dblp.org/rec/conf/fhies/BertoliniSS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icst/ArltBS11,
  author       = {Stephan Arlt and
                  Cristiano Bertolini and
                  Martin Sch{\"{a}}f},
  title        = {Behind the Scenes: An Approach to Incorporate Context in {GUI} Test
                  Case Generation},
  booktitle    = {Fourth {IEEE} International Conference on Software Testing, Verification
                  and Validation, {ICST} 2012, Berlin, Germany, 21-25 March, 2011, Workshop
                  Proceedings},
  pages        = {222--231},
  publisher    = {{IEEE} Computer Society},
  year         = {2011},
  url          = {https://doi.org/10.1109/ICSTW.2011.70},
  doi          = {10.1109/ICSTW.2011.70},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icst/ArltBS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@phdthesis{DBLP:phd/ndltd/Bertolini10,
  author       = {Cristiano Bertolini},
  title        = {Evaluation of {GUI} testing techniques for system crashing: from real
                  to model-based controlled experiments},
  school       = {Federal University of Pernambuco, Recife, Brazil},
  year         = {2010},
  url          = {http://repositorio.ufpe.br/handle/123456789/2076},
  timestamp    = {Sat, 12 Aug 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/ndltd/Bertolini10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icst/BertoliniMAF10,
  author       = {Cristiano Bertolini and
                  Alexandre Mota and
                  Eduardo Aranha and
                  Cristiano Ferraz},
  title        = {{GUI} Testing Techniques Evaluation by Designed Experiments},
  booktitle    = {Third International Conference on Software Testing, Verification and
                  Validation, {ICST} 2010, Paris, France, April 7-9, 2010},
  pages        = {235--244},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/ICST.2010.41},
  doi          = {10.1109/ICST.2010.41},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/BertoliniMAF10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icst/BertoliniM10,
  author       = {Cristiano Bertolini and
                  Alexandre Mota},
  title        = {A Framework for {GUI} Testing Based on Use Case Design},
  booktitle    = {Third International Conference on Software Testing, Verification and
                  Validation, {ICST} 2010, Paris, France, April 7-9, 2010, Workshops
                  Proceedings},
  pages        = {252--259},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/ICSTW.2010.37},
  doi          = {10.1109/ICSTW.2010.37},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/BertoliniM10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/issre/BertoliniMA10,
  author       = {Cristiano Bertolini and
                  Alexandre Mota and
                  Eduardo Aranha},
  title        = {Calibrating Probabilistic {GUI} Testing Models Based on Experiments
                  and Survival Analysis},
  booktitle    = {{IEEE} 21st International Symposium on Software Reliability Engineering,
                  {ISSRE} 2010, San Jose, CA, USA, 1-4 November 2010},
  pages        = {319--328},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/ISSRE.2010.35},
  doi          = {10.1109/ISSRE.2010.35},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/BertoliniMA10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/icst/BertoliniPdM09,
  author       = {Cristiano Bertolini and
                  Glaucia Peres and
                  Marcelo d'Amorim and
                  Alexandre Mota},
  title        = {An Empirical Evaluation of Automated Black Box Testing Techniques
                  for Crashing GUIs},
  booktitle    = {Second International Conference on Software Testing Verification and
                  Validation, {ICST} 2009, Denver, Colorado, USA, April 1-4, 2009},
  pages        = {21--30},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/ICST.2009.27},
  doi          = {10.1109/ICST.2009.27},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/BertoliniPdM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sefm/BertoliniM09,
  author       = {Cristiano Bertolini and
                  Alexandre Mota},
  editor       = {Dang Van Hung and
                  Padmanabhan Krishnan},
  title        = {Using Probabilistic Model Checking to Evaluate {GUI} Testing Techniques},
  booktitle    = {Seventh {IEEE} International Conference on Software Engineering and
                  Formal Methods, {SEFM} 2009, Hanoi, Vietnam, 23-27 November 2009},
  pages        = {115--124},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/SEFM.2009.28},
  doi          = {10.1109/SEFM.2009.28},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sefm/BertoliniM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/cibse/BertoliniM08,
  author       = {Cristiano Bertolini and
                  Alexandre Mota},
  editor       = {Maria Lencastre and
                  Jo{\~{a}}o Falc{\~{a}}o e Cunha and
                  Antonio Valecillo},
  title        = {Using Refinement Checking as System Testing},
  booktitle    = {Memorias de la {XI} Conferencia Iberoamericana de Software Engineering
                  (CIbSE 2008), Recife, Pernambuco, Brasil, February 13-17, 2008},
  pages        = {17--30},
  year         = {2008},
  timestamp    = {Mon, 26 Sep 2022 12:22:10 +0200},
  biburl       = {https://dblp.org/rec/conf/cibse/BertoliniM08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/mascots/BertoliniBFSZ04,
  author       = {Cristiano Bertolini and
                  Leonardo Brenner and
                  Paulo Fernandes and
                  Afonso Sales and
                  Avelino F. Zorzo},
  editor       = {Doug DeGroot and
                  Peter G. Harrison and
                  Harry A. G. Wijshoff and
                  Zary Segall},
  title        = {Structured Stochastic Modeling of Fault-Tolerant Systems},
  booktitle    = {12th International Workshop on Modeling, Analysis, and Simulation
                  of Computer and Telecommunication Systems {(MASCOTS} 2004), 4-8 October
                  2004, Vollendam, The Netherlands},
  pages        = {139--146},
  publisher    = {{IEEE} Computer Society},
  year         = {2004},
  url          = {https://doi.org/10.1109/MASCOT.2004.1348191},
  doi          = {10.1109/MASCOT.2004.1348191},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mascots/BertoliniBFSZ04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sefm/BertoliniFFO04,
  author       = {Cristiano Bertolini and
                  Andr{\'{e}} G. Farina and
                  Paulo Fernandes and
                  Fl{\'{a}}vio Moreira Oliveira},
  title        = {Test Case Generation Using Stochastic Automata Networks: Quantitative
                  Analysis},
  booktitle    = {2nd International Conference on Software Engineering and Formal Methods
                  {(SEFM} 2004), 28-30 September 2004, Beijing, China},
  pages        = {251--260},
  publisher    = {{IEEE} Computer Society},
  year         = {2004},
  url          = {https://doi.ieeecomputersociety.org/10.1109/SEFM.2004.42},
  doi          = {10.1109/SEFM.2004.42},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sefm/BertoliniFFO04.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.