Ana R. Cavalli

Proceedings of the 37th Annual IEEE Computer Software and Applications Conference, 2013

Estimation of QoE of video traffic using a fuzzy expert system.

[BibT_eX]

[DOI]

Jeevan Pokhrel

Eric Allilaire

Proceedings of the 10th IEEE Consumer Communications and Networking Conference, 2013

An Effective Attack Detection Approach in Wireless Mesh Networks.

[BibT_eX]

[DOI]

Felipe Barbosa Abreu

Maria de Fátima Mattiello-Francisco

Proceedings of the 27th International Conference on Advanced Information Networking and Applications Workshops, 2013

2012

Applying formal methods to PCEP: an industrial case study from modeling to test generation.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 2012

InRob: An approach for testing interoperability and robustness of real-time embedded software.

[BibT_eX]

[DOI]

Edgar Toshiro Yano

J. Syst. Softw., 2012

Tight bound on the length of distinguishing sequences for non-observable nondeterministic Finite-State Machines with a polynomial number of inputs and outputs.

[BibT_eX]

[DOI]

Iksoon Hwang

Inf. Process. Lett., 2012

An advanced approach for modeling and detecting software vulnerabilities.

[BibT_eX]

[DOI]

Nahid Shahmehri

Inf. Softw. Technol., 2012

A systematic approach to integrate common timed security rules within a TEFSM-based system specification.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2012

A SPIN-based approach for detecting vulnerabilities in C programs.

[BibT_eX]

[DOI]

Autom. Control. Comput. Sci., 2012

Quality of Experience as a Selection Criterion for Web Services.

[BibT_eX]

[DOI]

Felipe Lalanne

Stephane Maag

Proceedings of the Eighth International Conference on Signal Image Technology and Internet Based Systems, 2012

Testing Interoperability Security Policies.

[BibT_eX]

Mazen El Maarabani

César Andrés

Proceedings of the 24th International Conference on Software Engineering & Knowledge Engineering (SEKE'2012), 2012

A distributed intrusion detection scheme for wireless ad hoc networks.

[BibT_eX]

[DOI]

Proceedings of the ACM Symposium on Applied Computing, 2012

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

[BibT_eX]

[DOI]

Pramila Mouttappa

Proceedings of the 2012 12th International Conference on Quality Software, 2012

Trust-orBAC: A Trust Access Control Model in Multi-Organization Environments.

[BibT_eX]

[DOI]

Khalifa Toumi

César Andrés

Proceedings of the Information Systems Security, 8th International Conference, 2012

How to Reduce the Cost of Passive Testing.

[BibT_eX]

[DOI]

César Andrés

Proceedings of the 14th International IEEE Symposium on High-Assurance Systems Engineering, 2012

Role based interoperability security policies in collaborative systems.

[BibT_eX]

[DOI]

Khalifa Toumi

Mazen El Maarabani

Proceedings of the 2012 International Conference on Collaboration Technologies and Systems, 2012

An Event-Based Packet Dropping Detection Scheme for Wireless Mesh Networks.

[BibT_eX]

[DOI]

Proceedings of the Cyberspace Safety and Security - 4th International Symposium, 2012

Detecting Control Flow in Smarphones: Combining Static and Dynamic Analyses.

[BibT_eX]

[DOI]

Mariem Graa

Proceedings of the Cyberspace Safety and Security - 4th International Symposium, 2012

A vector based model approach for defining trust in Multi-Organization Environments.

[BibT_eX]

[DOI]

Proceedings of the 7th International Conference on Risks and Security of Internet and Systems, 2012

2011

VDC-Based Dynamic Code Analysis: Application to C Programs.

[BibT_eX]

[DOI]

J. Internet Serv. Inf. Secur., 2011

A Quality of Experience Based Approach for Wireless Mesh Networks.

[BibT_eX]

[DOI]

Proceedings of the Wired/Wireless Internet Communications, 2011

A model-based attack injection approach for security validation.

[BibT_eX]

[DOI]

Proceedings of the 4th International Conference on Security of Information and Networks, 2011

FSM-Based Test Derivation Strategies for Systems with Time-Outs.

[BibT_eX]

[DOI]

Proceedings of the 11th International Conference on Quality Software, 2011

Using Testing Techniques for Vulnerability Detection in C Programs.

[BibT_eX]

[DOI]

Proceedings of the Testing Software and Systems, 2011

Detection of Attacks in Wireless Mesh Networks.

[BibT_eX]

[DOI]

Proceedings of the 5th Latin-American Symposium on Dependable Computing, 2011

Verification of Interoperability Security Policies by Model Checking.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE International Symposium on High-Assurance Systems Engineering, 2011

Using Requirements Engineering in an Automatic Security Policy Derivation Process.

[BibT_eX]

[DOI]

Mariem Graa

Proceedings of the Data Privacy Management and Autonomous Spontaneus Security, 2011

Route Manipulation Attack in Wireless Mesh Networks.

[BibT_eX]

[DOI]

Proceedings of the 25th IEEE International Conference on Advanced Information Networking and Applications, 2011

2010

FSM-based conformance testing methods: A survey annotated with experimental evaluation.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2010

Testing a probabilistic FSM using interval estimation.

[BibT_eX]

[DOI]

Iksoon Hwang

Comput. Networks, 2010

Transmit and Reserve (TAR): A Coordinated Channel Access for IEEE 802.11 Networks.

[BibT_eX]

[DOI]

Anis Laouiti

Proceedings of the 2010 IEEE Wireless Communications and Networking Conference, 2010

A Fault Injection Tool for Testing Web Services Composition.

[BibT_eX]

[DOI]

Proceedings of the Testing, 2010

A Formal Approach for Interoperability Testing of Security Rules.

[BibT_eX]

[DOI]

Mazen El Maarabani

Iksoon Hwang

Proceedings of the Sixth International Conference on Signal-Image Technology and Internet-Based Systems, 2010

Testing Web Service Orchestrators in Context: A Symbolic Approach.

[BibT_eX]

[DOI]

Proceedings of the 8th IEEE International Conference on Software Engineering and Formal Methods, 2010

A Formal Passive Testing Approach for Checking Real Time Constraints.

[BibT_eX]

[DOI]

Fayçal Bessayah

Proceedings of the Quality of Information and Communications Technology, 2010

Timed Extended Invariants for the Passive Testing of Web Services.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Web Services, 2010

WebMov: A Dedicated Framework for the Modelling and Testing of Web Services Composition.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Web Services, 2010

2009

Interoperability testing of presence service on IMS platform.

[BibT_eX]

[DOI]

Proceedings of the 5th International ICST Conference on Testbeds and Research Infrastructures for the Development of Networks and Communities, 2009

Network protocol interoperability testing based on contextual signatures and passive testing.

[BibT_eX]

[DOI]

Emmanuel Bayse

Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

A passive conformance testing approach for a MANET routing protocol.

[BibT_eX]

[DOI]

Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), 2009

