Felipe Lalanne

Learn More
Passive testing techniques are used whenever the system under test cannot be interrupted, or access to its interfaces is unavailable. Under such conditions, communication traces are extracted from points of observation and compared with the expected behavior formally specified as properties. Since most works on the subject come from a formal model context,(More)
There is currently a high level of consciousness of the importance and impact of formally testing communicating networks. By applying formal description techniques and formal testing approaches, we are able to validate the conformance of implementations to the requirements of communication protocols. In this context, passive testing techniques are used(More)
QoS indicators are commonly used when selecting Web Services (WSs) between different providers. However, typical QoS parameters do not reflect the subjective `performance' perceived by the end-users of the service, commonly called the Quality of Experience (QoE) of the service. In this paper, we describe a novel approach for using the QoE as a criterion for(More)
With the proliferation of web services on the Inter-net, it has become important for service providers to select the best services for their clients in accordance to their functional and non-functional requirements. Generally, QoS parameters are used to select the most performing web services, however, these parameters do not necessarily reflect the user's(More)
Allowing mobile Internet customers to evaluate the quality of the service they are being provided empowers them as consumers, hence driving competition. However little research has been done in this issue. On this context, we introduce early work on our monitoring solution which integrates the data collected through the use of a passive monitoring tool that(More)
On this article we present the Adkintun Mobile Project: using passive monitors to measure the Quality of Service of Chilean Mobile Internet Providers, based on the metrics of antenna coverage and Internet connectivity. We present the main ideas, design decisions, development issues and setbacks of the project. Our contribution is to present to the readers(More)
Although the adoption of the IP Multimedia Subsystem (IMS) keeps growing, IMS applications are often integrated to the system without being formally tested. In this work, we are interested in the IMS Push over Cellular (PoC) service, an OMA standard. We propose a conformance passive testing approach to check that its implementation respects the main(More)
Broadband Internet access has become a regular commodity on households around the world. For this reason, initiatives for characterization and monitoring of service offerings by Internet Service Providers (ISPs), by governments, researchers and independent entities have grown in popularity in the last few years. In this context, we present Adkintun, the(More)
Because of the increased industrial and research communities interest in the IP Multimedia Subsystem (IMS), the needs of formal testing for IMS applications are becoming critical. In this work we take as a case study the IMS Push over Cellular (PoC) service, an OMA standard, and propose a formal testing approach to check that its implementation respects the(More)