Searching for authors named "Alexandre Petrenko" – sorted by Relevance.
-
A Model Checking Approach to Network Fault Management
- literally Hesham Hallal, Alexandre Petrenko, Sergiy Boroday CRIM, 550 Sherbrooke West, Suite 100, Montreal
- Add To MetaCart
-
Confirming Configurations in EFSM Testing
- Configurations in EFSM Testing Alexandre Petrenko, Sergiy Boroday, and Roland Groz Abstract—In this paper, we
- Cited by 7 (1 self) – Add To MetaCart
-
Test Generation Driven by User-defined Fault models
- ’99), Hungary, 1999 TEST GENERATION DRIVEN BY USER-DEFINED FAULT MODELS I. Koufareva†, A. Petrenko
- Cited by 3 (1 self) – Add To MetaCart
-
An Automata-based Approach to Property Testing in Event Traces
- , Andreas Ulrich 2 , Alexandre Petrenko 1 1 CRIM, 550 Sherbrooke West, Suite 100, Montreal, H3A 1B9, Canada
- Cited by 2 (1 self) – Add To MetaCart
-
On Testing Partially Specified IOTS through Lossless Queues
- On Testing Partially Specified IOTS through Lossless Queues Jia Le Huo 1 and Alexandre Petrenko 2
- Cited by 2 (1 self) – Add To MetaCart
-
Selecting Test Sequences For Partially-Specified Nondeterministic Finite State Machines
- MACHINES 1 Gang Luo, Alexandre Petrenko 2 and Gregor v. Bochmann Departement d'IRO, Universite de
- Cited by 18 (11 self) – Add To MetaCart

