Passive testing with asynchronous communications and timestamps

[1]  Ana R. Cavalli,et al.  Using passive testing based on symbolic execution and slicing techniques: Application to the validation of communication protocols , 2013, Comput. Networks.

[2]  Alexandre Petrenko,et al.  Generating asynchronous test cases from test purposes , 2011, Inf. Softw. Technol..

[3]  F. C. Hennine.  Fault detecting experiments for sequential circuits , 1964, SWCT 1964.

[4]  Thomas Wilke,et al.  Translating Regular Expressions into Small epsilon-Free Nondeterministic Finite Automata , 1997, STACS.

[5]  Alexandre Petrenko,et al.  Transition covering tests for systems with queues , 2009, Softw. Test. Verification Reliab..

[6]  Fatiha Zaïdi,et al.  Online Verification of Value-Passing Choreographies through Property-Oriented Passive Testing , 2012, 2012 IEEE 14th International Symposium on High-Assurance Systems Engineering.

[7]  Mercedes G. Merayo,et al.  Passive testing of communicating systems with timeouts , 2015, Inf. Softw. Technol..

[8]  Marie-Claude Gaudel,et al.  Testing Can Be Formal, Too , 1995, TAPSOFT.

[9]  Thierry Jéron,et al.  Remote testin can be as powerful as local testing , 1999, FORTE.

[10]  Anca Muscholl,et al.  Computing epsilon-Free NFA from Regular Expressions in O(n log²(n)) Time , 1998, MFCS.

[11]  Mercedes G. Merayo,et al.  Formal testing from timed finite state machines , 2008, Comput. Networks.

[12]  Ana R. Cavalli,et al.  New approaches for passive testing using an Extended Finite State Machine specification , 2003, Inf. Softw. Technol..

[13]  David Lee,et al.  Network protocol system monitoring-a formal approach with passive testing , 2006, IEEE/ACM Transactions on Networking.

[14]  Mercedes G. Merayo,et al.  Formal passive testing of timed systems: theory and tools , 2012, Softw. Test. Verification Reliab..

[15]  Amel Mammar,et al.  Using Testing Techniques for Vulnerability Detection in C Programs , 2011, ICTSS.

[16]  R. P. Dilworth,et al.  A DECOMPOSITION THEOREM FOR PARTIALLY ORDERED SETS , 1950 .

[17]  Jeffrey D. Ullman,et al.  Introduction to Automata Theory, Languages and Computation , 1979 .

[18]  Glenford J. Myers,et al.  Art of Software Testing , 1979 .

[19]  Robert M. Hierons,et al.  Timed implementation relations for the distributed test architecture , 2014, Distributed Computing.

[20]  Stavros Tripakis,et al.  Conformance testing for real-time systems , 2009, Formal Methods Syst. Des..

[21]  Paul Pettersson,et al.  Chapter Three - A Research Overview of Tool-Supported Model-based Testing of Requirements-based Designs , 2015, Adv. Comput..

[22]  David Lee,et al.  Message Confidentiality Testing of Security Protocols - Passive Monitoring and Active Checking , 2006, TestCom.

[23]  Wolfgang Grieskamp,et al.  Model‐based quality assurance of protocol documentation: tools and methodology , 2011, Softw. Test. Verification Reliab..

[24]  Robert M. Hierons,et al.  Testing from a stochastic timed system with a fault model , 2009, J. Log. Algebraic Methods Program..

[25]  Mohammad Reza Mousavi,et al.  Synchrony and asynchrony in conformance testing , 2012, Software & Systems Modeling.

[26]  George H. Mealy,et al.  A method for synthesizing sequential circuits , 1955 .

[27]  Robert M. Hierons.  The complexity of asynchronous model based testing , 2012, Theor. Comput. Sci..

[28]  Rajeev Alur,et al.  A Theory of Timed Automata , 1994, Theor. Comput. Sci..

[29]  David Lee,et al.  A formal approach for passive testing of protocol data portions , 2002, 10th IEEE International Conference on Network Protocols, 2002. Proceedings..

[30]  Robert M. Hierons,et al.  Passive Testing with Asynchronous Communications , 2013, FMOODS/FORTE.

[31]  Ana R. Cavalli,et al.  An Effective Attack Detection Approach in Wireless Mesh Networks , 2013, 2013 27th International Conference on Advanced Information Networking and Applications Workshops.

[32]  Ana R. Cavalli,et al.  Timed Extended Invariants for the Passive Testing of Web Services , 2010, 2010 IEEE International Conference on Web Services.

[33]  Gérard Berry,et al.  From Regular Expressions to Deterministic Automata , 1986, Theor. Comput. Sci..

[34]  Robert M. Hierons,et al.  Testing timed systems modeled by Stream X-machines , 2011, Software & Systems Modeling.

[35]  David Lee,et al.  Passive testing and applications to network management , 1997, Proceedings 1997 International Conference on Network Protocols.

[36]  Anca Muscholl,et al.  Computing epsilon-free NFA from regular expressions in O(n log2(n)) time , 2000, RAIRO Theor. Informatics Appl..

[37]  Alexandre Petrenko,et al.  On Testing Partially Specified IOTS through Lossless Queues , 2004, TestCom.

[38]  Rance Cleaveland,et al.  Using formal specifications to support testing , 2009, CSUR.

[39]  Martin Leucker,et al.  A brief account of runtime verification , 2009, J. Log. Algebraic Methods Program..

[40]  Ana R. Cavalli,et al.  A passive testing approach based on invariants: application to the WAP , 2005, Comput. Networks.

[41]  Ana R. Cavalli,et al.  A Framework for Distributed Testing of Timed Composite Systems , 2014, 2014 21st Asia-Pacific Software Engineering Conference.

[42]  O. Henniger.  On test case generation from asynchronously communicating state machines , 1997 .

[43]  Stéphane Maag,et al.  A Formal Data-Centric Approach for Passive Testing of Communication Protocols , 2013, IEEE/ACM Transactions on Networking.

[44]  Stéphane Maag,et al.  Passive performance testing of network protocols , 2014, Comput. Commun..

[45]  Mercedes G. Merayo,et al.  PTTAC: Passive Testing Tool for Asynchronous Systems , 2014, 2014 Tenth International Conference on Signal-Image Technology and Internet-Based Systems.

[46]  Teruo Higashino,et al.  A survey on formal active and passive testing with applications to the cloud , 2015, Ann. des Télécommunications.

[47]  Gordon J. Pace,et al.  Safer asynchronous runtime monitoring using compensations , 2012, Formal Methods Syst. Des..

[48]  Odile Laurent.  Using Formal Methods and Testability Concepts in the Avionics Systems Validation and Verification (V&V) Process , 2010, 2010 Third International Conference on Software Testing, Verification and Validation.

[49]  Robert M. Hierons,et al.  Implementation Relations for Testing Through Asynchronous Channels , 2013, Comput. J..

[50]  Frits W. Vaandrager,et al.  Testing timed automata , 1997, Theor. Comput. Sci..