BibTeX records: José Miguel Rojas

download as .bib file

@article{DBLP:journals/ese/RojasVAF17,
  author    = {Jos{\'{e}} Miguel Rojas and
               Mattia Vivanti and
               Andrea Arcuri and
               Gordon Fraser},
  title     = {A detailed investigation of the effectiveness of whole test suite
               generation},
  journal   = {Empirical Software Engineering},
  volume    = {22},
  number    = {2},
  pages     = {852--893},
  year      = {2017},
  url       = {https://doi.org/10.1007/s10664-015-9424-2},
  doi       = {10.1007/s10664-015-9424-2},
  timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/ese/RojasVAF17},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/icse/CleggRF17,
  author    = {Benjamin S. Clegg and
               Jos{\'{e}} Miguel Rojas and
               Gordon Fraser},
  title     = {Teaching Software Testing Concepts Using a Mutation Testing Game},
  booktitle = {39th {IEEE/ACM} International Conference on Software Engineering:
               Software Engineering Education and Training Track, {ICSE-SEET} 2017,
               Buenos Aires, Argentina, May 20-28, 2017},
  pages     = {33--36},
  year      = {2017},
  crossref  = {DBLP:conf/icse/2017seet},
  url       = {https://doi.org/10.1109/ICSE-SEET.2017.1},
  doi       = {10.1109/ICSE-SEET.2017.1},
  timestamp = {Thu, 13 Jul 2017 14:34:03 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icse/CleggRF17},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/icse/FraserRCA17,
  author    = {Gordon Fraser and
               Jos{\'{e}} Miguel Rojas and
               Jos{\'{e}} Campos and
               Andrea Arcuri},
  title     = {EvoSuite at the {SBST} 2017 Tool Competition},
  booktitle = {10th {IEEE/ACM} International Workshop on Search-Based Software Testing,
               SBST@ICSE 2017, Buenos Aires, Argentina, May 22-23, 2017},
  pages     = {39--42},
  year      = {2017},
  crossref  = {DBLP:conf/icse/2017sbst},
  url       = {https://doi.org/10.1109/SBST.2017.6},
  doi       = {10.1109/SBST.2017.6},
  timestamp = {Mon, 17 Jul 2017 18:15:45 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icse/FraserRCA17},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/icse/RojasF17,
  author    = {Jos{\'{e}} Miguel Rojas and
               Gordon Fraser},
  title     = {Is Search-Based Unit Test Generation Research Stuck in a Local Optimum?},
  booktitle = {10th {IEEE/ACM} International Workshop on Search-Based Software Testing,
               SBST@ICSE 2017, Buenos Aires, Argentina, May 22-23, 2017},
  pages     = {51--52},
  year      = {2017},
  crossref  = {DBLP:conf/icse/2017sbst},
  url       = {https://doi.org/10.1109/SBST.2017.4},
  doi       = {10.1109/SBST.2017.4},
  timestamp = {Mon, 17 Jul 2017 18:15:45 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icse/RojasF17},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/icse/RojasWCF17,
  author    = {Jos{\'{e}} Miguel Rojas and
               Thomas D. White and
               Benjamin S. Clegg and
               Gordon Fraser},
  title     = {Code defenders: crowdsourcing effective tests and subtle mutants with
               a mutation testing game},
  booktitle = {Proceedings of the 39th International Conference on Software Engineering,
               {ICSE} 2017, Buenos Aires, Argentina, May 20-28, 2017},
  pages     = {677--688},
  year      = {2017},
  crossref  = {DBLP:conf/icse/2017},
  url       = {https://doi.org/10.1109/ICSE.2017.68},
  doi       = {10.1109/ICSE.2017.68},
  timestamp = {Mon, 31 Jul 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icse/RojasWCF17},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/icst/KrinkeLR17,
  author    = {Jens Krinke and
               Nan Li and
               Jos{\'{e}} Miguel Rojas},
  title     = {Message from the Mutation 2017 Chairs},
  booktitle = {2017 {IEEE} International Conference on Software Testing, Verification
               and Validation Workshops, {ICST} Workshops 2017, Tokyo, Japan, March
               13-17, 2017},
  pages     = {85--86},
  year      = {2017},
  crossref  = {DBLP:conf/icst/2017w},
  url       = {https://doi.org/10.1109/ICSTW.2017.22},
  doi       = {10.1109/ICSTW.2017.22},
  timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icst/KrinkeLR17},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/issta/DakaRF17,
  author    = {Ermira Daka and
               Jos{\'{e}} Miguel Rojas and
               Gordon Fraser},
  title     = {Generating unit tests with descriptive names or: would you name your
               children thing1 and thing2?},
  booktitle = {Proceedings of the 26th {ACM} {SIGSOFT} International Symposium on
               Software Testing and Analysis, Santa Barbara, CA, USA, July 10 - 14,
               2017},
  pages     = {57--67},
  year      = {2017},
  crossref  = {DBLP:conf/issta/2017},
  url       = {http://doi.acm.org/10.1145/3092703.3092727},
  doi       = {10.1145/3092703.3092727},
  timestamp = {Thu, 13 Jul 2017 14:49:34 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/issta/DakaRF17},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/stvr/RojasFA16,
  author    = {Jos{\'{e}} Miguel Rojas and
               Gordon Fraser and
               Andrea Arcuri},
  title     = {Seeding strategies in search-based unit test generation},
  journal   = {Softw. Test., Verif. Reliab.},
  volume    = {26},
  number    = {5},
  pages     = {366--401},
  year      = {2016},
  url       = {https://doi.org/10.1002/stvr.1601},
  doi       = {10.1002/stvr.1601},
  timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/stvr/RojasFA16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/icst/RojasF16,
  author    = {Jos{\'{e}} Miguel Rojas and
               Gordon Fraser},
  title     = {Code Defenders: {A} Mutation Testing Game},
  booktitle = {Ninth {IEEE} International Conference on Software Testing, Verification
               and Validation Workshops, {ICST} Workshops 2016, Chicago, IL, USA,
               April 11-15, 2016},
  pages     = {162--167},
  year      = {2016},
  crossref  = {DBLP:conf/icst/2016w},
  url       = {https://doi.org/10.1109/ICSTW.2016.43},
  doi       = {10.1109/ICSTW.2016.43},
  timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icst/RojasF16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/gecco/ShamshiriRFM15,
  author    = {Sina Shamshiri and
               Jos{\'{e}} Miguel Rojas and
               Gordon Fraser and
               Phil McMinn},
  title     = {Random or Genetic Algorithm Search for Object-Oriented Test Suite
               Generation?},
  booktitle = {Proceedings of the Genetic and Evolutionary Computation Conference,
               {GECCO} 2015, Madrid, Spain, July 11-15, 2015},
  pages     = {1367--1374},
  year      = {2015},
  crossref  = {DBLP:conf/gecco/2015},
  url       = {http://doi.acm.org/10.1145/2739480.2754696},
  doi       = {10.1145/2739480.2754696},
  timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/gecco/ShamshiriRFM15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/issta/RojasFA15,
  author    = {Jos{\'{e}} Miguel Rojas and
               Gordon Fraser and
               Andrea Arcuri},
  title     = {Automated unit test generation during software development: a controlled
               experiment and think-aloud observations},
  booktitle = {Proceedings of the 2015 International Symposium on Software Testing
               and Analysis, {ISSTA} 2015, Baltimore, MD, USA, July 12-17, 2015},
  pages     = {338--349},
  year      = {2015},
  crossref  = {DBLP:conf/issta/2015},
  url       = {http://doi.acm.org/10.1145/2771783.2771801},
  doi       = {10.1145/2771783.2771801},
  timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/issta/RojasFA15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/kbse/ShamshiriJRFMA15,
  author    = {Sina Shamshiri and
               Ren{\'{e}} Just and
               Jos{\'{e}} Miguel Rojas and
               Gordon Fraser and
               Phil McMinn and
               Andrea Arcuri},
  title     = {Do Automatically Generated Unit Tests Find Real Faults? An Empirical
               Study of Effectiveness and Challenges {(T)}},
  booktitle = {30th {IEEE/ACM} International Conference on Automated Software Engineering,
               {ASE} 2015, Lincoln, NE, USA, November 9-13, 2015},
  pages     = {201--211},
  year      = {2015},
  crossref  = {DBLP:conf/kbse/2015},
  url       = {https://doi.org/10.1109/ASE.2015.86},
  doi       = {10.1109/ASE.2015.86},
  timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/kbse/ShamshiriJRFMA15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/ssbse/RojasCVFA15,
  author    = {Jos{\'{e}} Miguel Rojas and
               Jos{\'{e}} Campos and
               Mattia Vivanti and
               Gordon Fraser and
               Andrea Arcuri},
  title     = {Combining Multiple Coverage Criteria in Search-Based Unit Test Generation},
  booktitle = {Search-Based Software Engineering - 7th International Symposium, {SSBSE}
               2015, Bergamo, Italy, September 5-7, 2015, Proceedings},
  pages     = {93--108},
  year      = {2015},
  crossref  = {DBLP:conf/ssbse/2015},
  url       = {https://doi.org/10.1007/978-3-319-22183-0_7},
  doi       = {10.1007/978-3-319-22183-0_7},
  timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ssbse/RojasCVFA15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/sfm/AlbertAGR14,
  author    = {Elvira Albert and
               Puri Arenas and
               Miguel G{\'{o}}mez{-}Zamalloa and
               Jos{\'{e}} Miguel Rojas},
  title     = {Test Case Generation by Symbolic Execution: Basic Concepts, a CLP-Based
               Instance, and Actor-Based Concurrency},
  booktitle = {Formal Methods for Executable Software Models - 14th International
               School on Formal Methods for the Design of Computer, Communication,
               and Software Systems, {SFM} 2014, Bertinoro, Italy, June 16-20, 2014,
               Advanced Lectures},
  pages     = {263--309},
  year      = {2014},
  crossref  = {DBLP:conf/sfm/2014},
  url       = {https://doi.org/10.1007/978-3-319-07317-0_7},
  doi       = {10.1007/978-3-319-07317-0_7},
  timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/sfm/AlbertAGR14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/tplp/AlbertBGRS13,
  author    = {Elvira Albert and
               Maria J. Garc{\'{\i}}a de la Banda and
               Miguel G{\'{o}}mez{-}Zamalloa and
               Jos{\'{e}} Miguel Rojas and
               Peter J. Stuckey},
  title     = {A {CLP} heap solver for test case generation},
  journal   = {{TPLP}},
  volume    = {13},
  number    = {4-5},
  pages     = {721--735},
  year      = {2013},
  url       = {https://doi.org/10.1017/S1471068413000458},
  doi       = {10.1017/S1471068413000458},
  timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/journals/tplp/AlbertBGRS13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/fmco/AlbertAACFGGMPRRZ12,
  author    = {Elvira Albert and
               Diego Esteban Alonso{-}Blas and
               Puri Arenas and
               Jes{\'{u}}s Correas and
               Antonio Flores{-}Montoya and
               Samir Genaim and
               Miguel G{\'{o}}mez{-}Zamalloa and
               Abu Naser Masud and
               German Puebla and
               Jos{\'{e}} Miguel Rojas and
               Guillermo Rom{\'{a}}n{-}D{\'{\i}}ez and
               Damiano Zanardini},
  title     = {Automatic Inference of Bounds on Resource Consumption},
  booktitle = {Formal Methods for Components and Objects - 11th International Symposium,
               {FMCO} 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures},
  pages     = {119--144},
  year      = {2012},
  crossref  = {DBLP:conf/fmco/2012},
  url       = {https://doi.org/10.1007/978-3-642-40615-7_4},
  doi       = {10.1007/978-3-642-40615-7_4},
  timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/fmco/AlbertAACFGGMPRRZ12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/fmics/AlbertOR12,
  author    = {Elvira Albert and
               Bjarte M. {\O}stvold and
               Jos{\'{e}} Miguel Rojas},
  title     = {Automated Extraction of Abstract Behavioural Models from {JMS} Applications},
  booktitle = {Formal Methods for Industrial Critical Systems - 17th International
               Workshop, {FMICS} 2012, Paris, France, August 27-28, 2012. Proceedings},
  pages     = {16--31},
  year      = {2012},
  crossref  = {DBLP:conf/fmics/2012},
  url       = {https://doi.org/10.1007/978-3-642-32469-7_2},
  doi       = {10.1007/978-3-642-32469-7_2},
  timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/fmics/AlbertOR12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/RojasG12,
  author    = {Jos{\'{e}} Miguel Rojas and
               Miguel G{\'{o}}mez{-}Zamalloa},
  title     = {A Framework for Guided Test Case Generation in Constraint Logic Programming},
  booktitle = {Logic-Based Program Synthesis and Transformation, 22nd International
               Symposium, {LOPSTR} 2012, Leuven, Belgium, September 18-20, 2012,
               Revised Selected Papers},
  pages     = {176--193},
  year      = {2012},
  crossref  = {DBLP:conf/lopstr/2012},
  url       = {https://doi.org/10.1007/978-3-642-38197-3_12},
  doi       = {10.1007/978-3-642-38197-3_12},
  timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/lopstr/RojasG12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/iat/NavarreteEAPR11,
  author    = {Carmen B. Navarrete and
               Marina de la Cruz Echeand{\'{\i}}a and
               Eloy Anguiano and
               Alfonso Ortega de la Puente and
               Jos{\'{e}} Miguel Rojas},
  title     = {Parallel Simulation of NEPs on Clusters},
  booktitle = {Proceedings of the 2011 {IEEE/WIC/ACM} International Joint Conference
               on Web Intelligence and Intelligent Agent Technology - Workshops,
               {WI-IAT} 2011, Campus Scientifique de la Doua, Lyon, France, August
               22-27, 2011},
  pages     = {171--174},
  year      = {2011},
  crossref  = {DBLP:conf/iat/2011w},
  url       = {https://doi.org/10.1109/WI-IAT.2011.131},
  doi       = {10.1109/WI-IAT.2011.131},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/iat/NavarreteEAPR11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/AlbertGR11,
  author    = {Elvira Albert and
               Miguel G{\'{o}}mez{-}Zamalloa and
               Jos{\'{e}} Miguel Rojas},
  title     = {Resource-Driven CLP-Based Test Case Generation},
  booktitle = {Logic-Based Program Synthesis and Transformation - 21st International
               Symposium, {LOPSTR} 2011, Odense, Denmark, July 18-20, 2011. Revised
               Selected Papers},
  pages     = {25--41},
  year      = {2011},
  crossref  = {DBLP:conf/lopstr/2011},
  url       = {https://doi.org/10.1007/978-3-642-32211-2_3},
  doi       = {10.1007/978-3-642-32211-2_3},
  timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/lopstr/AlbertGR11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/AlbertGRP10,
  author    = {Elvira Albert and
               Miguel G{\'{o}}mez{-}Zamalloa and
               Jos{\'{e}} Miguel Rojas and
               Germ{\'{a}}n Puebla},
  title     = {Compositional CLP-Based Test Data Generation for Imperative Languages},
  booktitle = {Logic-Based Program Synthesis and Transformation - 20th International
               Symposium, {LOPSTR} 2010, Hagenberg, Austria, July 23-25, 2010, Revised
               Selected Papers},
  pages     = {99--116},
  year      = {2010},
  crossref  = {DBLP:conf/lopstr/2010},
  url       = {https://doi.org/10.1007/978-3-642-20551-4_7},
  doi       = {10.1007/978-3-642-20551-4_7},
  timestamp = {Sat, 16 Sep 2017 12:11:15 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/lopstr/AlbertGRP10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/paams/SilesEP10,
  author    = {Jos{\'{e}} Miguel Rojas Siles and
               Marina de la Cruz Echeand{\'{\i}}a and
               Alfonso Ortega de la Puente},
  title     = {Towards the Automatic Programming of {H} Systems: jHsys, a Java {H}
               System Simulator},
  booktitle = {Trends in Practical Applications of Agents and Multiagent Systems
               - 8th International Conference on Practical Applications of Agents
               and Multiagent Systems, {PAAMS} 2010 Special Sessions and Workshops,
               Salamanca, Spain, 26-28 April 2010},
  pages     = {387--394},
  year      = {2010},
  crossref  = {DBLP:conf/paams/2010s},
  url       = {https://doi.org/10.1007/978-3-642-12433-4_46},
  doi       = {10.1007/978-3-642-12433-4_46},
  timestamp = {Fri, 19 May 2017 01:26:06 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/paams/SilesEP10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/icaart/GarciaSHMP09,
  author    = {Emilio del Rosal Garc{\'{\i}}a and
               Jos{\'{e}} Miguel Rojas Siles and
               Rafael N{\'{u}}{\~{n}}ez Herv{\'{a}}s and
               Carlos Casta{\~{n}}eda Marroqu{\'{\i}}n and
               Alfonso Ortega de la Puente},
  title     = {On the Solutions of NP-Complete Problems by Means of jNEP Run on Computers},
  booktitle = {{ICAART} 2009 - Proceedings of the International Conference on Agents
               and Artificial Intelligence, Porto, Portugal, January 19 - 21, 2009},
  pages     = {605--612},
  year      = {2009},
  crossref  = {DBLP:conf/icaart/2009},
  timestamp = {Tue, 19 May 2009 15:52:57 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icaart/GarciaSHMP09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/icse/2017seet,
  title     = {39th {IEEE/ACM} International Conference on Software Engineering:
               Software Engineering Education and Training Track, {ICSE-SEET} 2017,
               Buenos Aires, Argentina, May 20-28, 2017},
  publisher = {{IEEE}},
  year      = {2017},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7961437},
  isbn      = {978-1-5386-2671-9},
  timestamp = {Thu, 13 Jul 2017 14:34:03 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icse/2017seet},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/icse/2017sbst,
  title     = {10th {IEEE/ACM} International Workshop on Search-Based Software Testing,
               SBST@ICSE 2017, Buenos Aires, Argentina, May 22-23, 2017},
  publisher = {{IEEE}},
  year      = {2017},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7965805},
  isbn      = {978-1-5386-2789-1},
  timestamp = {Mon, 17 Jul 2017 18:15:45 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icse/2017sbst},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/icse/2017,
  editor    = {Sebasti{\'{a}}n Uchitel and
               Alessandro Orso and
               Martin P. Robillard},
  title     = {Proceedings of the 39th International Conference on Software Engineering,
               {ICSE} 2017, Buenos Aires, Argentina, May 20-28, 2017},
  publisher = {{IEEE} / {ACM}},
  year      = {2017},
  url       = {http://dl.acm.org/citation.cfm?id=3097368},
  isbn      = {978-1-5386-3868-2},
  timestamp = {Mon, 22 May 2017 14:16:54 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icse/2017},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/icst/2017w,
  title     = {2017 {IEEE} International Conference on Software Testing, Verification
               and Validation Workshops, {ICST} Workshops 2017, Tokyo, Japan, March
               13-17, 2017},
  publisher = {{IEEE} Computer Society},
  year      = {2017},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7898633},
  isbn      = {978-1-5090-6676-6},
  timestamp = {Tue, 25 Apr 2017 12:34:44 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icst/2017w},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/issta/2017,
  editor    = {Tevfik Bultan and
               Koushik Sen},
  title     = {Proceedings of the 26th {ACM} {SIGSOFT} International Symposium on
               Software Testing and Analysis, Santa Barbara, CA, USA, July 10 - 14,
               2017},
  publisher = {{ACM}},
  year      = {2017},
  url       = {http://doi.acm.org/10.1145/3092703},
  doi       = {10.1145/3092703},
  isbn      = {978-1-4503-5076-1},
  timestamp = {Thu, 13 Jul 2017 14:49:34 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/issta/2017},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/icst/2016w,
  title     = {Ninth {IEEE} International Conference on Software Testing, Verification
               and Validation Workshops, {ICST} Workshops 2016, Chicago, IL, USA,
               April 11-15, 2016},
  publisher = {{IEEE} Computer Society},
  year      = {2016},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7517740},
  isbn      = {978-1-5090-3674-5},
  timestamp = {Fri, 05 Aug 2016 13:02:18 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icst/2016w},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/gecco/2015,
  editor    = {Sara Silva and
               Anna Isabel Esparcia{-}Alc{\'{a}}zar},
  title     = {Proceedings of the Genetic and Evolutionary Computation Conference,
               {GECCO} 2015, Madrid, Spain, July 11-15, 2015},
  publisher = {{ACM}},
  year      = {2015},
  url       = {http://dl.acm.org/citation.cfm?id=2739480},
  isbn      = {978-1-4503-3472-3},
  timestamp = {Wed, 30 Dec 2015 09:05:01 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/gecco/2015},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/issta/2015,
  editor    = {Michal Young and
               Tao Xie},
  title     = {Proceedings of the 2015 International Symposium on Software Testing
               and Analysis, {ISSTA} 2015, Baltimore, MD, USA, July 12-17, 2015},
  publisher = {{ACM}},
  year      = {2015},
  url       = {http://doi.acm.org/10.1145/2771783},
  doi       = {10.1145/2771783},
  isbn      = {978-1-4503-3620-8},
  timestamp = {Fri, 03 Feb 2017 11:59:00 +0100},
  biburl    = {http://dblp.org/rec/bib/conf/issta/2015},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/kbse/2015,
  editor    = {Myra B. Cohen and
               Lars Grunske and
               Michael Whalen},
  title     = {30th {IEEE/ACM} International Conference on Automated Software Engineering,
               {ASE} 2015, Lincoln, NE, USA, November 9-13, 2015},
  publisher = {{IEEE} Computer Society},
  year      = {2015},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7371449},
  isbn      = {978-1-5090-0025-8},
  timestamp = {Fri, 06 May 2016 09:56:26 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/kbse/2015},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ssbse/2015,
  editor    = {M{\'{a}}rcio de Oliveira Barros and
               Yvan Labiche},
  title     = {Search-Based Software Engineering - 7th International Symposium, {SSBSE}
               2015, Bergamo, Italy, September 5-7, 2015, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9275},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-22183-0},
  doi       = {10.1007/978-3-319-22183-0},
  isbn      = {978-3-319-22182-3},
  timestamp = {Fri, 26 May 2017 00:49:53 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/ssbse/2015},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/sfm/2014,
  editor    = {Marco Bernardo and
               Ferruccio Damiani and
               Reiner H{\"{a}}hnle and
               Einar Broch Johnsen and
               Ina Schaefer},
  title     = {Formal Methods for Executable Software Models - 14th International
               School on Formal Methods for the Design of Computer, Communication,
               and Software Systems, {SFM} 2014, Bertinoro, Italy, June 16-20, 2014,
               Advanced Lectures},
  series    = {Lecture Notes in Computer Science},
  volume    = {8483},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-07317-0},
  doi       = {10.1007/978-3-319-07317-0},
  isbn      = {978-3-319-07316-3},
  timestamp = {Mon, 05 Jun 2017 12:42:34 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/sfm/2014},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/fmco/2012,
  editor    = {Elena Giachino and
               Reiner H{\"{a}}hnle and
               Frank S. de Boer and
               Marcello M. Bonsangue},
  title     = {Formal Methods for Components and Objects - 11th International Symposium,
               {FMCO} 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures},
  series    = {Lecture Notes in Computer Science},
  volume    = {7866},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-40615-7},
  doi       = {10.1007/978-3-642-40615-7},
  isbn      = {978-3-642-40614-0},
  timestamp = {Wed, 17 May 2017 14:24:49 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/fmco/2012},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/fmics/2012,
  editor    = {Mari{\"{e}}lle Stoelinga and
               Ralf Pinger},
  title     = {Formal Methods for Industrial Critical Systems - 17th International
               Workshop, {FMICS} 2012, Paris, France, August 27-28, 2012. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7437},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-32469-7},
  doi       = {10.1007/978-3-642-32469-7},
  isbn      = {978-3-642-32468-0},
  timestamp = {Sun, 21 May 2017 00:22:12 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/fmics/2012},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/lopstr/2012,
  editor    = {Elvira Albert},
  title     = {Logic-Based Program Synthesis and Transformation, 22nd International
               Symposium, {LOPSTR} 2012, Leuven, Belgium, September 18-20, 2012,
               Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {7844},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-38197-3},
  doi       = {10.1007/978-3-642-38197-3},
  isbn      = {978-3-642-38196-6},
  timestamp = {Wed, 17 May 2017 10:54:56 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/lopstr/2012},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/iat/2011w,
  editor    = {Jomi Fred H{\"{u}}bner and
               Jean{-}Marc Petit and
               Einoshin Suzuki},
  title     = {Proceedings of the 2011 {IEEE/WIC/ACM} International Joint Conference
               on Web Intelligence and Intelligent Agent Technology - Workshops,
               {WI-IAT} 2011, Campus Scientifique de la Doua, Lyon, France, August
               22-27, 2011},
  publisher = {{IEEE} Computer Society},
  year      = {2011},
  url       = {http://ieeexplore.ieee.org/xpl/tocresult.jsp?isnumber=6036728},
  timestamp = {Mon, 15 Jun 2015 19:00:08 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/iat/2011w},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/lopstr/2011,
  editor    = {Germ{\'{a}}n Vidal},
  title     = {Logic-Based Program Synthesis and Transformation - 21st International
               Symposium, {LOPSTR} 2011, Odense, Denmark, July 18-20, 2011. Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {7225},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-32211-2},
  doi       = {10.1007/978-3-642-32211-2},
  isbn      = {978-3-642-32210-5},
  timestamp = {Wed, 17 May 2017 10:54:56 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/lopstr/2011},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/lopstr/2010,
  editor    = {Mar{\'{\i}}a Alpuente},
  title     = {Logic-Based Program Synthesis and Transformation - 20th International
               Symposium, {LOPSTR} 2010, Hagenberg, Austria, July 23-25, 2010, Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {6564},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-20551-4},
  doi       = {10.1007/978-3-642-20551-4},
  isbn      = {978-3-642-20550-7},
  timestamp = {Sat, 16 Sep 2017 12:11:15 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/lopstr/2010},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/paams/2010s,
  editor    = {Yves Demazeau and
               Frank Dignum and
               Juan M. Corchado and
               Javier Bajo and
               Rafael Corchuelo and
               Emilio Corchado and
               Florentino Fern{\'{a}}ndez Riverola and
               Vicente Juli{\'{a}}n and
               Pawel Pawlewski and
               Andrew T. Campbell},
  title     = {Trends in Practical Applications of Agents and Multiagent Systems
               - 8th International Conference on Practical Applications of Agents
               and Multiagent Systems, {PAAMS} 2010 Special Sessions and Workshops,
               Salamanca, Spain, 26-28 April 2010},
  series    = {Advances in Intelligent and Soft Computing},
  volume    = {71},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-12433-4},
  doi       = {10.1007/978-3-642-12433-4},
  isbn      = {978-3-642-12432-7},
  timestamp = {Fri, 19 May 2017 01:26:06 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/paams/2010s},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/icaart/2009,
  editor    = {Joaquim Filipe and
               Ana L. N. Fred and
               Bernadette Sharp},
  title     = {{ICAART} 2009 - Proceedings of the International Conference on Agents
               and Artificial Intelligence, Porto, Portugal, January 19 - 21, 2009},
  publisher = {{INSTICC} Press},
  year      = {2009},
  isbn      = {978-989-8111-66-1},
  timestamp = {Tue, 19 May 2009 15:52:57 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/icaart/2009},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier