Alexandre Petrenko

ORCID

Publication Activity (10 Years)

Years Active: 1986-2019
Publications (10 Years): 19

Top Venues

Publications

Omer Nguena Timo, Alexandre Petrenko, S. Ramesh
Fault model-driven testing from FSM with symbolic inputs. Softw. Qual. J. 27 (2) (2019)
Alexandre Petrenko, Florent Avellaneda, Roland Groz, Catherine Oriat
FSM inference and checking sequence construction are two sides of the same coin. Softw. Qual. J. 27 (2) (2019)
Alexandre Petrenko, Florent Avellaneda
Learning Communicating State Machines. TAP@FM (2019)
Alexandre Petrenko
Toward testing from finite state machines with symbolic inputs and outputs. Softw. Syst. Model. 18 (2) (2019)
Alexandre Petrenko, Florent Avellaneda
Learning and Adaptive Testing of Nondeterministic State Machines. QRS (2019)
Florent Avellaneda, Alexandre Petrenko
Learning Minimal DFA: Taking Inspiration from RPNI to Improve SAT Approach. SEFM (2019)
Omer Nguena Timo, Alexandre Petrenko, S. Ramesh
Using Imprecise Test Oracles Modelled by FSM. ICST Workshops (2019)
Omer Nguena-Timo, Alexandre Petrenko, S. Ramesh
Checking Sequence Generation for Symbolic Input/Output FSMs by Constraint Solving. ICTAC (2018)
Florent Avellaneda, Alexandre Petrenko
FSM Inference from Long Traces. FM (2018)
Alexandre Petrenko
Towards Testing from Finite State Machines with Symbolic Inputs and Outputs. MoDELS (2018)
Alexandre Petrenko, Florent Avellaneda
Conformance Testing and Inference of Embedded Components. ICTSS (2018)
Roland Groz, Adenilso da Silva Simão, Alexandre Petrenko, Catherine Oriat
Inferring FSM Models of Systems Without Reset. Machine Learning for Dynamic Software Analysis (2018)
Florent Avellaneda, Alexandre Petrenko
Inferring DFA without Negative Examples. ICGI (2018)
Omer Nguena-Timo, Alexandre Petrenko, S. Ramesh
Multiple Mutation Testing from Finite State Machines with Symbolic Inputs. ICTSS (2017)
Alexandre Petrenko, Florent Avellaneda, Roland Groz, Catherine Oriat
From Passive to Active FSM Inference via Checking Sequence Construction. ICTSS (2017)
Alexandre Petrenko, Adenilso da Silva Simão
Generating Checking Sequences for User Defined Fault Models. ICTSS (2017)
Alexandre Petrenko, Omer Nguena-Timo, S. Ramesh
Multiple Mutation Testing from FSM. FORTE (2016)
Alexandre Petrenko
Checking Experiments for Symbolic Input/Output Finite State Machines. ICST Workshops (2016)
Alexandre Petrenko, Omer Nguena-Timo, S. Ramesh
Test Generation by Constraint Solving and FSM Mutant Killing. ICTSS (2016)
Alexandre Petrenko, Adenilso da Silva Simão
Checking Experiments for Finite State Machines with Symbolic Inputs. ICTSS (2015)
Guillaume Langelier, Arnaud Dury, Alexandre Petrenko, S. Ramesh, Tameem Assaf
Building an interactive test development environment for cyclic executive systems. SIES (2015)
Tiziano Villa, Alexandre Petrenko, Nina Yevtushenko, Alan Mishchenko, Robert K. Brayton
Component-Based Design by Solving Language Equations. Proc. IEEE 103 (11) (2015)
Alexandre Petrenko, Adenilso Simão
Generalizing the DS-Methods for Testing Non-Deterministic FSMs. Comput. J. 58 (7) (2015)
Roland Groz, Adenilso da Silva Simão, Alexandre Petrenko, Catherine Oriat
Inferring Finite State Machines Without Reset Using State Identification Sequences. ICTSS (2015)
Roland Groz, Keqin Li, Alexandre Petrenko
Integration testing of communicating systems with unknown components. Ann. des Télécommunications 70 (3-4) (2015)
Alexandre Petrenko, Omer Nguena-Timo, S. Ramesh
Model-based testing of automotive software: some challenges and solutions. DAC (2015)
Omer Nguena-Timo, Alexandre Petrenko, Arnaud Dury, S. Ramesh
Reachability in hierarchical machines. IRI (2014)
Adenilso da Silva Simão, Alexandre Petrenko
Generating Complete and Finite Test Suite for ioco: Is It Possible? MBT (2014)
Alexandre Petrenko, Keqin Li, Roland Groz, Karim Hossen, Catherine Oriat
Inferring Approximated Models for Systems Engineering. HASE (2014)
Alexandre Petrenko, Nina Yevtushenko
Adaptive Testing of Nondeterministic Systems with FSM. HASE (2014)
Alexandre Petrenko, Arnaud Dury, S. Ramesh, Swarup Mohalik
A Method and Tool for Test Optimization for Automotive Controllers. ICST Workshops (2013)
May Haydar, Alexandre Petrenko, Sergiy Boroday, Houari A. Sahraoui
A formal approach for run-time verification of web applications using scope-extended LTL. Inf. Softw. Technol. 55 (12) (2013)
Adenilso da Silva Simão, Alexandre Petrenko, Nina Yevtushenko
On reducing test length for FSMs with extra states. Softw. Test. Verification Reliab. 22 (6) (2012)
Alexandre Petrenko, Adenilso da Silva Simão, José Carlos Maldonado
Model-based testing of software and systems: recent advances and challenges. Int. J. Softw. Tools Technol. Transf. 14 (4) (2012)
Yves Ledru, Alexandre Petrenko, Sergiy Boroday, Nadine Mandran
Prioritizing test cases with string distances. Autom. Softw. Eng. 19 (1) (2012)
Alexandre Petrenko, Adenilso da Silva Simão, Nina Yevtushenko
Generating Checking Sequences for Nondeterministic Finite State Machines. ICST (2012)
Adenilso da Silva Simão, Alexandre Petrenko
Generating asynchronous test cases from test purposes. Inf. Softw. Technol. 53 (11) (2011)
Alexandre Petrenko, Nina Yevtushenko
Adaptive Testing of Deterministic Implementations Specified by Nondeterministic FSMs. ICTSS (2011)
Adenilso da Silva Simão, Alexandre Petrenko
Fault Coverage-Driven Incremental Test Generation. Comput. J. 53 (9) (2010)
Adenilso da Silva Simão, Alexandre Petrenko
Checking Completeness of Tests for Finite State Machines. IEEE Trans. Computers 59 (8) (2010)
Yves Ledru, Alexandre Petrenko, Sergiy Boroday
Using String Distances for Test Case Prioritisation. ASE (2009)
Adenilso da Silva Simão, Alexandre Petrenko, José Carlos Maldonado
Comparing finite state machine test. IET Softw. 3 (2) (2009)
Alexandre Petrenko, Vladimir V. Rubanov, Olga Petrenko
Creating Open Educational Environment based on Open-source Software Projects. CSEDU (2) (2009)
Jiale Huo, Alexandre Petrenko
Transition covering tests for systems with queues. Softw. Test. Verification Reliab. 19 (1) (2009)
Arnaud Dury, Hesham Hallal, Alexandre Petrenko
Inferring Behavioural Models from Traces of Business Applications. ICWS (2009)
Sergiy Boroday, Alexandre Petrenko, Andreas Ulrich
Implementing MSC Tests with Quiescence Observation. TestCom/FATES (2009)
Hesham Hallal, Arnaud Dury, Alexandre Petrenko
Web-FIM: Automated Framework for the Inference of Business Software Models. SERVICES I (2009)
Adenilso da Silva Simão, Alexandre Petrenko, Nina Yevtushenko
Generating Reduced Tests for FSMs with Extra States. TestCom/FATES (2009)
Adenilso da Silva Simão, Alexandre Petrenko
Checking Sequence Generation Using State Distinguishing Subsequences. ICST Workshops (2009)
May Haydar, Houari A. Sahraoui, Alexandre Petrenko
Specification Patterns for Formal Web Verification. ICWE (2008)
Roland Groz, Keqin Li, Alexandre Petrenko, Muzammil Shahbaz
Modular System Verification by Inference, Testing and Reachability Analysis. TestCom/FATES (2008)
Nina Yevtushenko, Tiziano Villa, Robert K. Brayton, Alexandre Petrenko, Alberto L. Sangiovanni-Vincentelli
Compositionally Progressive Solutions of Synchronous FSM Equations. Discret. Event Dyn. Syst. 18 (1) (2008)
Sergiy Boroday, Alexandre Petrenko, Andreas Ulrich
Test suite consistency verification. EWDTS (2008)
Adenilso da Silva Simão, Alexandre Petrenko
Generating Checking Sequences for Partial Reduced Finite State Machines. TestCom/FATES (2008)
Adenilso Simão, Alexandre Petrenko, José Carlos Maldonado
Experimental Evaluation of Coverage Criteria for FSM-based Testing. SBES (2007)
Sergiy Boroday, Alexandre Petrenko, Roland Groz
Can a Model Checker Generate Tests for Non-Deterministic Systems? Electron. Notes Theor. Comput. Sci. 190 (2) (2007)
Andreas Ulrich, Alexandre Petrenko
Reverse Engineering Models from Traces to Validate Distributed Systems - An Industrial Case Study. ECMDA-FA (2007)
Arnaud Dury, Sergiy Boroday, Alexandre Petrenko, Volkmar Lotz
Formal Verification of Business Workflows and Role Based Access Control Systems. SECURWARE (2007)
Khaled El-Fakih, Alexandre Petrenko, Nina Yevtushenko
FSM Test Translation Through Context. TestCom (2006)
Alexandre Petrenko
Why Automata Models Are Sexy for Testers? (Invited Talk). Ershov Memorial Conference (2006)
Hesham Hallal, Sergiy Boroday, Alexandre Petrenko, Andreas Ulrich
A formal approach to property testing in causally consistent distributed traces. Formal Aspects Comput. 18 (1) (2006)
Alexandre Petrenko, Nina Yevtushenko
Testing from Partial Deterministic FSM Specifications. IEEE Trans. Computers 54 (9) (2005)
Colin Campbell, Margus Veanes, Jiale Huo, Alexandre Petrenko
Multiplexing of Partially Ordered Events. TestCom (2005)
Sergiy Boroday, Alexandre Petrenko, J. Singh, Hesham Hallal
Dynamic analysis of java applications for multithreaded antipatterns. ACM SIGSOFT Softw. Eng. Notes 30 (4) (2005)
Jiale Huo, Alexandre Petrenko
Covering Transitions of Concurrent Systems through Queues. ISSRE (2005)
Alexandre Petrenko, Nina Yevtushenko
Conformance Tests as Checking Experiments for Partial Nondeterministic FSM. FATES (2005)
May Haydar, Sergiy Boroday, Alexandre Petrenko, Houari A. Sahraoui
Properties and scopes in web model checking. ASE (2005)
May Haydar, Alexandre Petrenko, Houari A. Sahraoui
Formal Verification of Web Applications Modeled by Communicating Automata. FORTE (2004)
Hesham Hallal, El Hachemi Alikacem, W. P. Tunney, Sergiy Boroday, Alexandre Petrenko
Antipattern-Based Detection of Deficiencies in Java Multithreaded Software. QSIC (2004)
Alexandre Petrenko, Sergiy Boroday, Roland Groz
Confirming Configurations in EFSM Testing. IEEE Trans. Software Eng. 30 (1) (2004)
Jiale Huo, Alexandre Petrenko
On Testing Partially Specified IOTS through Lossless Queues. TestCom (2004)
Hesham Hallal, Sergiy Boroday, Andreas Ulrich, Alexandre Petrenko
An Automata-Based Approach to Property Testing in Event Traces. TestCom (2003)
Alexandre Petrenko, Nina Yevtushenko, Jiale Huo
Testing Transition Systems with Input and Output Testers. TestCom (2003)
Nina Yevtushenko, Tiziano Villa, Robert K. Brayton, Alexandre Petrenko, Alberto L. Sangiovanni-Vincentelli
Equisolvability of Series vs. Controller's Topology in Synchronous Language Equations. DATE (2003)
Sergiy Boroday, Hesham Hallal, Alexandre Petrenko, Andreas Ulrich
Formal Modeling of Communication Traces. ISTA (2003)
Andreas Ulrich, Hesham Hallal, Alexandre Petrenko, Sergiy Boroday
Verifying Trustworthiness Requirements in Distributed Systems with Formal Log-file Analysis. HICSS (2003)
Sergiy Boroday, Roland Groz, Alexandre Petrenko, Yves-Marie Quemener
Techniques for Abstracting SDL Specifications. SAM (2002)
Nina Yevtushenko, Tiziano Villa, Robert K. Brayton, Alexandre Petrenko, Alberto L. Sangiovanni-Vincentelli
Equisolvability of Series vs. Controller's Topology in Synchronous Language Equations. IWLS (2002)
Sergiy Boroday, Alexandre Petrenko, Roland Groz, Yves-Marie Quemener
Test Generation for CEFSM Combining Specification and Fault Coverage. TestCom (2002)
Nina Yevtushenko, Tiziano Villa, Robert K. Brayton, Alexandre Petrenko, Alberto L. Sangiovanni-Vincentelli
Solution of Parallel Language Equations for Logic Synthesis. ICCAD (2001)
Alexandre Petrenko
Specification Based Testing: Towards Practice. Ershov Memorial Conference (2001)
Alexandre Petrenko, Nina Yevtushenko
On Test Derivation from Partial Specifications. FORTE (2000)
Hesham Hallal, Radu Negulescu, Alexandre Petrenko
Design of divergence-free protocol converters using supervisory control techniques. ICECS (2000)
Alexandre Petrenko
Fault Model-Driven Test Derivation from Finite State Models: Annotated Bibliography. MOVEP (2000)
Alexandre Petrenko, Andreas Ulrich
Verification and Testing of Concurrent Systems with Action Races. TestCom (2000)
I. Koufareva, Alexandre Petrenko, Nina Yevtushenko
Test Generation Driven by User-defined Fault Models. IWTCS (1999)
Alexandre Petrenko, Sergiy Boroday, Roland Groz
Confirming configurations in EFSM. FORTE (1999)
Alexandre Petrenko, Nina Yevtushenko
Solving Asynchronous Equations. FORTE (1998)
Q. M. Tan, Alexandre Petrenko
Test Generation for Specifications Modeled by Input/Output Automata. IWTCS (1998)
Alexandre Petrenko, Andreas Ulrich, V. Chapenko
Using Partial-Orders for Detecting Faults in Concurrent Systems. IWTCS (1998)
Alexandre Petrenko
Technical Correspondence Comments on "A Reduced Test Suite for Protocol Conformance Testing". ACM Trans. Softw. Eng. Methodol. 6 (3) (1997)
Gregor von Bochmann, Alexandre Petrenko, O. Bellal, S. Maguiraga
Automating the process of test derivation from SDL specifications. SDL Forum (1997)
Alexandre Petrenko, Nina Yevtushenko, Gregor von Bochmann, Rachida Dssouli
Testing in context: framework and test derivation. Comput. Commun. 19 (14) (1996)
Alexandre Petrenko, Nina Yevtushenko, Gregor von Bochmann
Fault Models for Testing in Context. FORTE (1996)
Q. M. Tan, Alexandre Petrenko, Gregor von Bochmann
A Framework for Conformance Testing of Systems Communicating through Rendezvous. FTCS (1996)
Alexandre Petrenko, Gregor von Bochmann, Ming Yu Yao
On Fault Coverage of Tests for Finite State Specifications. Comput. Networks ISDN Syst. 29 (1) (1996)
Q. M. Tan, Alexandre Petrenko, Gregor von Bochmann
Modeling basic LOTOS by FSMs for conformance testing. PSTV (1995)
Ming Yu Yao, Alexandre Petrenko, Gregor von Bochmann
Fault Coverage Analysis in Respect to an FSM Specification. INFOCOM (1994)
Gregor von Bochmann, Alexandre Petrenko
Protocol Testing: Review of Methods and Relevance for Software Testing. ISSTA (1994)
Gang Luo, Gregor von Bochmann, Alexandre Petrenko
Test Selection Based on Communicating Nondeterministic Finite-State Machines Using a Generalized WP-Method. IEEE Trans. Software Eng. 20 (2) (1994)

Alexandre Petrenko.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Alexandre Petrenko