Passive Testing of Timed Systems with Timeouts

2012 ◽  
Author(s):  
Mercedes G. Merayo
Keyword(s):  
Timed Systems ◽  
Passive Testing

Formal passive testing of timed systems: theory and tools

2012 ◽  
Vol 22 (6) ◽  
pp. 365-405 ◽  
Author(s):  
César Andrés ◽  
Mercedes G. Merayo ◽  
Manuel Núñez
Keyword(s):  
Systems Theory ◽  
Timed Systems ◽  
Passive Testing

Industrial Scale Passive Testing with T-EARS

2021 ◽  
Author(s):  
Daniel Flemstrom ◽  
Henrik Jonsson ◽  
Eduard Paul Enoiu ◽  
Wasif Afzal
Keyword(s):  
Industrial Scale ◽  
Passive Testing

Biaxial Basal Tone and Passive Testing of the Murine Reproductive System Using a Pressure Myograph

10.3791/60125 ◽  
2019 ◽  
Author(s):  
Shelby E. White ◽  
Cassandra K. Conway ◽  
Gabrielle L. Clark ◽  
Dylan J. Lawrence ◽  
Carolyn L. Bayer ◽  
...  
Keyword(s):  
Reproductive System ◽  
Passive Testing ◽  
Basal Tone ◽  
Pressure Myograph

A formal passive testing approach to test a MANET routing protocol

2009 ◽  
Author(s):  
Ana Cavalli ◽  
Stephane Maag ◽  
Edgardo Montes de Oca ◽  
Fatiha Zaidi
Keyword(s):  
Routing Protocol ◽  
Passive Testing ◽  
Manet Routing ◽  
Testing Approach
Sign in / Sign up

Export Citation Format

Share Document