José Miguel Rojas Home Page Coauthor index pubzone.org

Facets and more with CompleteSearch

José Miguel Rojas Siles

The University of Sheffield, UK

Listing of the DBLP Bibliography Server - FAQ
Other views (modern): by type - by year
Other mirrors: Trier II - Dagstuhl


Ask others: ACM DL/Guide - CiteSeerx - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2017
j3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Miguel Rojas, Mattia Vivanti, Andrea Arcuri, Gordon Fraser: A detailed investigation of the effectiveness of whole test suite generation. Empirical Software Engineering 22(2): 852-893 (2017)
c16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Miguel Rojas, Thomas D. White, Benjamin S. Clegg, Gordon Fraser: Code defenders: crowdsourcing effective tests and subtle mutants with a mutation testing game. ICSE 2017: 677-688
c15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJens Krinke, Nan Li, José Miguel Rojas: Message from the Mutation 2017 Chairs. ICST Workshops 2017: 85-86
2016
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Miguel Rojas, Gordon Fraser, Andrea Arcuri: Seeding strategies in search-based unit test generation. Softw. Test., Verif. Reliab. 26(5): 366-401 (2016)
c14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Miguel Rojas, Gordon Fraser: Code Defenders: A Mutation Testing Game. ICST Workshops 2016: 162-167
2015
c13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSina Shamshiri, José Miguel Rojas, Gordon Fraser, Phil McMinn: Random or Genetic Algorithm Search for Object-Oriented Test Suite Generation? GECCO 2015: 1367-1374
c12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Miguel Rojas, Gordon Fraser, Andrea Arcuri: Automated unit test generation during software development: a controlled experiment and think-aloud observations. ISSTA 2015: 338-349
c11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSina Shamshiri, René Just, José Miguel Rojas, Gordon Fraser, Phil McMinn, Andrea Arcuri: Do Automatically Generated Unit Tests Find Real Faults? An Empirical Study of Effectiveness and Challenges (T). ASE 2015: 201-211
c10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Miguel Rojas, José Campos, Mattia Vivanti, Gordon Fraser, Andrea Arcuri: Combining Multiple Coverage Criteria in Search-Based Unit Test Generation. SSBSE 2015: 93-108
2014
c9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLElvira Albert, Puri Arenas, Miguel Gómez-Zamalloa, José Miguel Rojas: Test Case Generation by Symbolic Execution: Basic Concepts, a CLP-Based Instance, and Actor-Based Concurrency. SFM 2014: 263-309
2013
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLElvira Albert, Maria J. García de la Banda, Miguel Gómez-Zamalloa, José Miguel Rojas, Peter J. Stuckey: A CLP heap solver for test case generation. TPLP 13(4-5): 721-735 (2013)
2012
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLElvira Albert, Diego Esteban Alonso-Blas, Puri Arenas, Jesús Correas, Antonio Flores-Montoya, Samir Genaim, Miguel Gómez-Zamalloa, Abu Naser Masud, German Puebla, José Miguel Rojas, Guillermo Román-Díez, Damiano Zanardini: Automatic Inference of Bounds on Resource Consumption. FMCO 2012: 119-144
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLElvira Albert, Bjarte M. Østvold, José Miguel Rojas: Automated Extraction of Abstract Behavioural Models from JMS Applications. FMICS 2012: 16-31
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Miguel Rojas, Miguel Gómez-Zamalloa: A Framework for Guided Test Case Generation in Constraint Logic Programming. LOPSTR 2012: 176-193
2011
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarmen B. Navarrete, Marina de la Cruz Echeandía, Eloy Anguiano, Alfonso Ortega de la Puente, José Miguel Rojas: Parallel Simulation of NEPs on Clusters. Web Intelligence/IAT Workshops 2011: 171-174
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLElvira Albert, Miguel Gómez-Zamalloa, José Miguel Rojas: Resource-Driven CLP-Based Test Case Generation. LOPSTR 2011: 25-41
2010
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLElvira Albert, Miguel Gómez-Zamalloa, José Miguel Rojas, Germán Puebla: Compositional CLP-Based Test Data Generation for Imperative Languages. LOPSTR 2010: 99-116
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Miguel Rojas Siles, Marina de la Cruz Echeandía, Alfonso Ortega de la Puente: Towards the Automatic Programming of H Systems: jHsys, a Java H System Simulator. PAAMS (Special Sessions and Workshops) 2010: 387-394
2009
c1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEmilio del Rosal García, José Miguel Rojas Siles, Rafael Núñez Hervás, Carlos Castañeda Marroquín, Alfonso Ortega de la Puente: On the Solutions of NP-Complete Problems by Means of jNEP Run on Computers. ICAART 2009: 605-612

Coauthor Index

1Elvira Albert[c9] [j1] [c8] [c7] [c4] [c3]
2Diego Esteban Alonso-Blas[c8]
3Eloy Anguiano[c5]
4Andrea Arcuri[j3] [j2] [c12] [c11] [c10]
5Puri Arenas[c9] [c8]
6Maria Garcia de la Banda
Maria J. García de la Banda
[j1]
7José Campos[c10]
8Benjamin S. Clegg[c16]
9Marina de la Cruz
Marina de la Cruz Echeandía
[c5] [c2]
10Jesús Correas Fernández
Jesús Correas
[c8]
11Antonio Flores-Montoya[c8]
12Gordon Fraser[j3] [c16] [j2] [c14] [c13] [c12] [c11] [c10]
13Emilio del Rosal García[c1]
14Samir Genaim[c8]
15Miguel Gómez-Zamalloa[c9] [j1] [c8] [c6] [c4] [c3]
16Rafael Núñez Hervás[c1]
17René Just[c11]
18Jens Krinke[c15]
19Nan Li[c15]
20Carlos Castañeda Marroquín[c1]
21Abu Naser Masud[c8]
22Phil McMinn[c13] [c11]
23Carmen B. Navarrete[c5]
24Alfonso Ortega
Alfonso Ortega de la Puente
[c5] [c2] [c1]
25Bjarte M. Østvold[c7]
26Germán Puebla
German Puebla
[c8] [c3]
27Guillermo Román-Díez[c8]
28Sina Shamshiri[c13] [c11]
29Peter J. Stuckey[j1]
30Mattia Vivanti[j3] [c10]
31Thomas D. White[c16]
32Damiano Zanardini[c8]

 

Last update 2017-06-11 01:19 CEST by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page