Datos de la tesis doctoral

Facultad de Informática

Volver atrás





DATOS DE LA TESIS

Titulo Testing Activo y Pasivo de Sistemas con Información Temporal y Probabilística

Doctorando César Andrés Sánchez

Director(es) Mercedes García Merayo y Manuel Núñez García

Universidad Universidad Complutense de Madrid

Año de lectura 2010

Doctorado europeo (si/no)




Publicaciones de la tesis

a) Revistas

AUTORES César Andrés, Luis Llana, Ismael Rodríguez

Nº DE AUTORES 3

TÍTULO Formally transforming user-model testing problems into implementer-model testing problems and viceversa

CLAVE (Artículo, Artículo de revisión, editor) Artículo

NOMBRE DE LA REVISTA Journal of Logic and Algebraic Programming

VOLUMEN 78 (6)

PÁGINAS DESDE 425

HASTA 453

EDITORIAL Elsevier

PAÍS DE PUBLICACIÓN Estados Unidos

AÑO DE PUBLICACIÓN 2009

ISSN 1567-8326

INDICIOS DE CALIDAD AREA de JCR: COMPUTER SCIENCE, THEORY & METHODS

ÍNDICE DE IMPACTO: = 1.018

POSICIÓN QUE OCUPA LA REVISTA EN EL ÁREA: 42

Nº DE REVISTAS EN EL ÁREA: 84

Nº DE CITAS (si se sabe, excl. autocitas):

OTROS INDICIOS (si se sabe):




AUTORES César Andrés, Mercedes G. Merayo, Manuel Núñez

Nº DE AUTORES 3

TÍTULO Passive Testing of Timed Systems

CLAVE (Artículo, Artículo de revisión, editor) Artículo

NOMBRE DE LA REVISTA Automated Technology for Verification and Analysis, Lecture Notes in Computer Science

VOLUMEN 5311/2008

PÁGINAS DESDE 418

HASTA 427

EDITORIAL Springer

PAÍS DE PUBLICACIÓN Alemania

AÑO DE PUBLICACIÓN 2008

ISSN 0302-9743

INDICIOS DE CALIDAD AREA de JCR:

ÍNDICE DE IMPACTO:

POSICIÓN QUE OCUPA LA REVISTA EN EL ÁREA:

Nº DE REVISTAS EN EL ÁREA:

Nº DE CITAS (si se sabe, excl. autocitas):

OTROS INDICIOS (si se sabe): CORE A




b) Libros




AUTORES César Andrés, Luis Llana, Ismael Rodríguez

Nº DE AUTORES 3

TÍTULO Formally comparing user and implementer model-based testing methods

CLAVE (libro completo, capítulo de libro, editor, prólogo, otros) Capítulo de libro

VOLUMEN

COLECCIÓN AMOST '08: 4th Workshop on Advances in Model Based Testing, proceedings of the 2nd IEEE International Conference on Software Testing Verification and Validation Workshop

PÁGINAS DESDE 1

HASTA 10

EDITORIAL IEEE Computer Society

PAÍS DE PUBLICACIÓN Estados Unidos

AÑO DE PUBLICACIÓN 2008

ISBN 978-0-7695-3388-9

INDICIOS DE CALIDAD Nº DE CITAS(si se sabe, excl. autocitas):

RESEÑAS EN REVISTAS CIENTÍFICAS:

TRADUCCIONES A OTRAS LENGUAS:

OTROS INDICIOS (si se sabe):




AUTORES César Andrés, Mercedes G. Merayo, Manuel Núñez

Nº DE AUTORES 3

TÍTULO Passive Testing of Stochastic Timed Systems

CLAVE (libro completo, capítulo de libro, editor, prólogo, otros) Capítulo de libro

VOLUMEN

COLECCIÓN ICST 2009, 2nd International Conference on Software Testing Verification and Validation

PÁGINAS DESDE 71

HASTA 80

EDITORIAL IEEE Computer Society

PAÍS DE PUBLICACIÓN Estados Unidos

AÑO DE PUBLICACIÓN 2009

ISBN 978-0-7695-3601-9

INDICIOS DE CALIDAD Nº DE CITAS(si se sabe, excl. autocitas):

RESEÑAS EN REVISTAS CIENTÍFICAS:

TRADUCCIONES A OTRAS LENGUAS:

OTROS INDICIOS (si se sabe): Core B




AUTORES César Andrés, Mercedes G. Merayo, Manuel Núñez

Nº DE AUTORES 3

