A Matrix-Based Approach to Test Sequences Generation for Protocol Implementations. - Alfio Lombardo; Sergio Palazzo; Alexandre Petrenko (ICCC, 1986)

Checking Experiments with Protocol Machines. - Alexandre Petrenko (Protocol Test Systems, 1991)

Test Suite Generation from a FSM with a Given Type of Implementation Errors. - Alexandre Petrenko; Nina Yevtushenko 001 (PSTV, 1992)

Conformance Testing of Protocol Machines without Reset. - Ming Yu Yao; Alexandre Petrenko; Gregor von Bochmann (PSTV, 1993)

Conformance Relations and Test Derivation. - Alexandre Petrenko; Gregor von Bochmann; Rachida Dssouli (Protocol Test Systems, 1993)

On Evaluation of Testability of Protocol Structures. - Alexandre Petrenko; Rachida Dssouli; Hartmut König (Protocol Test Systems, 1993)

Nondeterministic State Machines in Protocol Conformance Testing. - Alexandre Petrenko; Nina Yevtushenko 001; Alexandre Lebedev; Anindya Das (Protocol Test Systems, 1993)

A structural analysis approach to the evaluation of fault coverage for protocol conformance testing. - Ming Yu Yao; Alexandre Petrenko; Gregor von Bochmann (FORTE, 1994)

Fault Coverage Analysis in Respect to an FSM Specification. - Ming Yu Yao; Alexandre Petrenko; Gregor von Bochmann (INFOCOM, 1994)

Protocol Testing: Review of Methods and Relevance for Software Testing. - Gregor von Bochmann; Alexandre Petrenko (ISSTA, 1994)

Test Selection Based on Communicating Nondeterministic Finite-State Machines Using a Generalized WP-Method. - Gang Luo; Gregor von Bochmann; Alexandre Petrenko (IEEE Trans. Software Eng., 1994)

Modeling basic LOTOS by FSMs for conformance testing. - Q. M. Tan; Alexandre Petrenko; Gregor von Bochmann (PSTV, 1995)

Fault Models for Testing in Context. - Alexandre Petrenko; Nina Yevtushenko 001; Gregor von Bochmann (FORTE, 1996)

A Framework for Conformance Testing of Systems Communicating through Rendezvous. - Q. M. Tan; Alexandre Petrenko; Gregor von Bochmann (FTCS, 1996)

On Fault Coverage of Tests for Finite State Specifications. - Alexandre Petrenko; Gregor von Bochmann; Ming Yu Yao (Comput. Networks ISDN Syst., 1996)

Testing in context: framework and test derivation. - Alexandre Petrenko; Nina Yevtushenko 001; Gregor von Bochmann; Rachida Dssouli (Comput. Commun., 1996)

Automating the process of test derivation from SDL specifications. - Gregor von Bochmann; Alexandre Petrenko; O. Bellal; S. Maguiraga (SDL Forum, 1997)

Technical Correspondence Comments on "A Reduced Test Suite for Protocol Conformance Testing". - Alexandre Petrenko (ACM Trans. Softw. Eng. Methodol., 1997)

Solving Asynchronous Equations. - Alexandre Petrenko; Nina Yevtushenko 001 (FORTE, 1998)

Using Partial-Orders for Detecting Faults in Concurrent Systems. - Alexandre Petrenko; Andreas Ulrich; V. Chapenko (IWTCS, 1998)

Test Generation for Specifications Modeled by Input/Output Automata. - Q. M. Tan; Alexandre Petrenko (IWTCS, 1998)

Confirming configurations in EFSM. - Alexandre Petrenko; Sergiy Boroday; Roland Groz (FORTE, 1999)

Test Generation Driven by User-defined Fault Models. - I. Koufareva; Alexandre Petrenko; Nina Yevtushenko 001 (IWTCS, 1999)

On Test Derivation from Partial Specifications. - Alexandre Petrenko; Nina Yevtushenko 001 (FORTE, 2000)

Design of divergence-free protocol converters using supervisory control techniques. - Hesham Hallal; Radu Negulescu; Alexandre Petrenko (ICECS, 2000)

Fault Model-Driven Test Derivation from Finite State Models: Annotated Bibliography. - Alexandre Petrenko (MOVEP, 2000)

Verification and Testing of Concurrent Systems with Action Races. - Alexandre Petrenko; Andreas Ulrich (TestCom, 2000)

Specification Based Testing: Towards Practice. - Alexandre Petrenko (Ershov Memorial Conference, 2001)