Observability and Controllability Issues in Conformance Testing of Web Service Compositions.

[BibT_eX]

[DOI]

Proceedings of the Testing of Software and Communication Systems, 2009

A Formal Passive Testing Approach to test a MANET Routing Protocol.

[BibT_eX]

[DOI]

Proceedings of the Seventh Annual IEEE International Conference on Pervasive Computing and Communications, 2009

An Automated Passive Testing Approach for the IMS PoC Service.

[BibT_eX]

[DOI]

Felipe Lalanne

Arnaud Gonguet

Proceedings of the ASE 2009, 2009

A formal approach for specification and verification of fault injection process.

[BibT_eX]

[DOI]

Fayçal Bessayah

Proceedings of the 2nd International Conference on Interaction Sciences: Information Technology, 2009

A Statistical Approach to Test Stochastic and Probabilistic Systems.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2009

Modeling, Validation, and Verification of PCEP Using the IF Language.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Distributed Systems, 2009

Security Protocol Testing Using Attack Trees.

[BibT_eX]

[DOI]

Willy Jimenez

Proceedings of the 12th IEEE International Conference on Computational Science and Engineering, 2009

A Formal Framework to Integrate Timed Security Rules within a TEFSM-Based System Specification.

[BibT_eX]

[DOI]

Proceedings of the 16th Asia-Pacific Software Engineering Conference, 2009

Analysis of the OLSR Protocol by Using Formal Passive Testing.

[BibT_eX]

[DOI]

Proceedings of the 16th Asia-Pacific Software Engineering Conference, 2009

2008

A formal validation methodology for MANET routing protocols based on nodes' self similarity.

[BibT_eX]

[DOI]

Cyril Grepet

Comput. Commun., 2008

Modeling and Testing Secure Web-Based Systems: Application to an Industrial Case Study.

[BibT_eX]

[DOI]

Proceedings of the 4th IEEE International Conference on Signal Image Technology and Internet Based Systems, 2008

Interoperability of Context Based System Policies Using O2O Contract.

[BibT_eX]

[DOI]

Céline Coma

Proceedings of the 4th IEEE International Conference on Signal Image Technology and Internet Based Systems, 2008

