Stéphane Maag

Proceedings of the 2015 IEEE TrustCom/BigDataSE/ISPA, 2015

A novel distributed testing approach based on test cases dependencies for communication protocols.

[BibT_eX]

[DOI]

Alberto Marroquin

Douglas Gonzalez

Proceedings of the 2015 Conference on research in adaptive and convergent systems, 2015

Guiding Testers' Hands in Monitoring Tools: Application of Testing Approaches on SIP.

[BibT_eX]

[DOI]

Proceedings of the Testing Software and Systems, 2015

A proactive approach for strip interoperability in wireless ad hoc routing protocols.

[BibT_eX]

[DOI]

Proceedings of the 7th IEEE Latin-American Conference on Communications, 2015

Protecting Wireless Mesh Networks through a distributed intrusion prevention framework.

[BibT_eX]

[DOI]

Proceedings of the 7th IEEE Latin-American Conference on Communications, 2015

Testing distributed systems with test cases dependencies architecture.

[BibT_eX]

[DOI]

Alberto Marroquin

Douglas Gonzalez

Proceedings of the 7th IEEE Latin-American Conference on Communications, 2015

Process Mining for Trust Monitoring.

[BibT_eX]

[DOI]

Cecilia Saint-Pierre

Javier Bustos-Jiménez

Proceedings of the 29th IEEE International Conference on Advanced Information Networking and Applications Workshops, 2015

Spanning Data Across Heterogeneous MANETs through Proactive Strip Interoperability.

[BibT_eX]

[DOI]

Proceedings of the 15th IEEE International Conference on Computer and Information Technology, 2015

TEAR: A Multi-purpose Formal Language Specification for TEsting at Runtime.

[BibT_eX]

[DOI]

Proceedings of the 10th International Conference on Availability, Reliability and Security, 2015

2014

Passive performance testing of network protocols.

[BibT_eX]

[DOI]

Comput. Commun., 2014

Testing protocols in Internet of Things by a formal passive technique.

[BibT_eX]

[DOI]

Sci. China Inf. Sci., 2014

Testing Network Protocols: formally, at runtime and online.

[BibT_eX]

Proceedings of the 26th International Conference on Software Engineering and Knowledge Engineering, 2014

Strip Interoperability for Wireless Ad Hoc Routing Protocols.

[BibT_eX]

[DOI]

Marco Antonio To

Proceedings of the 2014 IEEE 13th International Symposium on Network Computing and Applications, 2014

An Online Passive Testing Approach for Communication Protocols.

[BibT_eX]

[DOI]

Proceedings of the ENASE 2014, 2014

Online Testing: A Passive Approach for Protocols.

[BibT_eX]

[DOI]

Proceedings of the Evaluation of Novel Approaches to Software Engineering, 2014

A Distributed Monitoring Approach for Trust Assessment Based on Formal Testing.

[BibT_eX]

[DOI]

Proceedings of the 28th International Conference on Advanced Information Networking and Applications Workshops, 2014

2013

A Formal Data-Centric Approach for Passive Testing of Communication Protocols.

[BibT_eX]

[DOI]

IEEE/ACM Trans. Netw., 2013

Using passive testing based on symbolic execution and slicing techniques: Application to the validation of communication protocols.

[BibT_eX]

[DOI]

Pramila Mouttappa

Comput. Networks, 2013

A formal distributed network monitoring approach for enhancing trust management systems.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Conference on Management of Emergent Digital EcoSystems, 2013

DataMonitor - A formal approach for passively testing a MANET routing protocol.

[BibT_eX]

[DOI]

Proceedings of the 2013 9th International Wireless Communications and Mobile Computing Conference, 2013

A Passive Testing Approach for Protocols in Internet of Things.

[BibT_eX]

[DOI]

Proceedings of the 2013 IEEE International Conference on Green Computing and Communications (GreenCom) and IEEE Internet of Things (iThings) and IEEE Cyber, 2013

Testing Distributed Communication Protocols by Formal Performance Monitoring.

