Alexandre Petrenko

Yves Ledru, Alexandre Petrenko, Sergiy Boroday, Nadine Mandran: Prioritizing test cases with string distances. Autom. Softw. Eng. 19(1): 65-95 (2012)

Alexandre Petrenko, Adenilso da Silva Simão, José Carlos Maldonado: Model-based testing of software and systems: recent advances and challenges. STTT 14(4): 383-386 (2012)

Adenilso da Silva Simão, Alexandre Petrenko, Nina Yevtushenko: On reducing test length for FSMs with extra states. Softw. Test., Verif. Reliab. 22(6): 435-454 (2012)

Alexandre Petrenko, Adenilso da Silva Simão, Nina Yevtushenko: Generating Checking Sequences for Nondeterministic Finite State Machines. ICST 2012: 310-319

Adenilso da Silva Simão, Alexandre Petrenko: Generating asynchronous test cases from test purposes. Information & Software Technology 53(11): 1252-1262 (2011)

Alexey V. Khoroshilov, Igor Koverninskiy, Alexandre Petrenko, Alexander Ugnenko: Integrating AADL-Based Tool Chain into Existing Industrial Processes. ICECCS 2011: 367-371

Alexandre Petrenko, Nina Yevtushenko: Adaptive Testing of Deterministic Implementations Specified by Nondeterministic FSMs. ICTSS 2011: 162-178

Adenilso da Silva Simão, Alexandre Petrenko: Fault Coverage-Driven Incremental Test Generation. Comput. J. 53(9): 1508-1522 (2010)

Adenilso da Silva Simão, Alexandre Petrenko: Checking Completeness of Tests for Finite State Machines. IEEE Trans. Computers 59(8): 1023-1032 (2010)

Alexandre Petrenko, Adenilso da Silva Simão, José Carlos Maldonado (Eds.): Testing Software and Systems - 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010. Proceedings. Lecture Notes in Computer Science 6435, Springer 2010, isbn 978-3-642-16572-6

Adenilso da Silva Simão, Alexandre Petrenko, José Carlos Maldonado: Comparing finite state machine test. IET Software 3(2): 91-105 (2009)

Jiale Huo, Alexandre Petrenko: Transition covering tests for systems with queues. Softw. Test., Verif. Reliab. 19(1): 55-83 (2009)

Alexandre Petrenko, Vladimir V. Rubanov, Olga Petrenko: Creating Open Educational Environment based on Open-source Software Projects. CSEDU (2) 2009: 235-238

Alexey V. Khoroshilov, Vadim Mutilin, Alexandre Petrenko, Vladimir Zakharov: Establishing Linux Driver Verification Process. Ershov Memorial Conference 2009: 165-176

Adenilso da Silva Simão, Alexandre Petrenko: Checking Sequence Generation Using State Distinguishing Subsequences. ICST Workshops 2009: 48-56

Arnaud Dury, Hesham Hallal, Alexandre Petrenko: Inferring Behavioural Models from Traces of Business Applications. ICWS 2009: 791-798

Yves Ledru, Alexandre Petrenko, Sergiy Boroday: Using String Distances for Test Case Prioritisation. ASE 2009: 510-514

Sergiy Boroday, Alexandre Petrenko, Andreas Ulrich: Implementing MSC Tests with Quiescence Observation. TestCom/FATES 2009: 49-65

Adenilso da Silva Simão, Alexandre Petrenko, Nina Yevtushenko: Generating Reduced Tests for FSMs with Extra States. TestCom/FATES 2009: 129-145

Hesham Hallal, Arnaud Dury, Alexandre Petrenko: Web-FIM: Automated Framework for the Inference of Business Software Models. SERVICES I 2009: 130-138

Nina Yevtushenko, Tiziano Villa, Robert K. Brayton, Alexandre Petrenko, Alberto L. Sangiovanni-Vincentelli: Compositionally Progressive Solutions of Synchronous FSM Equations. Discrete Event Dynamic Systems 18(1): 51-89 (2008)

Sergiy Boroday, Alexandre Petrenko, Andreas Ulrich: Test suite consistency verification. EWDTS 2008: 235-239

May Haydar, Houari A. Sahraoui, Alexandre Petrenko: Specification Patterns for Formal Web Verification. ICWE 2008: 240-246

Adenilso da Silva Simão, Alexandre Petrenko: Generating Checking Sequences for Partial Reduced Finite State Machines. TestCom/FATES 2008: 153-168

Roland Groz, Keqin Li, Alexandre Petrenko, Muzammil Shahbaz: Modular System Verification by Inference, Testing and Reachability Analysis. TestCom/FATES 2008: 216-233

Sergiy Boroday, Alexandre Petrenko, Roland Groz: Can a Model Checker Generate Tests for Non-Deterministic Systems? Electr. Notes Theor. Comput. Sci. 190(2): 3-19 (2007)

Andreas Ulrich, Alexandre Petrenko: Reverse Engineering Models from Traces to Validate Distributed Systems - An Industrial Case Study. ECMDA-FA 2007: 184-193

Arnaud Dury, Sergiy Boroday, Alexandre Petrenko, Volkmar Lotz: Formal Verification of Business Workflows and Role Based Access Control Systems. SECURWARE 2007: 201-210

Alexandre Petrenko, Margus Veanes, Jan Tretmans, Wolfgang Grieskamp (Eds.): Testing of Software and Communicating Systems, 19th IFIP TC6/WG6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, Tallinn, Estonia, June 26-29, 2007, Proceedings. Lecture Notes in Computer Science 4581, Springer 2007, isbn 978-3-540-73065-1

Hesham Hallal, Sergiy Boroday, Alexandre Petrenko, Andreas Ulrich: A formal approach to property testing in causally consistent distributed traces. Formal Asp. Comput. 18(1): 63-83 (2006)

Alexandre Petrenko: Why Automata Models Are Sexy for Testers? (Invited Talk). Ershov Memorial Conference 2006: 26

Alexey Grinevich, Alexey V. Khoroshilov, Victor V. Kuliamin, Denis Markovtsev, Alexandre Petrenko, Vladimir V. Rubanov: Formal Methods in Industrial Software Standards Enforcement. Ershov Memorial Conference 2006: 456-466

Khaled El-Fakih, Alexandre Petrenko, Nina Yevtushenko: FSM Test Translation Through Context. TestCom 2006: 245-258

Sergiy Boroday, Alexandre Petrenko, J. Singh, Hesham Hallal: Dynamic analysis of java applications for multithreaded antipatterns. ACM SIGSOFT Software Engineering Notes 30(4): 1-7 (2005)

Alexandre Petrenko, Nina Yevtushenko: Testing from Partial Deterministic FSM Specifications. IEEE Trans. Computers 54(9): 1154-1165 (2005)

Alexandre Petrenko, Nina Yevtushenko: Conformance Tests as Checking Experiments for Partial Nondeterministic FSM. FATES 2005: 118-133

Victor V. Kuliamin, Nick V. Pakoulin, Alexandre Petrenko: Practical Approach to Specification and Conformance Testing of Distributed Network Applications. ISAS 2005: 68-83

Jiale Huo, Alexandre Petrenko: Covering Transitions of Concurrent Systems through Queues. ISSRE 2005: 335-345

May Haydar, Sergiy Boroday, Alexandre Petrenko, Houari A. Sahraoui: Properties and scopes in web model checking. ASE 2005: 400-404

Colin Campbell, Margus Veanes, Jiale Huo, Alexandre Petrenko: Multiplexing of Partially Ordered Events. TestCom 2005: 97-110

Alexandre Petrenko, Sergiy Boroday, Roland Groz: Confirming Configurations in EFSM Testing. IEEE Trans. Software Eng. 30(1): 29-42 (2004)

May Haydar, Alexandre Petrenko, Houari A. Sahraoui: Formal Verification of Web Applications Modeled by Communicating Automata. FORTE 2004: 115-132

Jiale Huo, Alexandre Petrenko: On Testing Partially Specified IOTS through Lossless Queues. TestCom 2004: 76-94

Hesham Hallal, El Hachemi Alikacem, W. P. Tunney, Sergiy Boroday, Alexandre Petrenko: Antipattern-Based Detection of Deficiencies in Java Multithreaded Software. QSIC 2004: 258-267

Alexandre Petrenko, Andreas Ulrich (Eds.): Formal Approaches to Software Testing, Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003. Lecture Notes in Computer Science 2931, Springer 2004, isbn 3-540-20894-1

