BibTeX records: Everton L. G. Alves

download as .bib file

@article{DBLP:journals/tse/AlvesSMMK18,
  author    = {Everton L. G. Alves and
               Myoungkyu Song and
               Tiago Massoni and
               Patr{\'{\i}}cia Duarte de Lima Machado and
               Miryung Kim},
  title     = {Refactoring Inspection Support for Manual Refactoring Edits},
  journal   = {{IEEE} Trans. Software Eng.},
  volume    = {44},
  number    = {4},
  pages     = {365--383},
  year      = {2018},
  url       = {https://doi.org/10.1109/TSE.2017.2679742},
  doi       = {10.1109/TSE.2017.2679742},
  timestamp = {Fri, 11 May 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tse/AlvesSMMK18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/JorgeMAA18,
  author    = {Dalton N. Jorge and
               Patr{\'{\i}}cia D. L. Machado and
               Everton L. G. Alves and
               Wilkerson de L. Andrade},
  title     = {Integrating Requirements Specification and Model-Based Testing in
               Agile Development},
  booktitle = {26th {IEEE} International Requirements Engineering Conference, {RE}
               2018, Banff, AB, Canada, August 20-24, 2018},
  pages     = {336--346},
  year      = {2018},
  crossref  = {DBLP:conf/re/2018},
  url       = {https://doi.org/10.1109/RE.2018.00041},
  doi       = {10.1109/RE.2018.00041},
  timestamp = {Fri, 26 Oct 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/re/JorgeMAA18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sast/SilvaAA18,
  author    = {Anderson G. F. Silva and
               Wilkerson de L. Andrade and
               Everton L. G. Alves},
  title     = {A Study on the Impact of Model Evolution in {MBT} Suites},
  booktitle = {Proceedings of the {III} Brazilian Symposium on Systematic and Automated
               Software Testing, {SAST} 2018, Sao Carlos, Brazil, September 17-21,
               2018},
  pages     = {49--56},
  year      = {2018},
  crossref  = {DBLP:conf/sast/2018},
  url       = {https://doi.org/10.1145/3266003.3266009},
  doi       = {10.1145/3266003.3266009},
  timestamp = {Mon, 21 Jan 2019 14:05:14 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sast/SilvaAA18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbes/SilvaAM18,
  author    = {Indy P. S. C. Silva and
               Everton L. G. Alves and
               Patr{\'{\i}}cia D. L. Machado},
  title     = {Can automated test case generation cope with extract method validation?},
  booktitle = {Proceedings of the {XXXII} Brazilian Symposium on Software Engineering,
               {SBES} 2018, Sao Carlos, Brazil, September 17-21, 2018},
  pages     = {152--161},
  year      = {2018},
  crossref  = {DBLP:conf/sbes/2018},
  url       = {https://doi.org/10.1145/3266237.3266274},
  doi       = {10.1145/3266237.3266274},
  timestamp = {Wed, 21 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sbes/SilvaAM18},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/AlvesMM17,
  author    = {Everton L. G. Alves and
               Tiago Massoni and
               Patr{\'{\i}}cia Duarte de Lima Machado},
  title     = {Test coverage of impacted code elements for detecting refactoring
               faults: An exploratory study},
  journal   = {Journal of Systems and Software},
  volume    = {123},
  pages     = {223--238},
  year      = {2017},
  url       = {https://doi.org/10.1016/j.jss.2016.02.001},
  doi       = {10.1016/j.jss.2016.02.001},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/jss/AlvesMM17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/SilvaAA17,
  author    = {Indy P. S. C. Silva and
               Everton L. G. Alves and
               Wilkerson de L. Andrade},
  title     = {Analyzing Automatic Test Generation Tools for Refactoring Validation},
  booktitle = {12th {IEEE/ACM} International Workshop on Automation of Software Testing,
               AST@ICSE 2017, Buenos Aires, Argentina, May 20-21, 2017},
  pages     = {38--44},
  year      = {2017},
  crossref  = {DBLP:conf/icse/2017ast},
  url       = {https://doi.org/10.1109/AST.2017.9},
  doi       = {10.1109/AST.2017.9},
  timestamp = {Tue, 12 Feb 2019 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icse/SilvaAA17},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/AlvesMMK16,
  author    = {Everton L. G. Alves and
               Patr{\'{\i}}cia D. L. Machado and
               Tiago Massoni and
               Miryung Kim},
  title     = {Prioritizing test cases for early detection of refactoring faults},
  journal   = {Softw. Test., Verif. Reliab.},
  volume    = {26},
  number    = {5},
  pages     = {402--426},
  year      = {2016},
  url       = {https://doi.org/10.1002/stvr.1603},
  doi       = {10.1002/stvr.1603},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/stvr/AlvesMMK16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/AlvesMM15,
  author    = {Everton L. G. Alves and
               Tiago Massoni and
               Patr{\'{\i}}cia Duarte de Lima Machado},
  title     = {Test coverage and impact analysis for detecting refactoring faults:
               a study on the extract method refactoring},
  booktitle = {Proceedings of the 30th Annual {ACM} Symposium on Applied Computing,
               Salamanca, Spain, April 13-17, 2015},
  pages     = {1534--1540},
  year      = {2015},
  crossref  = {DBLP:conf/sac/2015},
  url       = {https://doi.org/10.1145/2695664.2695811},
  doi       = {10.1145/2695664.2695811},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sac/AlvesMM15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/AlvesMR14,
  author    = {Everton L. G. Alves and
               Patr{\'{\i}}cia D. L. Machado and
               Franklin Ramalho},
  title     = {Automatic generation of built-in contract test drivers},
  journal   = {Software and System Modeling},
  volume    = {13},
  number    = {3},
  pages     = {1141--1165},
  year      = {2014},
  url       = {https://doi.org/10.1007/s10270-012-0282-8},
  doi       = {10.1007/s10270-012-0282-8},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/sosym/AlvesMR14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/AlvesSK14,
  author    = {Everton L. G. Alves and
               Myoungkyu Song and
               Miryung Kim},
  title     = {RefDistiller: a refactoring aware code review tool for inspecting
               manual refactoring edits},
  booktitle = {Proceedings of the 22nd {ACM} {SIGSOFT} International Symposium on
               Foundations of Software Engineering, (FSE-22), Hong Kong, China, November
               16 - 22, 2014},
  pages     = {751--754},
  year      = {2014},
  crossref  = {DBLP:conf/sigsoft/2014},
  url       = {https://doi.org/10.1145/2635868.2661674},
  doi       = {10.1145/2635868.2661674},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sigsoft/AlvesSK14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/AlvesMMS13,
  author    = {Everton L. G. Alves and
               Patr{\'{\i}}cia D. L. Machado and
               Tiago Massoni and
               Samuel T. C. Santos},
  title     = {A refactoring-based approach for test case selection and prioritization},
  booktitle = {8th International Workshop on Automation of Software Test, {AST} 2013,
               San Francisco, CA, USA, May 18-19, 2013},
  pages     = {93--99},
  year      = {2013},
  crossref  = {DBLP:conf/icse/2013ast},
  url       = {https://doi.org/10.1109/IWAST.2013.6595798},
  doi       = {10.1109/IWAST.2013.6595798},
  timestamp = {Thu, 16 Nov 2017 16:03:55 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icse/AlvesMMS13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbcars/AlvesMR11,
  author    = {Everton L. G. Alves and
               Patr{\'{\i}}cia D. L. Machado and
               Franklin Ramalho},
  title     = {Guidelines for Platform Independent Modeling for Real Time Systems
               Using {UML}},
  booktitle = {Fifth Brazilian Symposium on Software Components, Architectures and
               Reuse, {SBCARS} 2011, Sao Paulo, Brazil, September 26-27, 2011},
  pages     = {110--119},
  year      = {2011},
  crossref  = {DBLP:conf/sbcars/2011},
  url       = {https://doi.org/10.1109/SBCARS.2011.21},
  doi       = {10.1109/SBCARS.2011.21},
  timestamp = {Wed, 24 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sbcars/AlvesMR11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbcars/AlvesMR11a,
  author    = {Everton L. G. Alves and
               Patr{\'{\i}}cia D. L. Machado and
               Franklin Ramalho},
  title     = {Testing Architectures for Real Time Systems},
  booktitle = {Fifth Brazilian Symposium on Software Components, Architectures and
               Reuse, {SBCARS} 2011, Sao Paulo, Brazil, September 26-27, 2011},
  pages     = {120--129},
  year      = {2011},
  crossref  = {DBLP:conf/sbcars/2011},
  url       = {https://doi.org/10.1109/SBCARS.2011.20},
  doi       = {10.1109/SBCARS.2011.20},
  timestamp = {Wed, 24 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sbcars/AlvesMR11a},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/AndradeMAA09,
  author    = {Wilkerson de L. Andrade and
               Patr{\'{\i}}cia D. L. Machado and
               Everton L. G. Alves and
               Diego R. Almeida},
  title     = {Test Case Generation of Embedded Real-Time Systems with Interruptions
               for FreeRTOS},
  booktitle = {Formal Methods: Foundations and Applications, 12th Brazilian Symposium
               on Formal Methods, {SBMF} 2009, Gramado, Brazil, August 19-21, 2009,
               Revised Selected Papers},
  pages     = {54--69},
  year      = {2009},
  crossref  = {DBLP:conf/sbmf/2009},
  url       = {https://doi.org/10.1007/978-3-642-10452-7\_5},
  doi       = {10.1007/978-3-642-10452-7\_5},
  timestamp = {Wed, 09 May 2018 16:56:06 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sbmf/AndradeMAA09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/re/2018,
  editor    = {Guenther Ruhe and
               Walid Maalej and
               Daniel Amyot},
  title     = {26th {IEEE} International Requirements Engineering Conference, {RE}
               2018, Banff, AB, Canada, August 20-24, 2018},
  publisher = {{IEEE} Computer Society},
  year      = {2018},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=8490808},
  isbn      = {978-1-5386-7418-5},
  timestamp = {Mon, 22 Oct 2018 17:35:35 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/re/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sast/2018,
  title     = {Proceedings of the {III} Brazilian Symposium on Systematic and Automated
               Software Testing, {SAST} 2018, Sao Carlos, Brazil, September 17-21,
               2018},
  publisher = {{ACM}},
  year      = {2018},
  url       = {http://dl.acm.org/citation.cfm?id=3266003},
  timestamp = {Mon, 21 Jan 2019 14:05:14 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sast/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sbes/2018,
  editor    = {Uir{\'{a}} Kulesza},
  title     = {Proceedings of the {XXXII} Brazilian Symposium on Software Engineering,
               {SBES} 2018, Sao Carlos, Brazil, September 17-21, 2018},
  publisher = {{ACM}},
  year      = {2018},
  url       = {http://dl.acm.org/citation.cfm?id=3266237},
  timestamp = {Wed, 17 Oct 2018 13:01:08 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sbes/2018},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icse/2017ast,
  title     = {12th {IEEE/ACM} International Workshop on Automation of Software Testing,
               AST@ICSE 2017, Buenos Aires, Argentina, May 20-21, 2017},
  publisher = {{IEEE} Computer Society},
  year      = {2017},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7959758},
  isbn      = {978-1-5386-1548-5},
  timestamp = {Thu, 13 Jul 2017 14:42:42 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icse/2017ast},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sac/2015,
  editor    = {Roger L. Wainwright and
               Juan Manuel Corchado and
               Alessio Bechini and
               Jiman Hong},
  title     = {Proceedings of the 30th Annual {ACM} Symposium on Applied Computing,
               Salamanca, Spain, April 13-17, 2015},
  publisher = {{ACM}},
  year      = {2015},
  url       = {http://dl.acm.org/citation.cfm?id=2695664},
  isbn      = {978-1-4503-3196-8},
  timestamp = {Tue, 21 Jul 2015 14:16:42 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sac/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sigsoft/2014,
  editor    = {Shing{-}Chi Cheung and
               Alessandro Orso and
               Margaret{-}Anne D. Storey},
  title     = {Proceedings of the 22nd {ACM} {SIGSOFT} International Symposium on
               Foundations of Software Engineering, (FSE-22), Hong Kong, China, November
               16 - 22, 2014},
  publisher = {{ACM}},
  year      = {2014},
  url       = {http://dl.acm.org/citation.cfm?id=2635868},
  isbn      = {978-1-4503-3056-5},
  timestamp = {Fri, 07 Nov 2014 12:46:29 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sigsoft/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icse/2013ast,
  editor    = {Hong Zhu and
               Henry Muccini and
               Zhenyu Chen},
  title     = {8th International Workshop on Automation of Software Test, {AST} 2013,
               San Francisco, CA, USA, May 18-19, 2013},
  publisher = {{IEEE} Computer Society},
  year      = {2013},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6588690},
  isbn      = {978-1-4673-6161-3},
  timestamp = {Thu, 16 Nov 2017 16:03:55 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/icse/2013ast},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sbcars/2011,
  editor    = {Eduardo Santana de Almeida},
  title     = {Fifth Brazilian Symposium on Software Components, Architectures and
               Reuse, {SBCARS} 2011, Sao Paulo, Brazil, September 26-27, 2011},
  publisher = {{IEEE} Computer Society},
  year      = {2011},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6114269},
  isbn      = {978-1-4673-0208-1},
  timestamp = {Mon, 02 Nov 2015 11:35:42 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/sbcars/2011},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sbmf/2009,
  editor    = {Marcel Vin{\'{\i}}cius Medeiros Oliveira and
               Jim Woodcock},
  title     = {Formal Methods: Foundations and Applications, 12th Brazilian Symposium
               on Formal Methods, {SBMF} 2009, Gramado, Brazil, August 19-21, 2009,
               Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {5902},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-10452-7},
  doi       = {10.1007/978-3-642-10452-7},
  isbn      = {978-3-642-10451-0},
  timestamp = {Wed, 09 May 2018 16:56:06 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/sbmf/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI, founded at University of Trier