Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: José Miguel Rojas
@inproceedings{DBLP:conf/kbse/GuR23,
author = {Ruizhen Gu and
Jos{\'{e}} Miguel Rojas},
title = {An Empirical Study on the Adoption of Scripted {GUI} Testing for Android
Apps},
booktitle = {38th {IEEE/ACM} International Conference on Automated Software Engineering,
{ASE} 2023 - Workshops, Luxembourg, September 11-15, 2023},
pages = {179--182},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ASEW60602.2023.00030},
doi = {10.1109/ASEW60602.2023.00030},
timestamp = {Thu, 16 Nov 2023 09:03:51 +0100},
biburl = {https://dblp.org/rec/conf/kbse/GuR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ast/MorenoGCR22,
author = {Iv{\'{a}}n Arcuschin Moreno and
Juan Pablo Galeotti and
Christian Ciccaroni and
Jos{\'{e}} Miguel Rojas},
title = {On the feasibility and challenges of synthesizing executable Espresso
tests},
booktitle = {{IEEE/ACM} International Conference on Automation of Software Test,
AST@ICSE 2022, Pittsburgh, PA, USA, May 21-22, 2022},
pages = {92--102},
publisher = {{ACM/IEEE}},
year = {2022},
url = {https://doi.org/10.1145/3524481.3527234},
doi = {10.1145/3524481.3527234},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ast/MorenoGCR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssbse/RoslanRM22,
author = {Muhammad Firhard Roslan and
Jos{\'{e}} Miguel Rojas and
Phil McMinn},
editor = {Mike Papadakis and
Silvia Regina Vergilio},
title = {An Empirical Comparison of EvoSuite and DSpot for Improving Developer-Written
Test Suites with Respect to Mutation Score},
booktitle = {Search-Based Software Engineering - 14th International Symposium,
{SSBSE} 2022, Singapore, November 17-18, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13711},
pages = {19--34},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-21251-2\_2},
doi = {10.1007/978-3-031-21251-2\_2},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ssbse/RoslanRM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/splc/2022b,
editor = {Alexander Felfernig and
Lidia Fuentes and
Jane Cleland{-}Huang and
Wesley K. G. Assun{\c{c}}{\~{a}}o and
Cl{\'{e}}ment Quinton and
Jianmei Guo and
Klaus Schmid and
Marianne Huchard and
Inmaculada Ayala and
Jos{\'{e}} Miguel Rojas and
Viet{-}Man Le and
Jos{\'{e}} Miguel Horcas},
title = {{SPLC} '22: 26th {ACM} International Systems and Software Product
Line Conference, Graz, Austria, September 12 - 16, 2022, Volume {B}},
publisher = {{ACM}},
year = {2022},
url = {https://doi.org/10.1145/3503229},
doi = {10.1145/3503229},
isbn = {978-1-4503-9206-8},
timestamp = {Fri, 26 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/splc/2022b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/FraserGR20,
author = {Gordon Fraser and
Alessio Gambi and
Jos{\'{e}} Miguel Rojas},
title = {Teaching Software Testing with the Code Defenders Testing Game: Experiences
and Improvements},
booktitle = {13th {IEEE} International Conference on Software Testing, Verification
and Validation Workshops, {ICSTW} 2020, Porto, Portugal, October 24-28,
2020},
pages = {461--464},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/ICSTW50294.2020.00082},
doi = {10.1109/ICSTW50294.2020.00082},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/FraserGR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/JustKLR19,
author = {Ren{\'{e}} Just and
Jens Krinke and
Nan Li and
Jos{\'{e}} Miguel Rojas},
title = {Special issue on mutation testing and analysis},
journal = {Softw. Test. Verification Reliab.},
volume = {29},
number = {1-2},
year = {2019},
url = {https://doi.org/10.1002/stvr.1697},
doi = {10.1002/STVR.1697},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/JustKLR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigcse/FraserGKR19,
author = {Gordon Fraser and
Alessio Gambi and
Marvin Kreis and
Jos{\'{e}} Miguel Rojas},
editor = {Elizabeth K. Hawthorne and
Manuel A. P{\'{e}}rez{-}Qui{\~{n}}ones and
Sarah Heckman and
Jian Zhang},
title = {Gamifying a Software Testing Course with Code Defenders},
booktitle = {Proceedings of the 50th {ACM} Technical Symposium on Computer Science
Education, {SIGCSE} 2019, Minneapolis, MN, USA, February 27 - March
02, 2019},
pages = {571--577},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3287324.3287471},
doi = {10.1145/3287324.3287471},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sigcse/FraserGKR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/19/FraserR19,
author = {Gordon Fraser and
Jos{\'{e}} Miguel Rojas},
editor = {Sungdeok Cha and
Richard N. Taylor and
Kyo Chul Kang},
title = {Software Testing},
booktitle = {Handbook of Software Engineering},
pages = {123--192},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-00262-6\_4},
doi = {10.1007/978-3-030-00262-6\_4},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/19/FraserR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icse/2019sbst,
editor = {Alessandra Gorla and
Jos{\'{e}} Miguel Rojas},
title = {Proceedings of the 12th International Workshop on Search-Based Software
Testing, SBST@ICSE 2019, Montreal, QC, Canada, May 27, 2019},
publisher = {{IEEE} / {ACM}},
year = {2019},
url = {https://ieeexplore.ieee.org/xpl/conhome/8798486/proceeding},
isbn = {978-1-7281-2233-5},
timestamp = {Wed, 16 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/2019sbst.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/ShamshiriRGFMMA18,
author = {Sina Shamshiri and
Jos{\'{e}} Miguel Rojas and
Luca Gazzola and
Gordon Fraser and
Phil McMinn and
Leonardo Mariani and
Andrea Arcuri},
title = {Random or evolutionary search for object-oriented test suite generation?},
journal = {Softw. Test. Verification Reliab.},
volume = {28},
number = {4},
year = {2018},
url = {https://doi.org/10.1002/stvr.1660},
doi = {10.1002/STVR.1660},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/ShamshiriRGFMMA18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecsee/FraserGR18,
author = {Gordon Fraser and
Alessio Gambi and
Jos{\'{e}} Miguel Rojas},
editor = {J{\"{u}}rgen Mottok},
title = {A Preliminary Report on Gamifying a Software Testing Course with the
Code Defenders Testing Game},
booktitle = {Proceedings of the 3rd European Conference of Software Engineering
Education, {ECSEE} 2018, Seeon Monastery, Bavaria, Germany, June 14-15,
2018},
pages = {50--54},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3209087.3209103},
doi = {10.1145/3209087.3209103},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecsee/FraserGR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/FraserRA18,
author = {Gordon Fraser and
Jos{\'{e}} Miguel Rojas and
Andrea Arcuri},
editor = {Juan Pablo Galeotti and
Alessandra Gorla},
title = {Evosuite at the {SBST} 2018 tool competition},
booktitle = {Proceedings of the 11th International Workshop on Search-Based Software
Testing, {ICSE} 2018, Gothenburg, Sweden, May 28-29, 2018},
pages = {34--37},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3194718.3194729},
doi = {10.1145/3194718.3194729},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/FraserRA18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/ElerRGF18,
author = {Marcelo Medeiros Eler and
Jos{\'{e}} Miguel Rojas and
Yan Ge and
Gordon Fraser},
title = {Automated Accessibility Testing of Mobile Apps},
booktitle = {11th {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2018, V{\"{a}}ster{\aa}s, Sweden, April
9-13, 2018},
pages = {116--126},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/ICST.2018.00021},
doi = {10.1109/ICST.2018.00021},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/ElerRGF18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/ShamshiriRGWF18,
author = {Sina Shamshiri and
Jos{\'{e}} Miguel Rojas and
Juan Pablo Galeotti and
Neil Walkinshaw and
Gordon Fraser},
title = {How Do Automatically Generated Unit Tests Influence Software Maintenance?},
booktitle = {11th {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2018, V{\"{a}}ster{\aa}s, Sweden, April
9-13, 2018},
pages = {250--261},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/ICST.2018.00033},
doi = {10.1109/ICST.2018.00033},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icst/ShamshiriRGWF18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/RojasWCF18,
author = {Jos{\'{e}} Miguel Rojas and
Thomas D. White and
Benjamin S. Clegg and
Gordon Fraser},
editor = {Matthias Tichy and
Eric Bodden and
Marco Kuhrmann and
Stefan Wagner and
Jan{-}Philipp Stegh{\"{o}}fer},
title = {Code Defenders},
booktitle = {Software Engineering und Software Management 2018, Fachtagung des
GI-Fachbereichs Softwaretechnik, {SE} 2018, 5.-9. M{\"{a}}rz
2018, Ulm, Germany},
series = {{LNI}},
volume = {{P-279}},
pages = {77--78},
publisher = {Gesellschaft f{\"{u}}r Informatik},
year = {2018},
url = {https://dl.gi.de/handle/20.500.12116/16319},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/se/RojasWCF18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@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 = {Empir. Softw. Eng.},
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 = {Mon, 23 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ese/RojasVAF17.bib},
bibsource = {dblp computer science bibliography, https://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},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ICSE-SEET.2017.1},
doi = {10.1109/ICSE-SEET.2017.1},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/CleggRF17.bib},
bibsource = {dblp computer science bibliography, https://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},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/SBST.2017.6},
doi = {10.1109/SBST.2017.6},
timestamp = {Tue, 26 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/FraserRCA17.bib},
bibsource = {dblp computer science bibliography, https://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},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/SBST.2017.4},
doi = {10.1109/SBST.2017.4},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/RojasF17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/RojasWCF17,
author = {Jos{\'{e}} Miguel Rojas and
Thomas D. White and
Benjamin S. Clegg and
Gordon Fraser},
editor = {Sebasti{\'{a}}n Uchitel and
Alessandro Orso and
Martin P. Robillard},
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},
publisher = {{IEEE} / {ACM}},
year = {2017},
url = {https://doi.org/10.1109/ICSE.2017.68},
doi = {10.1109/ICSE.2017.68},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/RojasWCF17.bib},
bibsource = {dblp computer science bibliography, https://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},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ICSTW.2017.22},
doi = {10.1109/ICSTW.2017.22},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/KrinkeLR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/DakaRF17,
author = {Ermira Daka and
Jos{\'{e}} Miguel Rojas and
Gordon Fraser},
editor = {Tevfik Bultan and
Koushik Sen},
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},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3092703.3092727},
doi = {10.1145/3092703.3092727},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issta/DakaRF17.bib},
bibsource = {dblp computer science bibliography, https://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. Verification Reliab.},
volume = {26},
number = {5},
pages = {366--401},
year = {2016},
url = {https://doi.org/10.1002/stvr.1601},
doi = {10.1002/STVR.1601},
timestamp = {Tue, 12 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/stvr/RojasFA16.bib},
bibsource = {dblp computer science bibliography, https://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},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/ICSTW.2016.43},
doi = {10.1109/ICSTW.2016.43},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/RojasF16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppig/RojasF16,
author = {Jos{\'{e}} Miguel Rojas and
Gordon Fraser},
editor = {Luke Church},
title = {Teaching Software Testing with a Mutation Testing Game},
booktitle = {Proceedings of the 27th Annual Workshop of the Psychology of Programming
Interest Group, {PPIG} 2016, Cambridge, UK, September 7-10, 2016},
pages = {23},
publisher = {Psychology of Programming Interest Group},
year = {2016},
url = {https://ppig.org/papers/2016-ppig-27th-rojas/},
timestamp = {Wed, 18 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ppig/RojasF16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gecco/ShamshiriRFM15,
author = {Sina Shamshiri and
Jos{\'{e}} Miguel Rojas and
Gordon Fraser and
Phil McMinn},
editor = {Sara Silva and
Anna Isabel Esparcia{-}Alc{\'{a}}zar},
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},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2739480.2754696},
doi = {10.1145/2739480.2754696},
timestamp = {Mon, 23 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/gecco/ShamshiriRFM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issta/RojasFA15,
author = {Jos{\'{e}} Miguel Rojas and
Gordon Fraser and
Andrea Arcuri},
editor = {Michal Young and
Tao Xie},
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},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2771783.2771801},
doi = {10.1145/2771783.2771801},
timestamp = {Fri, 05 Nov 2021 10:54:23 +0100},
biburl = {https://dblp.org/rec/conf/issta/RojasFA15.bib},
bibsource = {dblp computer science bibliography, https://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},
editor = {Myra B. Cohen and
Lars Grunske and
Michael Whalen},
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},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ASE.2015.86},
doi = {10.1109/ASE.2015.86},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/ShamshiriJRFMA15.bib},
bibsource = {dblp computer science bibliography, https://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},
editor = {M{\'{a}}rcio de Oliveira Barros and
Yvan Labiche},
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},
series = {Lecture Notes in Computer Science},
volume = {9275},
pages = {93--108},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-22183-0\_7},
doi = {10.1007/978-3-319-22183-0\_7},
timestamp = {Tue, 26 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ssbse/RojasCVFA15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sfm/AlbertAGR14,
author = {Elvira Albert and
Puri Arenas and
Miguel G{\'{o}}mez{-}Zamalloa and
Jos{\'{e}} Miguel Rojas},
editor = {Marco Bernardo and
Ferruccio Damiani and
Reiner H{\"{a}}hnle and
Einar Broch Johnsen and
Ina Schaefer},
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},
series = {Lecture Notes in Computer Science},
volume = {8483},
pages = {263--309},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-07317-0\_7},
doi = {10.1007/978-3-319-07317-0\_7},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sfm/AlbertAGR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/es/Siles13,
author = {Jos{\'{e}} Miguel Rojas Siles},
title = {Generaci{\'{o}}n de Casos de Prueba en Programaci{\'{o}}n
Orientada a Objetos = Test Case Generation in Object-Oriented Programming},
school = {Technical University of Madrid, Spain},
year = {2013},
url = {https://oa.upm.es/22751/},
timestamp = {Thu, 16 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/phd/es/Siles13.bib},
bibsource = {dblp computer science bibliography, https://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 = {Theory Pract. Log. Program.},
volume = {13},
number = {4-5},
pages = {721--735},
year = {2013},
url = {https://doi.org/10.1017/S1471068413000458},
doi = {10.1017/S1471068413000458},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/AlbertBGRS13.bib},
bibsource = {dblp computer science bibliography, https://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},
editor = {Elena Giachino and
Reiner H{\"{a}}hnle and
Frank S. de Boer and
Marcello M. Bonsangue},
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},
series = {Lecture Notes in Computer Science},
volume = {7866},
pages = {119--144},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-40615-7\_4},
doi = {10.1007/978-3-642-40615-7\_4},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmco/AlbertAACFGGMPRRZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/AlbertOR12,
author = {Elvira Albert and
Bjarte M. {\O}stvold and
Jos{\'{e}} Miguel Rojas},
editor = {Mari{\"{e}}lle Stoelinga and
Ralf Pinger},
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},
series = {Lecture Notes in Computer Science},
volume = {7437},
pages = {16--31},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-32469-7\_2},
doi = {10.1007/978-3-642-32469-7\_2},
timestamp = {Fri, 09 Apr 2021 18:51:27 +0200},
biburl = {https://dblp.org/rec/conf/fmics/AlbertOR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/RojasG12,
author = {Jos{\'{e}} Miguel Rojas and
Miguel G{\'{o}}mez{-}Zamalloa},
editor = {Elvira Albert},
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},
series = {Lecture Notes in Computer Science},
volume = {7844},
pages = {176--193},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-38197-3\_12},
doi = {10.1007/978-3-642-38197-3\_12},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lopstr/RojasG12.bib},
bibsource = {dblp computer science bibliography, https://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},
editor = {Jomi Fred H{\"{u}}bner and
Jean{-}Marc Petit and
Einoshin Suzuki},
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},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/WI-IAT.2011.131},
doi = {10.1109/WI-IAT.2011.131},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iat/NavarreteEAPR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/AlbertGR11,
author = {Elvira Albert and
Miguel G{\'{o}}mez{-}Zamalloa and
Jos{\'{e}} Miguel Rojas},
editor = {Germ{\'{a}}n Vidal},
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},
series = {Lecture Notes in Computer Science},
volume = {7225},
pages = {25--41},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-32211-2\_3},
doi = {10.1007/978-3-642-32211-2\_3},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lopstr/AlbertGR11.bib},
bibsource = {dblp computer science bibliography, https://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},
editor = {Mar{\'{\i}}a Alpuente},
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},
series = {Lecture Notes in Computer Science},
volume = {6564},
pages = {99--116},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-20551-4\_7},
doi = {10.1007/978-3-642-20551-4\_7},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lopstr/AlbertGRP10.bib},
bibsource = {dblp computer science bibliography, https://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},
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 = {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},
series = {Advances in Intelligent and Soft Computing},
volume = {71},
pages = {387--394},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-12433-4\_46},
doi = {10.1007/978-3-642-12433-4\_46},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/paams/SilesEP10.bib},
bibsource = {dblp computer science bibliography, https://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},
editor = {Joaquim Filipe and
Ana L. N. Fred and
Bernadette Sharp},
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},
publisher = {{INSTICC} Press},
year = {2009},
timestamp = {Tue, 19 May 2009 15:52:57 +0200},
biburl = {https://dblp.org/rec/conf/icaart/GarciaSHMP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2024-04-21 16:51 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
