 |
Datos de la tesis doctoralFacultad de Informática |
 |
|
Datos de la tesis doctoralFacultad de Informática |
|
| 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) | Sí | |
| 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 |