World's Best Scientists 2026 revealed!

D-Index & Metrics

Computer Science

D-Index
32
Citations
4489
World Ranking
13160
National Ranking
508

Overview

Alexandre Petrenko is affiliated with the Computer Research Institute of Montréal in Canada.

There is no publicly available record of Alexandre Petrenko's recent publications, frequent co-authors, or typical publication venues.

No specific information has been provided regarding main fields of study, subfields, or main research topics associated with Alexandre Petrenko.

There are no known book publications linked to this researcher.

No awards or recognitions have been documented for Alexandre Petrenko to date.

Best Publications

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

    Gang Luo;G. von Bochmann;A. Petrenko

  • Protocol testing: review of methods and relevance for software testing

    Gregor V. Bochmann;Alexandre Petrenko

  • Confirming configurations in EFSM testing

    A. Petrenko;S. Boroday;R. Groz

  • Fault model-driven test derivation from finite state models: annotated bibliography

    Alexandre Petrenko

  • A density-based greedy algorithm for higher strength covering arrays

    Renée C. Bryce;Charles J. Colbourn

  • Testing from partial deterministic FSM specifications

    A. Petrenko;N. Yevtushenko

  • Testing deterministic implementations from nondeterministic FSM specifications

    A. Petrenko;N. Yevtushenko;G. v. Bochmann

  • Selecting test sequences for partially-specified nondeterministic finite state machines

    Alexandre Petrenko;Gregor v. Bochmann;Gang Luo

  • Prioritizing test cases with string distances

    Yves Ledru;Alexandre Petrenko;Sergiy Boroday;Nadine Mandran

  • Fault Model-Driven Test Derivation from Finite State Models: Annotated Bibliography

    Alexandre Petrenko

  • Nondeterministic State Machines in Protocol Conformance Testing

    Alexandre Petrenko;Nina Yevtushenko;Alexandre Lebedev;Anindya Das

  • On fault coverage of tests for finite state specifications

    A. Petrenko;G. v. Bochmann;M. Yao

  • Conformance Tests as Checking Experiments for Partial Nondeterministic FSM

    Alexandre Petrenko;Nina Yevtushenko

  • Fault models for testing in context

    A. Petrenko;N. Yevtushenko;G. V. Bochmann

  • Conformance tests as checking experiments for partial nondeterministic FSM

    Alexandre Petrenko;Nina Yevtushenko

  • Testing of Software and Communicating Systems

    Alexandre Petrenko;Margus Veanes;Jan Tretmans;Wolfgang Grieskamp

  • Testing in context: framework and test derivation

    Alexandre Petrenko;Nina Yevtushenko;Gregor V. Bochmann;Rachida Dssouli

  • Formal Verification of Web Applications Modeled by Communicating Automata

    May Haydar;Alexandre Petrenko;Houari A. Sahraoui

  • Checking Experiments with Protocol Machines

    Alexandre Petrenko

  • The Unknown Component Problem: Theory and Applications

    Tiziano Villa;Nina Yevtushenko;Robert K. Brayton;Alan Mishchenko

  • Test Suite Generation from a FSM with a Given Type of Implementation Errors

    Alexandre Petrenko;Nina Yevtushenko

  • Adaptive testing of deterministic implementations specified by nondeterministic FSMs

    Alexandre Petrenko;Nina Yevtushenko

  • Conformance Relations and Test Derivation

    Alexandre Petrenko;Gregor von Bochmann;Rachida Dssouli

Frequent Co-Authors

Robert K. Brayton
Robert K. Brayton University of California, Berkeley
Alberto Sangiovanni-Vincentelli
Alberto Sangiovanni-Vincentelli University of California, Berkeley
Alan Mishchenko
Alan Mishchenko University of California, Berkeley
Gregor von Bochmann
Gregor von Bochmann University of Ottawa
Margus Veanes
Margus Veanes Microsoft (United States)
Houari Sahraoui
Houari Sahraoui University of Montreal
Keqin Li
Keqin Li State University of New York at New Paltz
José Carlos Maldonado
José Carlos Maldonado Universidade de São Paulo
Rachida Dssouli
Rachida Dssouli Concordia University
Michael D. Ernst
Michael D. Ernst University of Washington

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Exploring Computer Science in the USA opens doors to a wide variety of online degrees and career pathways. Many students are choosing to pursue specialized programs such as an online master’s in electrical engineering degree to deepen their expertise and increase job prospects. These advanced degrees are highly respected and can lead to opportunities in diverse tech industries.

For those looking to enter the workforce quickly or boost their resumes, obtaining easy certifications to get can be a valuable option. Certifications can offer practical skills and higher earning potential without the extensive time commitment of a full degree.

Time can be a major factor for many professionals. Fortunately, there are quick masters degrees online that allow students to graduate faster and step into advanced roles sooner.

When deciding on further education, it’s important to focus on masters degrees that are worth it, ensuring your investment translates to strong demand and lasting career value in the job market.

Best Scientists Citing Alexandre Petrenko

Trending Scientists