BibTeX records: Tiago Massoni

download as .bib file

@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    = {http://dblp.org/rec/bib/journals/jss/AlvesMM17},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/sac/MilanezLFM17,
  author    = {Alysson Milanez and
               Bianca Lima and
               Jos{\'{e}} Ferreira and
               Tiago Massoni},
  title     = {Nonconformance between programs and contracts: a study on C{\#}/code
               contracts open source systems},
  booktitle = {Proceedings of the Symposium on Applied Computing, {SAC} 2017, Marrakech,
               Morocco, April 3-7, 2017},
  pages     = {1219--1224},
  year      = {2017},
  crossref  = {DBLP:conf/sac/2017},
  url       = {http://doi.acm.org/10.1145/3019612.3019779},
  doi       = {10.1145/3019612.3019779},
  timestamp = {Tue, 30 May 2017 13:26:11 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/sac/MilanezLFM17},
  bibsource = {dblp computer science bibliography, http://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    = {http://dblp.org/rec/bib/journals/stvr/AlvesMMK16},
  bibsource = {dblp computer science bibliography, http://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       = {http://doi.acm.org/10.1145/2695664.2695811},
  doi       = {10.1145/2695664.2695811},
  timestamp = {Tue, 21 Jul 2015 14:16:42 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/sac/AlvesMM15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/MilanezMG14,
  author    = {Alysson Milanez and
               Tiago Massoni and
               Rohit Gheyi},
  title     = {Enhancing conformance checking for contract-based programs},
  booktitle = {Conference on Systems, Programming, and Applications: Software for
               Humanity, {SPLASH} '14, Portland, OR, USA, October 20-24, 2014 - Companion
               Volume},
  pages     = {57--58},
  year      = {2014},
  crossref  = {DBLP:conf/oopsla/2014c},
  url       = {http://doi.acm.org/10.1145/2660252.2660396},
  doi       = {10.1145/2660252.2660396},
  timestamp = {Thu, 16 Oct 2014 09:19:38 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/oopsla/MilanezMG14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/tse/SoaresGM13,
  author    = {Gustavo Soares and
               Rohit Gheyi and
               Tiago Massoni},
  title     = {Automated Behavioral Testing of Refactoring Engines},
  journal   = {{IEEE} Trans. Software Eng.},
  volume    = {39},
  number    = {2},
  pages     = {147--162},
  year      = {2013},
  url       = {https://doi.org/10.1109/TSE.2012.19},
  doi       = {10.1109/TSE.2012.19},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/tse/SoaresGM13},
  bibsource = {dblp computer science bibliography, http://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    = {http://dblp.org/rec/bib/conf/icse/AlvesMMS13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jucs/GheyiMB11,
  author    = {Rohit Gheyi and
               Tiago Massoni and
               Paulo Borba},
  title     = {Automatically Checking Feature Model Refactorings},
  journal   = {J. {UCS}},
  volume    = {17},
  number    = {5},
  pages     = {684--711},
  year      = {2011},
  url       = {https://doi.org/10.3217/jucs-017-05-0684},
  doi       = {10.3217/jucs-017-05-0684},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/jucs/GheyiMB11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/sbes/SoaresCVAGM11,
  author    = {Gustavo Soares and
               Bruno Catao and
               Catuxe Varjao and
               Solon Aguiar and
               Rohit Gheyi and
               Tiago Massoni},
  title     = {Analyzing Refactorings on Software Repositories},
  booktitle = {25th Brazilian Symposium on Software Engineering, {SBES} 2011, Sao
               Paulo, Brazil, September 28-30, 2011},
  pages     = {164--173},
  year      = {2011},
  crossref  = {DBLP:conf/sbes/2011},
  url       = {https://doi.org/10.1109/SBES.2011.21},
  doi       = {10.1109/SBES.2011.21},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/sbes/SoaresCVAGM11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/software/SoaresGSM10,
  author    = {Gustavo Soares and
               Rohit Gheyi and
               D. Serey and
               Tiago Massoni},
  title     = {Making Program Refactoring Safer},
  journal   = {{IEEE} Software},
  volume    = {27},
  number    = {4},
  pages     = {52--57},
  year      = {2010},
  url       = {https://doi.org/10.1109/MS.2010.63},
  doi       = {10.1109/MS.2010.63},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/software/SoaresGSM10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/MassoniGB10,
  author    = {Tiago Massoni and
               Rohit Gheyi and
               Paulo Borba},
  title     = {Synchronizing Model and Program Refactoring},
  booktitle = {Formal Methods: Foundations and Applications - 13th Brazilian Symposium
               on Formal Methods, {SBMF} 2010, Natal, Brazil, November 8-11, 2010,
               Revised Selected Papers},
  pages     = {96--111},
  year      = {2010},
  crossref  = {DBLP:conf/sbmf/2010},
  url       = {https://doi.org/10.1007/978-3-642-19829-8_7},
  doi       = {10.1007/978-3-642-19829-8_7},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/sbmf/MassoniGB10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/GheyiMBS09,
  author    = {Rohit Gheyi and
               Tiago Massoni and
               Paulo Borba and
               Augusto Sampaio},
  title     = {A Complete Set of Object Modeling Laws for Alloy},
  booktitle = {Formal Methods: Foundations and Applications, 12th Brazilian Symposium
               on Formal Methods, {SBMF} 2009, Gramado, Brazil, August 19-21, 2009,
               Revised Selected Papers},
  pages     = {204--219},
  year      = {2009},
  crossref  = {DBLP:conf/sbmf/2009},
  url       = {https://doi.org/10.1007/978-3-642-10452-7_14},
  doi       = {10.1007/978-3-642-10452-7_14},
  timestamp = {Thu, 15 Jun 2017 21:33:57 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/sbmf/GheyiMBS09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1003-4800,
  author    = {Gabriel Falconieri Freitas and
               M{\'{a}}rcio Corn{\'{e}}lio and
               Tiago Massoni and
               Rohit Gheyi},
  title     = {Object-oriented Programming Laws for Annotated Java Programs},
  booktitle = {Proceedings Tenth International Workshop on Rule-Based Programming,
               {RULE} 2009, Bras{\'{\i}}lia, Brazil, 28th June 2009.},
  pages     = {65--76},
  year      = {2009},
  crossref  = {DBLP:journals/corr/abs-1003-5758},
  url       = {https://doi.org/10.4204/EPTCS.21.6},
  doi       = {10.4204/EPTCS.21.6},
  timestamp = {Wed, 03 May 2017 14:47:53 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/abs-1003-4800},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/entcs/MassoniGB08,
  author    = {Tiago Massoni and
               Rohit Gheyi and
               Paulo Borba},
  title     = {A Framework for Establishing Formal Conformance between Object Models
               and Object-Oriented Programs},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {195},
  pages     = {189--209},
  year      = {2008},
  url       = {https://doi.org/10.1016/j.entcs.2007.08.033},
  doi       = {10.1016/j.entcs.2007.08.033},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/entcs/MassoniGB08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jucs/GheyiMB08,
  author    = {Rohit Gheyi and
               Tiago Massoni and
               Paulo Borba},
  title     = {Algebraic Laws for Feature Models},
  journal   = {J. {UCS}},
  volume    = {14},
  number    = {21},
  pages     = {3573--3591},
  year      = {2008},
  url       = {https://doi.org/10.3217/jucs-014-21-3573},
  doi       = {10.3217/jucs-014-21-3573},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/jucs/GheyiMB08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/fase/MassoniGB08,
  author    = {Tiago Massoni and
               Rohit Gheyi and
               Paulo Borba},
  title     = {Formal Model-Driven Program Refactoring},
  booktitle = {Fundamental Approaches to Software Engineering, 11th International
               Conference, {FASE} 2008, Held as Part of the Joint European Conferences
               on Theory and Practice of Software, {ETAPS} 2008, Budapest, Hungary,
               March 29-April 6, 2008. Proceedings},
  pages     = {362--376},
  year      = {2008},
  crossref  = {DBLP:conf/fase/2008},
  url       = {https://doi.org/10.1007/978-3-540-78743-3_27},
  doi       = {10.1007/978-3-540-78743-3_27},
  timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/fase/MassoniGB08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/entcs/GheyiMB07,
  author    = {Rohit Gheyi and
               Tiago Massoni and
               Paulo Borba},
  title     = {A Static Semantics for Alloy and its Impact in Refactorings},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {184},
  pages     = {209--233},
  year      = {2007},
  url       = {https://doi.org/10.1016/j.entcs.2007.03.023},
  doi       = {10.1016/j.entcs.2007.03.023},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/entcs/GheyiMB07},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/eceasst/MassoniGB06,
  author    = {Tiago Massoni and
               Rohit Gheyi and
               Paulo Borba},
  title     = {An Approach to Invariant-based Program Refactoring},
  journal   = {{ECEASST}},
  volume    = {3},
  year      = {2006},
  url       = {http://journal.ub.tu-berlin.de/index.php/eceasst/article/view/25},
  timestamp = {Thu, 21 Apr 2016 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/eceasst/MassoniGB06},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/gpce/AlvesGMKBL06,
  author    = {Vander Alves and
               Rohit Gheyi and
               Tiago Massoni and
               Uir{\'{a}} Kulesza and
               Paulo Borba and
               Carlos Jos{\'{e}} Pereira de Lucena},
  title     = {Refactoring product lines},
  booktitle = {Generative Programming and Component Engineering, 5th International
               Conference, {GPCE} 2006, Portland, Oregon, USA, October 22-26, 2006,
               Proceedings},
  pages     = {201--210},
  year      = {2006},
  crossref  = {DBLP:conf/gpce/2006},
  url       = {http://doi.acm.org/10.1145/1173706.1173737},
  doi       = {10.1145/1173706.1173737},
  timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/gpce/AlvesGMKBL06},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/entcs/GheyiMB05,
  author    = {Rohit Gheyi and
               Tiago Massoni and
               Paulo Borba},
  title     = {An Abstract Equivalence Notion for Object Models},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {130},
  pages     = {3--21},
  year      = {2005},
  url       = {https://doi.org/10.1016/j.entcs.2005.03.002},
  doi       = {10.1016/j.entcs.2005.03.002},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/entcs/GheyiMB05},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/kbse/GheyiMB05,
  author    = {Rohit Gheyi and
               Tiago Massoni and
               Paulo Borba},
  title     = {A rigorous approach for proving model refactorings},
  booktitle = {20th {IEEE/ACM} International Conference on Automated Software Engineering
               {(ASE} 2005), November 7-11, 2005, Long Beach, CA, {USA}},
  pages     = {372--375},
  year      = {2005},
  crossref  = {DBLP:conf/kbse/2005},
  url       = {http://doi.acm.org/10.1145/1101908.1101973},
  doi       = {10.1145/1101908.1101973},
  timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/kbse/GheyiMB05},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/MassoniGB05,
  author    = {Tiago Massoni and
               Rohit Gheyi and
               Paulo Borba},
  title     = {A model-driven approach to formal refactoring},
  booktitle = {Companion to the 20th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
               Programming, Systems, Languages, and Applications, {OOPSLA} 2005,
               October 16-20, 2005, San Diego, CA, {USA}},
  pages     = {124--125},
  year      = {2005},
  crossref  = {DBLP:conf/oopsla/2005c},
  url       = {http://doi.acm.org/10.1145/1094855.1094895},
  doi       = {10.1145/1094855.1094895},
  timestamp = {Wed, 25 Jun 2008 19:46:37 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/oopsla/MassoniGB05},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/GheyiM05,
  author    = {Rohit Gheyi and
               Tiago Massoni},
  title     = {Formal refactorings for object models},
  booktitle = {Companion to the 20th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
               Programming, Systems, Languages, and Applications, {OOPSLA} 2005,
               October 16-20, 2005, San Diego, CA, {USA}},
  pages     = {208--209},
  year      = {2005},
  crossref  = {DBLP:conf/oopsla/2005c},
  url       = {http://doi.acm.org/10.1145/1094855.1094938},
  doi       = {10.1145/1094855.1094938},
  timestamp = {Wed, 25 Jun 2008 19:46:37 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/oopsla/GheyiM05},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/sac/2017,
  editor    = {Ahmed Seffah and
               Birgit Penzenstadler and
               Carina Alves and
               Xin Peng},
  title     = {Proceedings of the Symposium on Applied Computing, {SAC} 2017, Marrakech,
               Morocco, April 3-7, 2017},
  publisher = {{ACM}},
  year      = {2017},
  url       = {http://doi.acm.org/10.1145/3019612},
  doi       = {10.1145/3019612},
  isbn      = {978-1-4503-4486-9},
  timestamp = {Tue, 30 May 2017 13:26:11 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/sac/2017},
  bibsource = {dblp computer science bibliography, http://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    = {http://dblp.org/rec/bib/conf/sac/2015},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/oopsla/2014c,
  editor    = {Andrew P. Black},
  title     = {Conference on Systems, Programming, and Applications: Software for
               Humanity, {SPLASH} '14, Portland, OR, USA, October 20-24, 2014 - Companion
               Volume},
  publisher = {{ACM}},
  year      = {2014},
  url       = {http://dl.acm.org/citation.cfm?id=2660252},
  isbn      = {978-1-4503-3208-8},
  timestamp = {Thu, 16 Oct 2014 09:19:38 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/oopsla/2014c},
  bibsource = {dblp computer science bibliography, http://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    = {http://dblp.org/rec/bib/conf/icse/2013ast},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/sbes/2011,
  title     = {25th Brazilian Symposium on Software Engineering, {SBES} 2011, Sao
               Paulo, Brazil, September 28-30, 2011},
  publisher = {{IEEE} Computer Society},
  year      = {2011},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6063704},
  isbn      = {978-1-4577-2187-8},
  timestamp = {Thu, 30 Jul 2015 16:40:37 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/sbes/2011},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/sbmf/2010,
  editor    = {Jim Davies and
               Leila Silva and
               Adenilso da Silva Sim{\~{a}}o},
  title     = {Formal Methods: Foundations and Applications - 13th Brazilian Symposium
               on Formal Methods, {SBMF} 2010, Natal, Brazil, November 8-11, 2010,
               Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {6527},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-19829-8},
  doi       = {10.1007/978-3-642-19829-8},
  isbn      = {978-3-642-19828-1},
  timestamp = {Fri, 26 May 2017 00:48:25 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/sbmf/2010},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/sbmf/2009,
  editor    = {Marcel Vinicius 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 = {Thu, 15 Jun 2017 21:33:57 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/sbmf/2009},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1003-5758,
  editor    = {Ian Mackie and
               Anamaria Martins Moreira},
  title     = {Proceedings Tenth International Workshop on Rule-Based Programming,
               {RULE} 2009, Bras{\'{\i}}lia, Brazil, 28th June 2009},
  series    = {{EPTCS}},
  volume    = {21},
  year      = {2009},
  url       = {https://doi.org/10.4204/EPTCS.21},
  doi       = {10.4204/EPTCS.21},
  timestamp = {Wed, 03 May 2017 14:47:53 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/corr/abs-1003-5758},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/fase/2008,
  editor    = {Jos{\'{e}} Luiz Fiadeiro and
               Paola Inverardi},
  title     = {Fundamental Approaches to Software Engineering, 11th International
               Conference, {FASE} 2008, Held as Part of the Joint European Conferences
               on Theory and Practice of Software, {ETAPS} 2008, Budapest, Hungary,
               March 29-April 6, 2008. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4961},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-78743-3},
  doi       = {10.1007/978-3-540-78743-3},
  isbn      = {978-3-540-78742-6},
  timestamp = {Thu, 25 May 2017 00:41:44 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/fase/2008},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/gpce/2006,
  editor    = {Stan Jarzabek and
               Douglas C. Schmidt and
               Todd L. Veldhuizen},
  title     = {Generative Programming and Component Engineering, 5th International
               Conference, {GPCE} 2006, Portland, Oregon, USA, October 22-26, 2006,
               Proceedings},
  publisher = {{ACM}},
  year      = {2006},
  isbn      = {1-59593-237-2},
  timestamp = {Wed, 06 Dec 2006 10:15:27 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/gpce/2006},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/kbse/2005,
  editor    = {David F. Redmiles and
               Thomas Ellman and
               Andrea Zisman},
  title     = {20th {IEEE/ACM} International Conference on Automated Software Engineering
               {(ASE} 2005), November 7-11, 2005, Long Beach, CA, {USA}},
  publisher = {{ACM}},
  year      = {2005},
  url       = {http://doi.acm.org/10.1145/1101908},
  doi       = {10.1145/1101908},
  isbn      = {1-58113-993-4},
  timestamp = {Thu, 13 Aug 2015 18:46:50 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/kbse/2005},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/oopsla/2005c,
  editor    = {Ralph E. Johnson and
               Richard P. Gabriel},
  title     = {Companion to the 20th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
               Programming, Systems, Languages, and Applications, {OOPSLA} 2005,
               October 16-20, 2005, San Diego, CA, {USA}},
  publisher = {{ACM}},
  year      = {2005},
  isbn      = {1-59593-193-7},
  timestamp = {Wed, 25 Jun 2008 19:46:37 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/oopsla/2005c},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier