Información de la editorial
Documentos disponibles de esta editorial (6)
Añadir el resultado a su cesta Hacer una sugerencia Refinar búsqueda
texto impreso
García Merayo, Mercedes ; Andrés Sánchez, César ; Molinero Brizuela, Carlos | IEEE Computer SOC | 2009-04This paper presents an empirical study of the mutation techniques used by the tool PASTE. This tool allows the automation of our passive testing methodology for systems that present stochastic-time information. In our proposal, invariants expres[...]texto impreso
García Merayo, Mercedes ; Andrés Sánchez, César ; Núñez García, Manuel | IEEE Computer SOC | 2009-11In this paper we present a formal passive testing framework and use it to analyze time aspects in the Stream Control Transmission Protocol (SCTP). This protocol presents different phases where time aspects are critical. In order to represent tem[...]texto impreso
Stream X-machines are a kind of extended finite state machine used to specify real systems where communication between the components is modeled by using a shared memory. In this paper we introduce an extension of the Stream X-machines formalism[...]texto impreso
In this paper we introduce a formal Methodology to perforin passive testing, based on invariants, for systems where the passing of time is represented in probabilistic terms by means of probability distributions functions. In our approach, invar[...]texto impreso
Cruz García, Jesús Manuel de la ; López Orozco, José Antonio ; Besada Portas, Eva ; Aranda Almansa, Joaquín | IEEE Computer SOC | 2015This paper presents a new nonlinear path-following guidance method for autonomous vehicles, which integrates two guidance laws that have given good results independently in applications in autonomous ground, marine, and air vehicles. This new te[...]texto impreso
Stream X-machines have been used to specify real systems requiring to represent complex data structures. One of the advantages of using stream X-machines to specify a system is that it is possible to produce a test set that, under certain condit[...]