Alexandre Petrenko: Verification, Validation, and Testing of Software: Special Issue of the Programmirovanie Journal. Programming and Computer Software 29(6): 296-297 (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: 11154-11155

Victor V. Kuliamin, Alexandre Petrenko, Nick V. Pakoulin, Alexander Kossatchev, Igor B. Bourdonov: Integration of Functional and Timed Testing of Real-Time and Concurrent Systems. Ershov Memorial Conference 2003: 450-461

Andreas Ulrich, Hesham Hallal, Alexandre Petrenko, Sergiy Boroday: Verifying Trustworthiness Requirements in Distributed Systems with Formal Log-file Analysis. HICSS 2003: 337

Sergiy Boroday, Hesham Hallal, Alexandre Petrenko, Andreas Ulrich: Formal Modeling of Communication Traces. ISTA 2003: 97-108

Alexandre Petrenko, Nina Yevtushenko, Jiale Huo: Testing Transition Systems with Input and Output Testers. TestCom 2003: 129-145

Hesham Hallal, Sergiy Boroday, Andreas Ulrich, Alexandre Petrenko: An Automata-Based Approach to Property Testing in Event Traces. TestCom 2003: 180-196

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: 45-50

Sergiy Boroday, Alexandre Petrenko, Roland Groz, Yves-Marie Quemener: Test Generation for CEFSM Combining Specification and Fault Coverage. TestCom 2002: 355-372

Sergiy Boroday, Roland Groz, Alexandre Petrenko, Yves-Marie Quemener: Techniques for Abstracting SDL Specifications. SAM 2002: 141-157

Alexandre Petrenko: Specification Based Testing: Towards Practice. Ershov Memorial Conference 2001: 287-300

Nina Yevtushenko, Tiziano Villa, Robert K. Brayton, Alexandre Petrenko, Alberto L. Sangiovanni-Vincentelli: Solution of Parallel Language Equations for Logic Synthesis. ICCAD 2001: 103-

Alexandre Petrenko, Nina Yevtushenko: On Test Derivation from Partial Specifications. FORTE 2000: 85-102

Alexandre Petrenko: Fault Model-Driven Test Derivation from Finite State Models: Annotated Bibliography. MOVEP 2000: 196-205

Alexandre Petrenko, Andreas Ulrich: Verification and Testing of Concurrent Systems with Action Races. TestCom 2000: 261-280

Igor B. Burdonov, Alexander Kossatchev, Alexandre Petrenko, Dmitri Galter: KVEST: Automated Generation of Test Suites from Formal Specifications. World Congress on Formal Methods 1999: 608-621

Alexandre Petrenko, Sergiy Boroday, Roland Groz: Confirming configurations in EFSM. FORTE 1999: 5-24

I. Koufareva, Alexandre Petrenko, Nina Yevtushenko: Test Generation Driven by User-defined Fault Models. IWTCS 1999: 215-236

Alexandre Petrenko, Nina Yevtushenko: Solving Asynchronous Equations. FORTE 1998: 231-247

Q. M. Tan, Alexandre Petrenko: Test Generation for Specifications Modeled by Input/Output Automata. IWTCS 1998: 83-100

Alexandre Petrenko, Andreas Ulrich, V. Chapenko: Using Partial-Orders for Detecting Faults in Concurrent Systems. IWTCS 1998: 175-190

Alexandre Petrenko, Nina Yevtushenko (Eds.): Testing of Communicating Systems, IFIP TC6 11th International Workshop on Testing Communicating Systems (IWTCS), August 31 - September 2, 1998, Tomsk, Russia. IFIP Conference Proceedings 131, Kluwer 1998, isbn 0-412-84430-3

Alexandre Petrenko: Technical Correspondence Comments on "A Reduced Test Suite for Protocol Conformance Testing". ACM Trans. Softw. Eng. Methodol. 6(3): 329-331 (1997)

Gregor von Bochmann, Alexandre Petrenko, O. Bellal, S. Maguiraga: Automating the process of test derivation from SDL specifications. SDL Forum 1997: 261-276

Alexandre Petrenko, Gregor von Bochmann, Ming Yu Yao: On Fault Coverage of Tests for Finite State Specifications. Computer Networks and ISDN Systems 29(1): 81-106 (1996)

Alexandre Petrenko, Nina Yevtushenko, Gregor von Bochmann, Rachida Dssouli: Testing in context: framework and test derivation. Computer Communications 19(14): 1236-1249 (1996)

Alexandre Petrenko, Nina Yevtushenko, Gregor von Bochmann: Fault Models for Testing in Context. FORTE 1996: 163-178

Q. M. Tan, Alexandre Petrenko, Gregor von Bochmann: A Framework for Conformance Testing of Systems Communicating through Rendezvous. FTCS 1996: 230-238

Q. M. Tan, Alexandre Petrenko, Gregor von Bochmann: Modeling basic LOTOS by FSMs for conformance testing. PSTV 1995: 137-152

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): 149-162 (1994)

Ming Yu Yao, Alexandre Petrenko, Gregor von Bochmann: A structural analysis approach to the evaluation of fault coverage for protocol conformance testing. FORTE 1994: 399-414

Ming Yu Yao, Alexandre Petrenko, Gregor von Bochmann: Fault Coverage Analysis in Respect to an FSM Specification. INFOCOM 1994: 768-775

Gregor von Bochmann, Alexandre Petrenko: Protocol Testing: Review of Methods and Relevance for Software Testing. ISSTA 1994: 109-124

Ming Yu Yao, Alexandre Petrenko, Gregor von Bochmann: Conformance Testing of Protocol Machines without Reset. PSTV 1993: 241-256

Alexandre Petrenko, Rachida Dssouli, Hartmut König: On Evaluation of Testability of Protocol Structures. Protocol Test Systems 1993: 111-124

Alexandre Petrenko, Gregor von Bochmann, Rachida Dssouli: Conformance Relations and Test Derivation. Protocol Test Systems 1993: 157-178

Alexandre Petrenko, Nina Yevtushenko, Alexandre Lebedev, Anindya Das: Nondeterministic State Machines in Protocol Conformance Testing. Protocol Test Systems 1993: 363-378

Alexandre Petrenko, Nina Yevtushenko: Test Suite Generation from a FSM with a Given Type of Implementation Errors. PSTV 1992: 229-243

Alexandre Petrenko: Checking Experiments with Protocol Machines. Protocol Test Systems 1991: 83-94

Alfio Lombardo, Sergio Palazzo, Alexandre Petrenko: A Matrix-Based Approach to Test Sequences Generation for Protocol Implementations. ICCC 1986: 508-513