Alexandre Petrenko

Author Info

Name	Affiliation	Papers
ALEXANDRE PETRENKO	Ctr Rech Informat Montreal CRIM, Montreal, PQ, Canada	30
Collaborators	Citations	PageRank
28	176	15.90
Referers	Referees	References
300	543	450

Search Limit

100543

Publications (30 rows)

Collaborators (28 rows)

Referers (100 rows)

Referees (100 rows)

Title	Citations	PageRank	Year
FSM inference and checking sequence construction are two sides of the same coin	0	0.34	2019
Fault model-driven testing from FSM with symbolic inputs	0	0.34	2019
Learning and Adaptive Testing of Nondeterministic State Machines	0	0.34	2019
Conformance Testing and Inference of Embedded Components.	0	0.34	2018
Inferring DFA without Negative Examples.	0	0.34	2018
From Passive to Active FSM Inference via Checking Sequence Construction.	5	0.44	2017
Multiple Mutation Testing from Finite State Machines with Symbolic Inputs.	3	0.39	2017
Generating Checking Sequences for User Defined Fault Models.	1	0.35	2017
Checking Experiments for Symbolic Input/Output Finite State Machines	6	0.45	2016
Test Generation by Constraint Solving and FSM Mutant Killing.	3	0.38	2016
Multiple Mutation Testing from FSM.	3	0.39	2016
Checking Experiments for Finite State Machines with Symbolic Inputs.	4	0.41	2015
Integration testing of communicating systems with unknown components.	1	0.36	2015
Building an interactive test development environment for cyclic executive systems	1	0.37	2015
Inferring Finite State Machines Without Reset Using State Identification Sequences.	4	0.49	2015
Model-based testing of automotive software: some challenges and solutions	4	0.43	2015
Reachability in hierarchical machines	1	0.36	2014
Checking Sequence Generation Using State Distinguishing Subsequences	8	0.49	2009
Comparing finite state machine test	0	0.34	2009
Compositionally Progressive Solutions of Synchronous FSM Equations	7	0.69	2008
Test suite consistency verification	5	0.44	2008
FSM test translation through context	6	0.50	2006
Confirming configurations in EFSM testing	87	3.02	2004
An automata-based approach to property testing in event traces	9	0.83	2003
Equisolvability of Series vs. Controller's Topology in Synchronous Language Equations	1	0.35	2003
Formal Modeling of Communication Traces	0	0.34	2003
Techniques for abstracting SDL specifications	2	0.42	2002
Verification and Testing of Concurrent Systems with Action Races	2	0.36	2000
Using Partial-Orders for Detecting Faults in Concurrent Systems	3	0.56	1998
Test Generation for Specifications Modeled by Input/Output Automata	10	1.06	1998