Efficient time synchronization mechanism for wireless multi hop networks.

[BibT_eX]

[DOI]

Anis Laouiti

Proceedings of the IEEE 19th International Symposium on Personal, 2008

A Reactive Wireless Mesh Network Architecture.

[BibT_eX]

[DOI]

Anis Laouiti

Proceedings of the Advances in Ad Hoc Networking, 2008

Testing Security Policies for Web Applications.

[BibT_eX]

[DOI]

Gerardo Morales

Proceedings of the First International Conference on Software Testing Verification and Validation, 2008

Use of invariant properties to evaluate the results of fault-injection-based robustness testing of protocol implementations.

[BibT_eX]

[DOI]

Proceedings of the First International Conference on Software Testing Verification and Validation, 2008

Security Rules Specification and Analysis Based on Passive Testing.

[BibT_eX]

[DOI]

Proceedings of the Global Communications Conference, 2008. GLOBECOM 2008, New Orleans, LA, USA, 30 November, 2008

Automatic Timed Test Case Generation for Web Services Composition.

[BibT_eX]

[DOI]

Proceedings of the ECOWS 2008, 2008

Modeling System Security Rules with Time Constraints Using Timed Extended Finite State Machines.

[BibT_eX]

[DOI]

Proceedings of the 12th IEEE/ACM International Symposium on Distributed Simulation and Real-Time Applications, 2008

Two Complementary Tools for the Formal Testing of Distributed Systems with Time Constraints.

[BibT_eX]

[DOI]

Mounir Lallali

Proceedings of the 12th IEEE/ACM International Symposium on Distributed Simulation and Real-Time Applications, 2008

Distributed Monitoring in Ad Hoc Networks: Conformance and Security Checking.

[BibT_eX]

[DOI]

Proceedings of the Ad-hoc, Mobile and Wireless Networks, 7th International Conference, 2008

Context Ontology for Secure Interoperability.

[BibT_eX]

[DOI]

Céline Coma

Proceedings of the The Third International Conference on Availability, 2008

2007

Timed Modeling of Web Services Composition for Automatic Testing.

[BibT_eX]

[DOI]

Mounir Lallali

Proceedings of the Third International IEEE Conference on Signal-Image Technologies and Internet-Based System, 2007

Regression and Performance Testing of an e-Learning Web Application: dotLRN.

[BibT_eX]

[DOI]

Gerardo Morales

Proceedings of the Third International IEEE Conference on Signal-Image Technologies and Internet-Based System, 2007

A formal approach for testing security rules.

[BibT_eX]

[DOI]

Elisangela Rodrigues Vieira

Proceedings of the 12th ACM Symposium on Access Control Models and Technologies, 2007

Towards an Automated Test Generation with Delayed Transitions for Timed Systems.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2007), 2007

Testing Security Rules with Decomposable Activities.

[BibT_eX]

[DOI]

Elisangela Rodrigues Vieira

Proceedings of the Tenth IEEE International Symposium on High Assurance Systems Engineering (HASE 2007), 2007

Specification of Timed EFSM Fault Models in SDL.

[BibT_eX]

[DOI]

Samrat S. Batth

M. Ümit Uyar

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2007

2006

Application of Two Test Generation Tools to an Industrial Case Study.

[BibT_eX]

[DOI]

Proceedings of the Testing of Communicating Systems, 2006

Light Client Management Protocol for Wireless Mesh Networks.

[BibT_eX]

[DOI]

Proceedings of the 7th International Conference on Mobile Data Management (MDM 2006), 2006

A Security Model for OLSR MANET Protocol.

[BibT_eX]

[DOI]

Proceedings of the 7th International Conference on Mobile Data Management (MDM 2006), 2006

MSP: A Novel Session Maintenance Protocol.

[BibT_eX]

[DOI]

Timothy G. Griffin

Proceedings of the 14th IEEE International Conference on Networks, 2006

Working Around BGP: An Improvement of BGP Session Maintenance.

[BibT_eX]

[DOI]

Proceedings of the 2006 International Conference on Networking and Services (ICNS 2006), 2006

Implementation Analysis of MSP.

[BibT_eX]

[DOI]

Timothy G. Griffin

Proceedings of the Fifth International Conference on Networking and the International Conference on Systems (ICN / ICONS / MCL 2006), 2006

An Enhanced Passive Testing Approach for Network Protocols.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Conference on Networking and the International Conference on Systems (ICN / ICONS / MCL 2006), 2006

Parallel Passive Testing of System Protocols - Towards a Real-time Exhaustive Approach.

[BibT_eX]

