Concepedia

Alexandre Petrenko

AP

Statistics

Publications

47

Citations

2.1K

H-Index

22

Active since

1991

Affiliations

Computer Research Institute of Montréal(Current)

National Research Tomsk State University

Université de Montréal

Universidade de São Paulo

University of California, Berkeley

Alexandre Petrenko is an author at Computer Research Institute of Montréal specializing in engineering, software testing, and formal methods.

Top concepts

EngineeringComputer ScienceSoftware TestingFormal MethodsFormal VerificationSoftware AnalysisVerificationSystems EngineeringProgram AnalysisComputer Engineering

Publications per year

1991–2016

47

Publications

47

Test selection based on communicating nondeterministic finite-state machines using a generalized Wp-method

Gang Luo, Gregor von Bochmann, Alexandre Petrenko · IEEE Transactions on Software Engineering · 1994 · 264 citations

Nondeterministic Finite-state Machines, Engineering, Verification +22

Protocol testing

Gregor von Bochmann, Alexandre Petrenko · 1994 · 226 citations · Full text

Engineering, Verification, Software Engineering +16

Confirming configurations in efsm testing

Alexandre Petrenko, Sergiy Boroday, Roland Groz · IEEE Transactions on Software Engineering · 2004 · 164 citations

Efsm Projections, Engineering, Verification +21

Testing from Partial Deterministic FSM Specifications

Alexandre Petrenko, Nina Yevtushenko · IEEE Transactions on Computers · 2005 · 136 citations

Engineering, Verification, Test Data Generation +18

Prioritizing test cases with string distances

Yves Ledru, Alexandre Petrenko, Sergiy Boroday et al. · Automated Software Engineering · 2011 · 124 citations

Engineering, String-searching Algorithm, Data Mining +9

Rows per page

1–5 of 47