Solution of Parallel Language Equations for Logic Synthesis. - Nina Yevtushenko 001; Tiziano Villa; Robert K. Brayton; Alexandre Petrenko; Alberto L. Sangiovanni-Vincentelli (ICCAD, 2001)

Equisolvability of Series vs. Controller's Topology in Synchronous Language Equations. - Nina Yevtushenko 001; Tiziano Villa; Robert K. Brayton; Alexandre Petrenko; Alberto L. Sangiovanni-Vincentelli (IWLS, 2002)

Test Generation for CEFSM Combining Specification and Fault Coverage. - Sergiy Boroday; Alexandre Petrenko; Roland Groz; Yves-Marie Quemener (TestCom, 2002)

Techniques for Abstracting SDL Specifications. - Sergiy Boroday; Roland Groz; Alexandre Petrenko; Yves-Marie Quemener (SAM, 2002)

Verifying Trustworthiness Requirements in Distributed Systems with Formal Log-file Analysis. - Andreas Ulrich; Hesham Hallal; Alexandre Petrenko; Sergiy Boroday (HICSS, 2003)

Formal Modeling of Communication Traces. - Sergiy Boroday; Hesham Hallal; Alexandre Petrenko; Andreas Ulrich (ISTA, 2003)

An Automata-Based Approach to Property Testing in Event Traces. - Hesham Hallal; Sergiy Boroday; Andreas Ulrich; Alexandre Petrenko (TestCom, 2003)

Testing Transition Systems with Input and Output Testers. - Alexandre Petrenko; Nina Yevtushenko 001; Jiale Huo (TestCom, 2003)

Formal Verification of Web Applications Modeled by Communicating Automata. - May Haydar; Alexandre Petrenko; Houari A. Sahraoui (FORTE, 2004)

On Testing Partially Specified IOTS through Lossless Queues. - Jiale Huo; Alexandre Petrenko (TestCom, 2004)

Antipattern-Based Detection of Deficiencies in Java Multithreaded Software. - Hesham Hallal; El Hachemi Alikacem; W. P. Tunney; Sergiy Boroday; Alexandre Petrenko (QSIC, 2004)

Confirming Configurations in EFSM Testing. - Alexandre Petrenko; Sergiy Boroday; Roland Groz (IEEE Trans. Software Eng., 2004)

Conformance Tests as Checking Experiments for Partial Nondeterministic FSM. - Alexandre Petrenko; Nina Yevtushenko 001 (FATES, 2005)

Covering Transitions of Concurrent Systems through Queues. - Jiale Huo; Alexandre Petrenko (ISSRE, 2005)

Properties and scopes in web model checking. - May Haydar; Sergiy Boroday; Alexandre Petrenko; Houari A. Sahraoui (ASE, 2005)

Multiplexing of Partially Ordered Events. - Colin Campbell; Margus Veanes; Jiale Huo; Alexandre Petrenko (TestCom, 2005)

Dynamic analysis of java applications for multithreaded antipatterns. - Sergiy Boroday; Alexandre Petrenko; J. Singh; Hesham Hallal (ACM SIGSOFT Softw. Eng. Notes, 2005)

Testing from Partial Deterministic FSM Specifications. - Alexandre Petrenko; Nina Yevtushenko 001 (IEEE Trans. Computers, 2005)

Why Automata Models Are Sexy for Testers? (Invited Talk). - Alexandre Petrenko (Ershov Memorial Conference, 2006)

FSM Test Translation Through Context. - Khaled El-Fakih; Alexandre Petrenko; Nina Yevtushenko 001 (TestCom, 2006)

A formal approach to property testing in causally consistent distributed traces. - Hesham Hallal; Sergiy Boroday; Alexandre Petrenko; Andreas Ulrich (Formal Aspects Comput., 2006)

Reverse Engineering Models from Traces to Validate Distributed Systems - An Industrial Case Study. - Andreas Ulrich; Alexandre Petrenko (ECMDA-FA, 2007)

Experimental Evaluation of Coverage Criteria for FSM-based Testing. - Adenilso Simão; Alexandre Petrenko; José Carlos Maldonado (SBES, 2007)

Formal Verification of Business Workflows and Role Based Access Control Systems. - Arnaud Dury; Sergiy Boroday; Alexandre Petrenko; Volkmar Lotz (SECURWARE, 2007)

Can a Model Checker Generate Tests for Non-Deterministic Systems? - Sergiy Boroday; Alexandre Petrenko; Roland Groz (MBT, 2007)

