• Publications
  • Influence
SECURITY ATTACKS AND SOLUTIONS IN VEHICULAR AD HOC NETWORKS : A SURVEY
Vehicular Ad hoc Networks (VANETs) have emerged recently as one of the most attractive topics for researchers and automotive industries due to their tremendous potential to improve traffic safety,Expand
  • 127
  • 9
  • PDF
FSM-based conformance testing methods: A survey annotated with experimental evaluation
TLDR
A number of methods are known for the development of a test suite based on a formal specification given in the form of a finite state machine. Expand
  • 122
  • 8
New approaches for passive testing using an Extended Finite State Machine specification
TLDR
This paper presents two new approaches for passive testing using an Extended Finite State Machine (EFSM) specification. Expand
  • 85
  • 8
  • PDF
Hit-or-Jump: An algorithm for embedded testing with applications to IN services
TLDR
This paper presents a new algorithm, Hit-or-Jump, for embedded testing of components of communication systems that can be modeled by communicating extended finite state machines. Expand
  • 87
  • 7
  • PDF
Network Protocol System Passive Testing for Fault Management: A Backward Checking Approach
TLDR
We propose a backward checking method that analyzes in a backward fashion the input/output trace from passive testing and its past. Expand
  • 50
  • 6
  • PDF
Timed Modeling of Web Services Composition for Automatic Testing
TLDR
This paper presents the modeling of BPEL (timed) constructs by using a new formalism WS-TEFSM (Web Service Timed Extended Finite State Machine) and a model that corresponds to the BPEL Web services composition. Expand
  • 34
  • 5
  • PDF
Experimental evaluation of FSM-based testing methods
TLDR
The development of test cases is an important issue for testing software, communication protocols and other reactive systems. Expand
  • 35
  • 5
  • PDF
A passive testing approach based on invariants: application to the WAP
TLDR
This paper presents a new methodology to perform passive testing based on invariants. Expand
  • 110
  • 4
  • PDF
Automatic Timed Test Case Generation for Web Services Composition
TLDR
We defined a conformance relation between two timed automata(of implementation and specification) and then proposed an algorithm to generate test cases. Expand
  • 57
  • 4
  • PDF
Estimation of QoE of video traffic using a fuzzy expert system
TLDR
We present a methodology and a system based on fuzzy expert system to estimate the impact of network conditions (QoS) on the QoE of video traffic. Expand
  • 52
  • 4