[BibT_eX]

[DOI]

Proceedings of the Evaluation of Novel Approaches to Software Engineering, 2013

A Formal Passive Performance Testing Approach for Distributed Communication Systems.

[BibT_eX]

[DOI]

Proceedings of the ENASE 2013, 2013

Monitoring Based on IOSTS for Testing Functional and Security Properties: Application to an Automotive Case Study.

[BibT_eX]

[DOI]

Pramila Mouttappa

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

Passive Testing on Performance Requirements of Network Protocols.

[BibT_eX]

[DOI]

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

2012

Quality of Experience as a Selection Criterion for Web Services.

[BibT_eX]

[DOI]

Proceedings of the Eighth International Conference on Signal Image Technology and Internet Based Systems, 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

A Formal Monitoring Technique for SIP Conformance Testing.

[BibT_eX]

[DOI]

Proceedings of the Evaluation of Novel Approaches to Software Engineering, 2012

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

[BibT_eX]

Proceedings of the ENASE 2012, 2012

2011

One step forward: Linking wireless self-organizing network validation techniques with formal testing approaches.

[BibT_eX]

[DOI]

Aline Carneiro Viana

ACM Comput. Surv., 2011

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

[BibT_eX]

[DOI]

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

Protocol Data Parts Inclusion in a Formal Passive Testing Approach.

[BibT_eX]

[DOI]

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

2010

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

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2010

BGP Skeleton - An Alternative to iBGP Route Reflection.

[BibT_eX]

[DOI]

Bakr Sarakbi

Proceedings of the INFOCOM 2010. 29th IEEE International Conference on Computer Communications, 2010

Timed Extended Invariants for the Passive Testing of Web Services.

[BibT_eX]

[DOI]

Bachar Wehbi

Proceedings of the IEEE International Conference on Web Services, 2010

Partial Complete iBGP.

[BibT_eX]

[DOI]

Bakr Sarakbi

Proceedings of IEEE International Conference on Communications, 2010

A component based testing technique for a MANET routing protocol.

[BibT_eX]

[DOI]

Mounir Lallali

Proceedings of the 8th ACS/IEEE International Conference on Computer Systems and Applications, 2010

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

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

From the IMS PoC service monitoring to its formal conformance testing.

[BibT_eX]

[DOI]

Proceedings of the 6th International Conference on Mobile Technology, 2009

An Automated Passive Testing Approach for the IMS PoC Service.

[BibT_eX]

[DOI]

Wissam Mallouli

Arnaud Gonguet

Proceedings of the ASE 2009, 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]

Comput. Commun., 2008

Interoperability testing of a MANET routing protocol using a node self-similarity approach.

[BibT_eX]

[DOI]

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

A Node Self Similarity Approach for Interoperability Testing of Ad Hoc Routing Protocols.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Conference on Advanced Information Networking and Applications, 2008

2007

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

[BibT_eX]

[DOI]

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

Nodes Self-similarity to Test Wireless Ad Hoc Routing Protocols.

[BibT_eX]

[DOI]

Proceedings of the Testing of Software and Communicating Systems, 2007

A Testing Methodology for a MANET Routing Protocol Using a Node Self-Similarity Approach.

[BibT_eX]

[DOI]

Proceedings of the Fifth Annual IEEE International Conference on Pervasive Computing and Communications, 2007

2006

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

[BibT_eX]

[DOI]

Proceedings of the Testing of Communicating Systems, 2006

Testing methodology for an ad hoc routing protocol.

[BibT_eX]

[DOI]

Proceedings of the 1st ACM Workshop on Performance Monitoring and Measurement of Heterogeneous Wireless and Wired Networks, 2006

Conformance and Interoperability Testing of an Ad Hoc Routing Protocol.

[BibT_eX]

[DOI]

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

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 Testing Methodology for an Open Software E-learning Platform.

[BibT_eX]

[DOI]

Proceedings of the EDUTECH, 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

2002

A New Algorithm for Service Interaction Detection.

[BibT_eX]

[DOI]