TÍTULO Formal correctness of a passive testing approach for timed systems

CLAVE (libro completo, capítulo de libro, editor, prólogo, otros) Capítulo de libro

VOLUMEN

COLECCIÓN AMOST'09: 5th Workshop on Advances in Model Based Testing, proceedings of the 2nd IEEE International Conference on Software Testing, Verification, and Validation Workshops

PÁGINAS DESDE 67

HASTA 76

EDITORIAL IEEE Computer Society

PAÍS DE PUBLICACIÓN Estados Unidos

AÑO DE PUBLICACIÓN 2009

ISBN 978-0-7695-3671-2

INDICIOS DE CALIDAD Nº DE CITAS(si se sabe, excl. autocitas):

RESEÑAS EN REVISTAS CIENTÍFICAS:

TRADUCCIONES A OTRAS LENGUAS:

OTROS INDICIOS (si se sabe):




AUTORES César Andrés, Mercedes G. Merayo, Carlos Molinero

Nº DE AUTORES 3

TÍTULO Advantages of Mutation in Passive Testing: An Empirical Study

CLAVE (libro completo, capítulo de libro, editor, prólogo, otros) Capítulo de libro

VOLUMEN

COLECCIÓN MUTATION '09: 4th Workshop on Mutation Analysis, proceedings of the 2nd IEEE International Conference on Software Testing, Verification, and Validation Workshops

PÁGINAS DESDE 230

HASTA 239

EDITORIAL IEEE Computer Society

PAÍS DE PUBLICACIÓN Estados Unidos

AÑO DE PUBLICACIÓN 2009

ISBN 978-0-7695-3671-2

INDICIOS DE CALIDAD Nº DE CITAS(si se sabe, excl. autocitas):

RESEÑAS EN REVISTAS CIENTÍFICAS:

TRADUCCIONES A OTRAS LENGUAS:

OTROS INDICIOS (si se sabe):




AUTORES César Andrés, Mercedes G. Merayo, Manuel Núñez

Nº DE AUTORES 3

TÍTULO Using a Mining Frequency Patterns Model to Automate Passive
Testing of Real-time Systems

CLAVE (libro completo, capítulo de libro, editor, prólogo, otros) Capítulo de libro

VOLUMEN

COLECCIÓN SEKE '09: Proceedings of the 21st International Conference on Software
Engineering & Knowledge Engineering

PÁGINAS DESDE 230

HASTA 239

EDITORIAL Knowledge Systems Institute Graduate School

PAÍS DE PUBLICACIÓN Estados Unidos

AÑO DE PUBLICACIÓN 2009

ISBN 1-891706-24-1

INDICIOS DE CALIDAD Nº DE CITAS(si se sabe, excl. autocitas):

RESEÑAS EN REVISTAS CIENTÍFICAS:

TRADUCCIONES A OTRAS LENGUAS:

OTROS INDICIOS (si se sabe): listado en CS Conferences Rankings, en la categoría Ap-
plications / Education / Software / Theory / Communications / Graphics / Bioinfor-
matics ocupando la posición 67 de 788 congresos considerados. Core B




AUTORES César Andrés, Mercedes G. Merayo, Manuel Núñez

Nº DE AUTORES 3

TÍTULO  Supporting the extraction of timed properties for passive testing by using probabilistic user models

CLAVE (libro completo, capítulo de libro, editor, prólogo, otros) Capítulo de libro

VOLUMEN

COLECCIÓN QSIC '09: Proceedings of the 9th International Conference on Quality Software

PÁGINAS DESDE (en prensa)

HASTA (en prensa)

EDITORIAL

PAÍS DE PUBLICACIÓN

AÑO DE PUBLICACIÓN

ISBN

INDICIOS DE CALIDAD Nº DE CITAS(si se sabe, excl. autocitas):

RESEÑAS EN REVISTAS CIENTÍFICAS:

TRADUCCIONES A OTRAS LENGUAS:

OTROS INDICIOS (si se sabe): Core B




AUTORES César Andrés, Mercedes G. Merayo, Manuel Núñez

Nº DE AUTORES 3

TÍTULO Applying formal passive testing to study temporal properties of the Stream Control Transmission Protocol

CLAVE (libro completo, capítulo de libro, editor, prólogo, otros) Capítulo de libro

VOLUMEN

COLECCIÓN SEFM '09: Proceedings of the 7th IEEE International Conference on Software Engineering and Formal Methods

PÁGINAS DESDE 73

HASTA 82

