Get started
Author

Stéphane Maag

FSM-based conformance testing methods: A survey annotated with experimental evaluation
2010 · Rita Dorofeeva, Khaled El-Fakih, et al. · Information and Software Technology · 159
FSM-Based Test Derivation Strategies for Systems with Time-Outs
2011 · M. Zhigulin, N. Yevtushenko, et al. · Asia-Pacific Conference on Quality Software (APAQS) · 42
The teaching of computer ethics on computer science and related degree programmes. a European survey
2021 · Ioannis Stavrakakis, Damian Gordon, et al. · International Journal of Ethics Education · 39
PDF
A Formal Data-Centric Approach for Passive Testing of Communication Protocols
2012 · Felipe Lalanne, Stephane Maag · IEEE/ACM Transactions on Networking · 38
Experimental evaluation of FSM-based testing methods
2005 · R. Dorofeeva, K. El-Fakih, et al. · IEEE International Conference on Software Engineering and Formal Methods (SEFM) · 35
Towards a Generic Trust Management Framework Using a Machine-Learning-Based Trust Model
2015 · Jorge Lopez, Stephane Maag · IEEE International Conference on Trust, Security and Privacy in Computing and Communications (TrustCom) · 34
One step forward
2011 · Aline Carneiro Viana, Stephane Maag, et al. · ACM Computing Surveys · 34
Timed Extended Invariants for the Passive Testing of Web Services
2010 · Gerardo Morales, Stephane Maag, et al. · IEEE International Conference on Web Services (ICWS) · 34
A Logic-based Passive Testing Approach for the Validation of Communicating Protocols
2012 · Xiaoping Che, Felipe Lalanne, et al. · International Conference on Evaluation of Novel Approaches to Software Engineering · 28
Codeless Web Testing using Selenium and Machine Learning
2020 · Duyen Nguyen, Stephane Maag · International Conference on Software Technologies (ICSOFT) · 20
Quality of Experience as a Selection Criterion for Web Services
2012 · F. Lalanne, A. Cavalli, et al. · International Conference on Signal-Image Technology & Internet-Based Systems (SITIS) · 20
A formal validation methodology for MANET routing protocols based on nodes’ self similarity
2007 · Stephane Maag, Cyril Grepet, et al. · Computer Communications · 20
A passive conformance testing approach for a MANET routing protocol
2009 · Ana Cavalli, Stephane Maag, et al. · ACM Symposium on Applied Computing · 19
A validation model for the DSR protocol
2004 · A. Cavalli, C. Grepet, et al. · IEEE International Conference on Distributed Computing Systems Workshops (ICDCSW) · 18
Towards a Generic Trust Management Framework Using a Machine-Learning-Based Trust Model
2015 · Jorge López, Stéphane Maag · 17
Testing methodology for an ad hoc routing protocol
2006 · Stéphane Maag, Fatiha Zaidi · 16
Behavior evaluation for trust management based on formal distributed network monitoring
2015 · Jorge Lopez, Stephane Maag, et al. · World Wide Web · 13
A Passive Testing Approach for Protocols in Internet of Things
2013 · Xiaoping Che, Stephane Maag · IEEE International Conference on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, Physical and Social Computing (CPSCom) and IEEE Smart Data (SmartData) · 13
Using passive testing based on symbolic execution and slicing techniques: Application to the validation of communication protocols
2013 · Pramila Mouttappa, Stephane Maag, et al. · Computer Networks · 13
A formal consensus-based distributed monitoring approach for mobile IoT networks
2021 · Jose Alfredo Alvarez Aldana, Stephane Maag, et al. · Internet of Things · 12
PDF
Passive performance testing of network protocols
2014 · Xiaoping Che, Stephane Maag · Computer Communications · 12
An Automated Passive Testing Approach for the IMS PoC Service
2009 · Felipe Lalanne, Stephane Maag, et al. · IEEE/ACM International Conference on Automated Software Engineering (ASE) · 12
From UML models to automatic generated tests for the dotLRN e-learning platform
2005 · Ana Cavalli, Stéphane Maag, et al. · Electronic Notes in Theoretical Computer Science · 12
An Unsupervised Rule Generation Approach for Online Complex Event Processing
2018 · Erick Petersen, Marco Antonio To, et al. · IEEE International Symposium on Network Computing and Applications (NCA) · 11
Data-centric property formulation for passive testing of communication protocols
2011 · Lalanne Rojas, Felipe, Che, Xiaoping, et al. · HAL · 11
Works count: 129
Citation count: 915
H-index: 16
I10-index: 27
Year
Topic
Type