[DOI]

Baptiste Alcalde

Proceedings of the Fifth International Conference on Networking and the International Conference on Systems (ICN / ICONS / MCL 2006), 2006

A Reliable Approach for Transport Session Management.

[BibT_eX]

[DOI]

Proceedings of the Advanced International Conference on Telecommunications and International Conference on Internet and Web Applications and Services (AICT/ICIW 2006), 2006

2005

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

[BibT_eX]

[DOI]

Comput. Networks, 2005

Une plate-forme de validation multi-protocoles et multi-services - résultats d'expérimentation.

[BibT_eX]

[DOI]

Ann. des Télécommunications, 2005

Secure hosts auto-configuration in mobile ad hoc networks.

[BibT_eX]

[DOI]

Ad Hoc Networks, 2005

Experimental Evaluation of FSM-Based Testing Methods.

[BibT_eX]

[DOI]

Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 2005

Passive Testing - A Constrained Invariant Checking Approach.

[BibT_eX]

[DOI]

Behrouz Tork Ladani

Baptiste Alcalde

Proceedings of the Testing of Communicating Systems, 2005

An EFSM-Based Intrusion Detection System for Ad Hoc Networks.

[BibT_eX]

[DOI]

Baptiste Alcalde

Proceedings of the Automated Technology for Verification and Analysis, 2005

A Comparison between Two Maintenance Session Protocols.

[BibT_eX]

[DOI]

Timothy G. Griffin

Proceedings of the Telecommunications 2005: Advanced Industrial Conference on Telecommunications / Service Assurance with Partial and Intermittent Resources Conference / E-Learning on Telecommunications Workshop (AICT / SAPIR / ELETE 2005), 2005

2004

Application of a Formal Testing Methodology to Wireless Telephony Networks.

[BibT_eX]

[DOI]

Amel Mederreg

J. Braz. Comput. Soc., 2004

From UML models to automatic generated tests for the dotLRN e-learning platform.

[BibT_eX]

[DOI]

Proceedings of the International Workshop on Test and Analysis of Component Based Systems, 2004

Automated test scenarios generation for an e-barter system.

[BibT_eX]

[DOI]

Proceedings of the 2004 ACM Symposium on Applied Computing (SAC), 2004

A Multi-service and Multi-protocol Validation Platform-Experimentation Results.

[BibT_eX]

[DOI]

Proceedings of the Testing of Communicating Systems, 16th IFIP International Conerence, 2004

A Testing Methodology for an Open Software E-learning Platform.

[BibT_eX]

[DOI]

Proceedings of the EDUTECH, 2004

Secure Hosts Autoconfiguration in Mobile Ad Hoc Networks.

[BibT_eX]

[DOI]

Proceedings of the 24th International Conference on Distributed Computing Systems Workshops (ICDCS 2004 Workshops), 2004

A Validation Model for the DSR Protocol.

[BibT_eX]

[DOI]

Proceedings of the 24th International Conference on Distributed Computing Systems Workshops (ICDCS 2004 Workshops), 2004

Network Protocol System Passive Testing for Fault Management: A Backward Checking Approach.

[BibT_eX]

[DOI]

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2004

2003

Test suite minimization for testing in context.

[BibT_eX]

[DOI]

Ricardo Anido

Luiz A. Paula Lima Jr.

Softw. Test. Verification Reliab., 2003

New approaches for passive testing using an Extended Finite State Machine specification.

[BibT_eX]

[DOI]

Caroline Gervy

Svetlana Prokopenko

Inf. Softw. Technol., 2003

TestNet: Let's Test Together!.

[BibT_eX]

[DOI]

Manuel Núñez

Proceedings of the Testing of Communicating Systems, 15th IFIP International Conference, 2003

Fast Testing of Critical Properties through Passive Testing.

[BibT_eX]

[DOI]

José Antonio Arnedo

Manuel Núñez

Proceedings of the Testing of Communicating Systems, 15th IFIP International Conference, 2003

2002

Fault Detection within a Component of a System of Communicating FSMs.

[BibT_eX]

Svetlana Prokopenko

Proceedings of the Testing of Communicating Systems XIV, Applications to Internet Technologies and Services, Proceedings of the IFIP 14th International Conference on Testing Communicating Systems, 2002

Automated Generation of Interoperability Tests.

[BibT_eX]

A New Algorithm for Service Interaction Detection.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2002

2001

A Service-Component Testing Method and a Suitable CORBA Architecture.

[BibT_eX]

[DOI]

Bruno Defude

Christian Rinderknecht

Proceedings of the Sixth IEEE Symposium on Computers and Communications (ISCC 2001), 2001