EDITORIAL IEEE Computer Society

PAÍS DE PUBLICACIÓN Estados Unidos

AÑO DE PUBLICACIÓN 2009

ISBN 978-0-7695-3870-9

INDICIOS DE CALIDAD Nº DE CITAS(si se sabe, excl. autocitas):

RESEÑAS EN REVISTAS CIENTÍFICAS:

TRADUCCIONES A OTRAS LENGUAS:

OTROS INDICIOS (si se sabe): Core B




AUTORES César Andrés,  Stéphane Maag,  Ana Cavalli,  Mercedes G. Merayo, Manuel Núñez

Nº DE AUTORES 5

TÍTULO Analysis of the OLSR Protocol by using formal passive testing

CLAVE (libro completo, capítulo de libro, editor, prólogo, otros) Capítulo de libro

VOLUMEN

COLECCIÓN APSEC '09: Proceedings of the 16th Asia-Pacific Software Engineering Conference

PÁGINAS DESDE 152

HASTA 159

EDITORIAL IEEE Computer Society

PAÍS DE PUBLICACIÓN Estados Unidos

AÑO DE PUBLICACIÓN 2009

ISBN 978-0-7695-3909-6

INDICIOS DE CALIDAD Nº DE CITAS(si se sabe, excl. autocitas):

RESEÑAS EN REVISTAS CIENTÍFICAS:

TRADUCCIONES A OTRAS LENGUAS:

OTROS INDICIOS (si se sabe): Core C







AUTORES César Andrés,  Mercedes G. Merayo, Yaofeng Zhang

Nº DE AUTORES 3

TÍTULO From data mining to user models in evolutionary databases

CLAVE (libro completo, capítulo de libro, editor, prólogo, otros) Capítulo de libro

VOLUMEN

COLECCIÓN ACIIDS '10: Proceedings of the 2nd Asian Conference on Intelligent Information and Database Systems

PÁGINAS DESDE 54

HASTA 63

EDITORIAL Springer

PAÍS DE PUBLICACIÓN Alemania

AÑO DE PUBLICACIÓN 2010

ISBN 978-3-642-12144-9

INDICIOS DE CALIDAD Nº DE CITAS(si se sabe, excl. autocitas):

RESEÑAS EN REVISTAS CIENTÍFICAS:

TRADUCCIONES A OTRAS LENGUAS:

OTROS INDICIOS (si se sabe):







AUTORES César Andrés, Mercedes G. Merayo, Manuel Núñez

Nº DE AUTORES 3

TÍTULO Multi-objective Genetic Algorithms: Construction and Recombination of Passive Testing Properties

CLAVE (libro completo, capítulo de libro, editor, prólogo, otros) Capítulo de libro

VOLUMEN

COLECCIÓN SEKE '10: Proceedings of the 22nd International Conference on Software
Engineering & Knowledge Engineering

PÁGINAS DESDE 405

HASTA 410

EDITORIAL Knowledge Systems Institute Graduate School

PAÍS DE PUBLICACIÓN Estados Unidos

AÑO DE PUBLICACIÓN 2010

ISBN 1-891706-26-8

INDICIOS DE CALIDAD Nº DE CITAS(si se sabe, excl. autocitas):

RESEÑAS EN REVISTAS CIENTÍFICAS:

TRADUCCIONES A OTRAS LENGUAS:

OTROS INDICIOS (si se sabe): listado en CS Conferences Rankings, en la categoría Ap-
plications / Education / Software / Theory / Communications / Graphics / Bioinfor-
matics ocupando la posición 67 de 788 congresos considerados. Core B




AUTORES César Andrés, M.E. Cambronero, Manuel Núñez

Nº DE AUTORES 3

TÍTULO Formal Passive Testing of Service-Oriented Systems

CLAVE (libro completo, capítulo de libro, editor, prólogo, otros) Capítulo de libro

VOLUMEN

COLECCIÓN SCC '2010: 7th Conference on Services Computing

PÁGINAS DESDE 610

HASTA 613

EDITORIAL IEEE Computer Society

PAÍS DE PUBLICACIÓN Estados Unidos

AÑO DE PUBLICACIÓN 2010

ISBN 978-0-7695-4126-6

INDICIOS DE CALIDAD Nº DE CITAS(si se sabe, excl. autocitas):

RESEÑAS EN REVISTAS CIENTÍFICAS:

TRADUCCIONES A OTRAS LENGUAS:

OTROS INDICIOS (si se sabe): Core A