Test suite consistency verification. - Sergiy Boroday; Alexandre Petrenko; Andreas Ulrich (EWDTS, 2008)

Specification Patterns for Formal Web Verification. - May Haydar; Houari A. Sahraoui; Alexandre Petrenko (ICWE, 2008)

Modular System Verification by Inference, Testing and Reachability Analysis. - Roland Groz; Keqin Li 002; Alexandre Petrenko; Muzammil Shahbaz (TestCom/FATES, 2008)

Generating Checking Sequences for Partial Reduced Finite State Machines. - Adenilso da Silva Simão; Alexandre Petrenko (TestCom/FATES, 2008)

Compositionally Progressive Solutions of Synchronous FSM Equations. - Nina Yevtushenko 001; Tiziano Villa; Robert K. Brayton; Alexandre Petrenko; Alberto L. Sangiovanni-Vincentelli (Discret. Event Dyn. Syst., 2008)

Creating Open Educational Environment based on Open-source Software Projects. - Alexandre Petrenko; Vladimir V. Rubanov; Olga Petrenko (CSEDU (2), 2009)

Checking Sequence Generation Using State Distinguishing Subsequences. - Adenilso da Silva Simão; Alexandre Petrenko (ICST Workshops, 2009)

Inferring Behavioural Models from Traces of Business Applications. - Arnaud Dury; Hesham Hallal; Alexandre Petrenko (ICWS, 2009)

Using String Distances for Test Case Prioritisation. - Yves Ledru; Alexandre Petrenko; Sergiy Boroday (ASE, 2009)

Implementing MSC Tests with Quiescence Observation. - Sergiy Boroday; Alexandre Petrenko; Andreas Ulrich (TestCom/FATES, 2009)

Generating Reduced Tests for FSMs with Extra States. - Adenilso da Silva Simão; Alexandre Petrenko; Nina Yevtushenko 001 (TestCom/FATES, 2009)

Web-FIM: Automated Framework for the Inference of Business Software Models. - Hesham Hallal; Arnaud Dury; Alexandre Petrenko (SERVICES I, 2009)

Comparing finite state machine test. - Adenilso da Silva Simão; Alexandre Petrenko; José Carlos Maldonado (IET Softw., 2009)

Transition covering tests for systems with queues. - Jiale Huo; Alexandre Petrenko (Softw. Test. Verification Reliab., 2009)

Fault Coverage-Driven Incremental Test Generation. - Adenilso da Silva Simão; Alexandre Petrenko (Comput. J., 2010)

Checking Completeness of Tests for Finite State Machines. - Adenilso da Silva Simão; Alexandre Petrenko (IEEE Trans. Computers, 2010)

Adaptive Testing of Deterministic Implementations Specified by Nondeterministic FSMs. - Alexandre Petrenko; Nina Yevtushenko 001 (ICTSS, 2011)

Generating asynchronous test cases from test purposes. - Adenilso da Silva Simão; Alexandre Petrenko (Inf. Softw. Technol., 2011)

Generating Checking Sequences for Nondeterministic Finite State Machines. - Alexandre Petrenko; Adenilso da Silva Simão; Nina Yevtushenko 001 (ICST, 2012)

Prioritizing test cases with string distances. - Yves Ledru; Alexandre Petrenko; Sergiy Boroday; Nadine Mandran (Autom. Softw. Eng., 2012)

Model-based testing of software and systems: recent advances and challenges. - Alexandre Petrenko; Adenilso da Silva Simão; José Carlos Maldonado (Int. J. Softw. Tools Technol. Transf., 2012)

On reducing test length for FSMs with extra states. - Adenilso da Silva Simão; Alexandre Petrenko; Nina Yevtushenko 001 (Softw. Test. Verification Reliab., 2012)

A Method and Tool for Test Optimization for Automotive Controllers. - Alexandre Petrenko; Arnaud Dury; S. Ramesh 002; Swarup Mohalik (ICST Workshops, 2013)

A formal approach for run-time verification of web applications using scope-extended LTL. - May Haydar; Alexandre Petrenko; Sergiy Boroday; Houari A. Sahraoui (Inf. Softw. Technol., 2013)

Inferring Approximated Models for Systems Engineering. - Alexandre Petrenko; Keqin Li 002; Roland Groz; Karim Hossen; Catherine Oriat (HASE, 2014)

Adaptive Testing of Nondeterministic Systems with FSM. - Alexandre Petrenko; Nina Yevtushenko 001 (HASE, 2014)