A Conformance Testing Method for Communication Protocols Modeled as Concurrent DFSMs.

[BibT_eX]

[DOI]

Proceedings of the 15th International Conference on Information Networking, 2001

Partial Validation of a Design Specification with Respect to Requirements.

[BibT_eX]

[DOI]

Cédric Besse

Ferhat Khendek

Proceedings of the 2nd Asia-Pacific Conference on Quality Software (APAQS 2001), 2001

2000

Validation of the GSM-map protocol.

[BibT_eX]

[DOI]

Melania Ionescu

Ann. des Télécommunications, 2000

Fault Detection Power of a Widely Used Test Suite for a System of Communicating FSMs.

[BibT_eX]

Svetlana Prokopenko

Proceedings of the Testing of Communicating Systems: Tools and Techniques, IFIP TC6/WG6.1 13<sup>th</sup> International Conference on Testing Communicating Systems (TestCom 2000), August 29, 2000

1999

Passive testing and application to the GSM-MAP protocol.

[BibT_eX]

[DOI]

Marine Tabourier

Inf. Softw. Technol., 1999

Advanced Topics on SDL and MSC.

[BibT_eX]

[DOI]

Comput. Networks, 1999

Test Suite Minimization for Embedded Nondeterministic Finite State Machines.

[BibT_eX]

Ricardo Anido

Proceedings of the Testing of Communicating Systems: Method and Applications, 1999

Generating Test Cases for a Timed I/O Automaton Model.

[BibT_eX]

Proceedings of the Testing of Communicating Systems: Method and Applications, 1999

Different Approaches to Protocol and Service Testing.

[BibT_eX]

Proceedings of the Testing of Communicating Systems: Method and Applications, 1999

An Automatic and Optimized Test Generation Technique Applying to TCP/IP Protocol.

[BibT_eX]

[DOI]

Cédric Besse

David Lee

Proceedings of the 14th IEEE International Conference on Automated Software Engineering, 1999

Hit-or-Jump: An algorithm for embedded testing with applications to IN services.

[BibT_eX]

David Lee

Christian Rinderknecht

Proceedings of the Formal Methods for Protocol Engineering and Distributed Systems, 1999

A GSM-MAP Protocol Experiment Using Passive Testing.

[BibT_eX]

[DOI]

Marine Tabourier

Melania Ionescu

Proceedings of the FM'99 - Formal Methods, 1999

1998

Test Suite Minimization for Testing in Context.

[BibT_eX]

Luiz A. Paula Lima Jr.

Proceedings of the Testing of Communicating Systems, IFIP TC6 11th International Workshop on Testing Communicating Systems (IWTCS), August 31, 1998

Application of Embedded Testing Methods to Service Validation.

[BibT_eX]

[DOI]

Luiz A. Paula Lima Jr.

Proceedings of the Second IEEE International Conference on Formal Engineering Methods, 1998

1997

Test generation for the SSCOP-ATM networks protocol.

[BibT_eX]

Boo-Ho Lee

Toma Macavei

Proceedings of the SDL '97 Time for Testing, 1997

1996

Standardization of Formal Methods in Conformance Testing of Communication Protocols.

[BibT_eX]

[DOI]

Jean Philippe Favreau

Marc Phalippou

Comput. Networks ISDN Syst., 1996

Testing Methods for SDL Systems.

[BibT_eX]

[DOI]

Byoung-Moon Chin

Kilnam Chon

Comput. Networks ISDN Syst., 1996

1994

A Compositional Verification Method for LOTOS.

[BibT_eX]

[DOI]

Hacène Fouchal

Proceedings of the Thirteenth Annual ACM Symposium on Principles of Distributed Computing, 1994

A modal based verification for LOTOS.

[BibT_eX]

Hacène Fouchal

Proceedings of the Formal Description Techniques VII, 1994

1993

Formal Methods for Conformance Testing: Results and Perspectives.

[BibT_eX]

Jean Philippe Favreau

Marc Phalippou

Proceedings of the Protocol Test Systems, 1993

Improving Conformance Testing for LOTOS.

[BibT_eX]

Sung Un Kim

Patrick Maigron

Proceedings of the Formal Description Techniques, VI, Proceedings of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques, 1993

1992

Automated Protocol Conformance Test Generation Based on Formal Methods for LOTOS Specifications.

[BibT_eX]

Patrick Maigron

Sung Un Kim

Proceedings of the Protocol Test Systems, V, 1992

1991

Protocol Conformance Test Generation Using a Graph Rewriting System.

[BibT_eX]