A
Alexandre Petrenko
Researcher at Université de Montréal
Publications - 125
Citations - 3504
Alexandre Petrenko is an academic researcher from Université de Montréal. The author has contributed to research in topics: Finite-state machine & Fault coverage. The author has an hindex of 32, co-authored 125 publications receiving 3379 citations. Previous affiliations of Alexandre Petrenko include University of São Paulo.
Papers
More filters
Journal ArticleDOI
Test selection based on communicating nondeterministic finite-state machines using a generalized Wp-method
TL;DR: A test generation method for a single nondeterministic finite-state machine (NFSM) is developed, which is an improved and generalized version of the Wp-method that generates test sequences only for deterministic infinite-state machines.
Proceedings ArticleDOI
Protocol testing: review of methods and relevance for software testing
TL;DR: The purpose of this paper is to explain in which way the problem of testing protocol implementations is different from the usual problem of software testing.
Journal ArticleDOI
Confirming configurations in EFSM testing
TL;DR: The problem of configuration verification for the extended FSM (EFSM) model is investigated and it is demonstrated that this problem could be reduced to the EFSM traversal problem, so that the existing methods and tools developed in the context of model checking become applicable.
Journal ArticleDOI
Testing from partial deterministic FSM specifications
TL;DR: The so-called state-counting approach is proposed that is directly applicable to unreduced FSMs and generalizes the idea of state identification in test generation methods for deterministic machines.
Book ChapterDOI
Fault Model-Driven Test Derivation from Finite State Models: Annotated Bibliography
TL;DR: In this paper, a test suite is complete with respect to a given fault model when each implementation from the fault domain passes it if and only if the postulated conformance relation holds between the implementation and its specification.