BibTeX records: Kleber S. Xavier

• > Home > Persons > Kleber S. Xavier

@inproceedings{DBLP:conf/sac/MeloNX08,
  author       = {Ana Cristina Vieira de Melo and
                  Paulo R. F. Nunes and
                  Kleber S. Xavier},
  editor       = {Roger L. Wainwright and
                  Hisham Haddad},
  title        = {Towards verification and testing of Java programs},
  booktitle    = {Proceedings of the 2008 {ACM} Symposium on Applied Computing (SAC),
                  Fortaleza, Ceara, Brazil, March 16-20, 2008},
  pages        = {730--734},
  publisher    = {{ACM}},
  year         = {2008},
  url          = {https://doi.org/10.1145/1363686.1363858},
  doi          = {10.1145/1363686.1363858},
  timestamp    = {Tue, 06 Nov 2018 11:06:48 +0100},
  biburl       = {https://dblp.org/rec/conf/sac/MeloNX08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/sefm/XavierHM08,
  author       = {Kleber S. Xavier and
                  Simone Hanazumi and
                  Ana Cristina Vieira de Melo},
  editor       = {Antonio Cerone and
                  Stefan Gruner},
  title        = {Using Formal Verification to Reduce Test Space of Fault-Tolerant Programs},
  booktitle    = {Sixth {IEEE} International Conference on Software Engineering and
                  Formal Methods, {SEFM} 2008, Cape Town, South Africa, 10-14 November
                  2008},
  pages        = {181--190},
  publisher    = {{IEEE} Computer Society},
  year         = {2008},
  url          = {https://doi.org/10.1109/SEFM.2008.31},
  doi          = {10.1109/SEFM.2008.31},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sefm/XavierHM08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}