Reachability in hierarchical machines. - Omer Nguena-Timo; Alexandre Petrenko; Arnaud Dury; S. Ramesh 002 (IRI, 2014)

Generating Complete and Finite Test Suite for ioco: Is It Possible? - Adenilso da Silva Simão; Alexandre Petrenko (MBT, 2014)

Model-based testing of automotive software: some challenges and solutions. - Alexandre Petrenko; Omer Nguena-Timo; S. Ramesh 002 (DAC, 2015)

Inferring Finite State Machines Without Reset Using State Identification Sequences. - Roland Groz; Adenilso da Silva Simão; Alexandre Petrenko; Catherine Oriat (ICTSS, 2015)

Checking Experiments for Finite State Machines with Symbolic Inputs. - Alexandre Petrenko; Adenilso da Silva Simão (ICTSS, 2015)

Building an interactive test development environment for cyclic executive systems. - Guillaume Langelier; Arnaud Dury; Alexandre Petrenko; S. Ramesh 002; Tameem Assaf (SIES, 2015)

Integration testing of communicating systems with unknown components. - Roland Groz; Keqin Li 002; Alexandre Petrenko (Ann. des Télécommunications, 2015)

Generalizing the DS-Methods for Testing Non-Deterministic FSMs. - Alexandre Petrenko; Adenilso Simão (Comput. J., 2015)

Component-Based Design by Solving Language Equations. - Tiziano Villa; Alexandre Petrenko; Nina Yevtushenko 001; Alan Mishchenko; Robert K. Brayton (Proc. IEEE, 2015)

Multiple Mutation Testing from FSM. - Alexandre Petrenko; Omer Nguena-Timo; S. Ramesh 002 (FORTE, 2016)

Checking Experiments for Symbolic Input/Output Finite State Machines. - Alexandre Petrenko (ICST Workshops, 2016)

Test Generation by Constraint Solving and FSM Mutant Killing. - Alexandre Petrenko; Omer Nguena-Timo; S. Ramesh 002 (ICTSS, 2016)

Multiple Mutation Testing from Finite State Machines with Symbolic Inputs. - Omer Nguena-Timo; Alexandre Petrenko; S. Ramesh 002 (ICTSS, 2017)

From Passive to Active FSM Inference via Checking Sequence Construction. - Alexandre Petrenko; Florent Avellaneda; Roland Groz; Catherine Oriat (ICTSS, 2017)

Generating Checking Sequences for User Defined Fault Models. - Alexandre Petrenko; Adenilso da Silva Simão (ICTSS, 2017)

Inferring FSM Models of Systems Without Reset. - Roland Groz; Adenilso da Silva Simão; Alexandre Petrenko; Catherine Oriat (Machine Learning for Dynamic Software Analysis, 2018)

FSM Inference from Long Traces. - Florent Avellaneda; Alexandre Petrenko (FM, 2018)

Inferring DFA without Negative Examples. - Florent Avellaneda; Alexandre Petrenko (ICGI, 2018)

Checking Sequence Generation for Symbolic Input/Output FSMs by Constraint Solving. - Omer Nguena-Timo; Alexandre Petrenko; S. Ramesh 002 (ICTAC, 2018)

Towards Testing from Finite State Machines with Symbolic Inputs and Outputs. - Alexandre Petrenko (MoDELS, 2018)

Conformance Testing and Inference of Embedded Components. - Alexandre Petrenko; Florent Avellaneda (ICTSS, 2018)

Using Imprecise Test Oracles Modelled by FSM. - Omer Nguena Timo; Alexandre Petrenko; S. Ramesh 002 (ICST Workshops, 2019)

Learning and Adaptive Testing of Nondeterministic State Machines. - Alexandre Petrenko; Florent Avellaneda (QRS, 2019)

Learning Minimal DFA: Taking Inspiration from RPNI to Improve SAT Approach. - Florent Avellaneda; Alexandre Petrenko (SEFM, 2019)

Learning Communicating State Machines. - Alexandre Petrenko; Florent Avellaneda (TAP@FM, 2019)

Toward testing from finite state machines with symbolic inputs and outputs. - Alexandre Petrenko (Softw. Syst. Model., 2019)

FSM inference and checking sequence construction are two sides of the same coin. - Alexandre Petrenko; Florent Avellaneda; Roland Groz; Catherine Oriat (Softw. Qual. J., 2019)

Fault model-driven testing from FSM with symbolic inputs. - Omer Nguena Timo; Alexandre Petrenko; S. Ramesh 002 (Softw. Qual. J., 2019)