A Formal Passive Testing Approach to Control the Integrity of Private Information in eHealth Systems

Recent Developments in Intelligent Information and Database Systems - Studies in Computational Intelligence ◽

10.1007/978-3-319-31277-4_19 ◽

2016 ◽

pp. 221-231

Author(s):

Azahara Camacho ◽

Mercedes G. Merayo ◽

Manuel Núñez

Keyword(s):

Private Information ◽

Passive Testing ◽

Testing Approach

Download Full-text

A formal passive testing approach to test a MANET routing protocol

10.1109/percom.2009.4912874 ◽

2009 ◽

Author(s):

Ana Cavalli ◽

Stephane Maag ◽

Edgardo Montes de Oca ◽

Fatiha Zaidi

Keyword(s):

Routing Protocol ◽

Passive Testing ◽

Manet Routing ◽

Testing Approach

Download Full-text

An Enhanced Passive Testing Approach for Network Protocols

International Conference on Networking, International Conference on Systems and International Conference on Mobile Communications and Learning Technologies (ICNICONSMCL'06) ◽

10.1109/icniconsmcl.2006.50 ◽

2006 ◽

Author(s):

A. Cavalli ◽

D. Vieira

Keyword(s):

Network Protocols ◽

Passive Testing ◽

Testing Approach

Download Full-text

Formal Correctness of a Passive Testing Approach for Timed Systems

2009 International Conference on Software Testing, Verification, and Validation Workshops ◽

10.1109/icstw.2009.34 ◽

2009 ◽

Author(s):

Cesar Andres ◽

Mercedes G. Merayo ◽

Manuel Nunez

Keyword(s):

Timed Systems ◽

Passive Testing ◽

Testing Approach

Download Full-text

An Automated Passive Testing Approach for the IMS PoC Service

2009 IEEE/ACM International Conference on Automated Software Engineering ◽

10.1109/ase.2009.33 ◽

2009 ◽

Author(s):

Felipe Lalanne ◽

Stephane Maag ◽

Edgardo Montes de Oca ◽

Ana Cavalli ◽

Wissam Mallouli ◽

...

Keyword(s):

Passive Testing ◽

Testing Approach

Download Full-text

An IOSTS Based Passive Testing Approach for the Validation of Data-Centric Protocols

2012 12th International Conference on Quality Software ◽

10.1109/qsic.2012.33 ◽

2012 ◽

Author(s):

Pramila Mouttappa ◽

Stephane Maag ◽

Ana Cavalli

Keyword(s):

Passive Testing ◽

Testing Approach

Download Full-text

A passive testing approach based on invariants: application to the WAP

Computer Networks ◽

10.1016/j.comnet.2004.09.009 ◽

2005 ◽

Vol 48 (2) ◽

pp. 247-266 ◽

Author(s):

Emmanuel Bayse ◽

Ana Cavalli ◽

Manuel Núñez ◽

Fatiha Zaïdi

Keyword(s):

Passive Testing ◽

Testing Approach

Download Full-text

A Formal Passive Testing Approach for Checking Real Time Constraints

2010 Seventh International Conference on the Quality of Information and Communications Technology ◽

10.1109/quatic.2010.55 ◽

2010 ◽

Author(s):

Faycal Bessayah ◽

Ana Cavalli

Keyword(s):

Real Time ◽

Time Constraints ◽

Passive Testing ◽

Testing Approach

Download Full-text

Protocol Data Parts Inclusion in a Formal Passive Testing Approach

2011 IEEE Workshops of International Conference on Advanced Information Networking and Applications ◽

10.1109/waina.2011.21 ◽

2011 ◽

Author(s):

Felipe Lalanne ◽

Stephane Maag

Keyword(s):

Passive Testing ◽

Testing Approach

Download Full-text

A Logic-based Passive Testing Approach for the Validation of Communicating Protocols

Proceedings of the 7th International Conference on Evaluation of Novel Approaches to Software Engineering ◽

10.5220/0003990100530064 ◽

2012 ◽

Keyword(s):

Passive Testing ◽

Testing Approach

Download Full-text

A Passive Testing Approach for Protocols in Internet of Things

2013 IEEE International Conference on Green Computing and Communications and IEEE Internet of Things and IEEE Cyber, Physical and Social Computing ◽

10.1109/greencom-ithings-cpscom.2013.124 ◽

2013 ◽

Author(s):

Xiaoping Che ◽

Stephane Maag

Keyword(s):

Internet Of Things ◽

Passive Testing ◽

Testing Approach

Download Full-text