| 2008 |
|---|
| 70 | EE | May Haydar,
Houari A. Sahraoui,
Alexandre Petrenko:
Specification Patterns for Formal Web Verification.
ICWE 2008: 240-246 |
| 69 | EE | Adenilso da Silva Simão,
Alexandre Petrenko:
Generating Checking Sequences for Partial Reduced Finite State Machines.
TestCom/FATES 2008: 153-168 |
| 68 | EE | Roland Groz,
Keqin Li,
Alexandre Petrenko,
Muzammil Shahbaz:
Modular System Verification by Inference, Testing and Reachability Analysis.
TestCom/FATES 2008: 216-233 |
| 67 | EE | 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) |
| 2007 |
|---|
| 66 | | Alexandre Petrenko,
Margus Veanes,
Jan Tretmans,
Wolfgang Grieskamp:
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
Springer 2007 |
| 65 | EE | Andreas Ulrich,
Alexandre Petrenko:
Reverse Engineering Models from Traces to Validate Distributed Systems - An Industrial Case Study.
ECMDA-FA 2007: 184-193 |
| 64 | EE | Arnaud Dury,
Sergiy Boroday,
Alexandre Petrenko,
Volkmar Lotz:
Formal Verification of Business Workflows and Role Based Access Control Systems.
SECURWARE 2007: 201-210 |
| 63 | EE | 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) |
| 2006 |
|---|
| 62 | EE | Alexandre Petrenko:
Why Automata Models Are Sexy for Testers? (Invited Talk).
Ershov Memorial Conference 2006: 26 |
| 61 | EE | 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 |
| 60 | EE | Khaled El-Fakih,
Alexandre Petrenko,
Nina Yevtushenko:
FSM Test Translation Through Context.
TestCom 2006: 245-258 |
| 59 | EE | 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) |
| 2005 |
|---|
| 58 | EE | May Haydar,
Sergiy Boroday,
Alexandre Petrenko,
Houari A. Sahraoui:
Properties and scopes in web model checking.
ASE 2005: 400-404 |
| 57 | EE | Alexandre Petrenko,
Nina Yevtushenko:
Conformance Tests as Checking Experiments for Partial Nondeterministic FSM.
FATES 2005: 118-133 |
| 56 | EE | Victor V. Kuliamin,
Nick V. Pakoulin,
Alexandre Petrenko:
Practical Approach to Specification and Conformance Testing of Distributed Network Applications.
ISAS 2005: 68-83 |
| 55 | EE | Jiale Huo,
Alexandre Petrenko:
Covering Transitions of Concurrent Systems through Queues.
ISSRE 2005: 335-345 |
| 54 | EE | Colin Campbell,
Margus Veanes,
Jiale Huo,
Alexandre Petrenko:
Multiplexing of Partially Ordered Events.
TestCom 2005: 97-110 |
| 53 | EE | 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) |
| 52 | EE | Alexandre Petrenko,
Nina Yevtushenko:
Testing from Partial Deterministic FSM Specifications.
IEEE Trans. Computers 54(9): 1154-1165 (2005) |
| 2004 |
|---|
| 51 | | Alexandre Petrenko,
Andreas Ulrich:
Formal Approaches to Software Testing, Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003
Springer 2004 |
| 50 | EE | May Haydar,
Alexandre Petrenko,
Houari A. Sahraoui:
Formal Verification of Web Applications Modeled by Communicating Automata.
FORTE 2004: 115-132 |
| 49 | EE | Hesham Hallal,
E. Alikacem,
W. P. Tunney,
Sergiy Boroday,
Alexandre Petrenko:
Antipattern-Based Detection of Deficiencies in Java Multithreaded Software.
QSIC 2004: 258-267 |
| 48 | EE | Jiale Huo,
Alexandre Petrenko:
On Testing Partially Specified IOTS through Lossless Queues.
TestCom 2004: 76-94 |
| 47 | EE | Alexandre Petrenko,
Sergiy Boroday,
Roland Groz:
Confirming Configurations in EFSM Testing.
IEEE Trans. Software Eng. 30(1): 29-42 (2004) |
| 2003 |
|---|
| 46 | EE | Alexey Kalinov,
Alexander Kossatchev,
Alexandre Petrenko,
Mikhail Posypkin,
Vladimir Shishkov:
Using ASM Specifications for Compiler Testing.
Abstract State Machines 2003: 415 |
| 45 | EE | 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 |
| 44 | EE | 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 |
| 43 | EE | Andreas Ulrich,
Hesham Hallal,
Alexandre Petrenko,
Sergiy Boroday:
Verifying Trustworthiness Requirements in Distributed Systems with Formal Log-file Analysis.
HICSS 2003: 337 |
| 42 | | Sergiy Boroday,
Hesham Hallal,
Alexandre Petrenko,
Andreas Ulrich:
Formal Modeling of Communication Traces.
ISTA 2003: 97-108 |
| 41 | EE | Alexandre Petrenko,
Nina Yevtushenko,
Jiale Huo:
Testing Transition Systems with Input and Output Testers.
TestCom 2003: 129-145 |
| 40 | EE | Hesham Hallal,
Sergiy Boroday,
Andreas Ulrich,
Alexandre Petrenko:
An Automata-Based Approach to Property Testing in Event Traces.
TestCom 2003: 180-196 |
| 39 | EE | Alexey Kalinov,
Alexander Kossatchev,
Alexandre Petrenko,
Mikhail Posypkin,
Vladimir Shishkov:
Coverage-driven Automated Compiler Test Suite Generation.
Electr. Notes Theor. Comput. Sci. 82(3): (2003) |
| 38 | EE | Sergey V. Zelenov,
Sophia A. Zelenova,
Alexander Kossatchev,
Alexandre Petrenko:
Test Generation for Compilers and Other Formal Text Processors.
Programming and Computer Software 29(2): 104-111 (2003) |
| 37 | EE | Alexandre Petrenko:
Verification, Validation, and Testing of Software: Special Issue of the Programmirovanie Journal.
Programming and Computer Software 29(6): 296-297 (2003) |
| 36 | EE | Victor V. Kuliamin,
Alexandre Petrenko,
Alexander Kossatchev,
Igor B. Burdonov:
The UniTesK Approach to Designing Test Suites.
Programming and Computer Software 29(6): 310-322 (2003) |
| 2002 |
|---|
| 35 | EE | Igor B. Bourdonov,
Alexander Kossatchev,
Victor V. Kuliamin,
Alexandre Petrenko:
UniTesK Test Suite Architecture.
FME 2002: 77-88 |
| 34 | | 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 |
| 33 | EE | Sergiy Boroday,
Roland Groz,
Alexandre Petrenko,
Yves-Marie Quemener:
Techniques for Abstracting SDL Specifications.
SAM 2002: 141-157 |
| 32 | | Sergiy Boroday,
Alexandre Petrenko,
Roland Groz,
Yves-Marie Quemener:
Test Generation for CEFSM Combining Specification and Fault Coverage.
TestCom 2002: 355-372 |
| 2001 |
|---|
| 31 | EE | Alexandre Petrenko:
Specification Based Testing: Towards Practice.
Ershov Memorial Conference 2001: 287-300 |
| 30 | EE | Igor B. Bourdonov,
Alexey V. Demakov,
Andrew A. Jarov,
Alexander Kossatchev,
Victor V. Kuliamin,
Alexandre Petrenko,
Sergey V. Zelenov:
Java Specification Extension for Automated Test Development.
Ershov Memorial Conference 2001: 301-307 |
| 29 | EE | Nina Yevtushenko,
Tiziano Villa,
Robert K. Brayton,
Alexandre Petrenko,
Alberto L. Sangiovanni-Vincentelli:
Solution of Parallel Language Equations for Logic Synthesis.
ICCAD 2001: 103- |
| 2000 |
|---|
| 28 | | Alexandre Petrenko,
Nina Yevtushenko:
On Test Derivation from Partial Specifications.
FORTE 2000: 85-102 |
| 27 | EE | Alexandre Petrenko:
Fault Model-Driven Test Derivation from Finite State Models: Annotated Bibliography.
MOVEP 2000: 196-205 |
| 26 | | Alexandre Petrenko,
Andreas Ulrich:
Verification and Testing of Concurrent Systems with Action Races.
TestCom 2000: 261-280 |
| 1999 |
|---|
| 25 | | Alexandre Petrenko,
Sergiy Boroday,
Roland Groz:
Confirming configurations in EFSM.
FORTE 1999: 5-24 |
| 24 | | I. Koufareva,
Alexandre Petrenko,
Nina Yevtushenko:
Test Generation Driven by User-defined Fault Models.
IWTCS 1999: 215-236 |
| 23 | EE | 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 |
| 1998 |
|---|
| 22 | | Alexandre Petrenko,
Nina Yevtushenko:
Testing of Communicating Systems, IFIP TC6 11th International Workshop on Testing Communicating Systems (IWTCS), August 31 - September 2, 1998, Tomsk, Russia
Kluwer 1998 |
| 21 | | Alexandre Petrenko,
Nina Yevtushenko:
Solving Asynchronous Equations.
FORTE 1998: 231-247 |
| 20 | | Alexandre Petrenko,
Andreas Ulrich,
V. Chapenko:
Using Partial-Orders for Detecting Faults in Concurrent Systems.
IWTCS 1998: 175-190 |
| 19 | | Q. M. Tan,
Alexandre Petrenko:
Test Generation for Specifications Modeled by Input/Output Automata.
IWTCS 1998: 83-100 |
| 1997 |
|---|
| 18 | | Gregor von Bochmann,
Alexandre Petrenko,
O. Bellal,
S. Maguiraga:
Automating the process of test derivation from SDL specifications.
SDL Forum 1997: 261-276 |
| 17 | EE | Alexandre Petrenko:
Technical Correspondence Comments on "A Reduced Test Suite for Protocol Conformance Testing".
ACM Trans. Softw. Eng. Methodol. 6(3): 329-331 (1997) |
| 1996 |
|---|
| 16 | | Alexandre Petrenko,
Nina Yevtushenko,
Gregor von Bochmann:
Fault Models for Testing in Context.
FORTE 1996: 163-178 |
| 15 | | Q. M. Tan,
Alexandre Petrenko,
Gregor von Bochmann:
A Framework for Conformance Testing of Systems Communicating through Rendezvous.
FTCS 1996: 230-238 |
| 14 | EE | Alexandre Petrenko,
Nina Yevtushenko,
Gregor von Bochmann,
Rachida Dssouli:
Testing in context: framework and test derivation.
Computer Communications 19(14): 1236-1249 (1996) |
| 13 | EE | 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) |
| 1995 |
|---|
| 12 | | Q. M. Tan,
Alexandre Petrenko,
Gregor von Bochmann:
Modeling basic LOTOS by FSMs for conformance testing.
PSTV 1995: 137-152 |
| 1994 |
|---|
| 11 | | 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 |
| 10 | | Ming Yu Yao,
Alexandre Petrenko,
Gregor von Bochmann:
Fault Coverage Analysis in Respect to an FSM Specification.
INFOCOM 1994: 768-775 |
| 9 | EE | Gregor von Bochmann,
Alexandre Petrenko:
Protocol Testing: Review of Methods and Relevance for Software Testing.
ISSTA 1994: 109-124 |
| 8 | EE | 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) |
| 1993 |
|---|
| 7 | | Ming Yu Yao,
Alexandre Petrenko,
Gregor von Bochmann:
Conformance Testing of Protocol Machines without Reset.
PSTV 1993: 241-256 |
| 6 | | Alexandre Petrenko,
Rachida Dssouli,
Hartmut König:
On Evaluation of Testability of Protocol Structures.
Protocol Test Systems 1993: 111-124 |
| 5 | | Alexandre Petrenko,
Gregor von Bochmann,
Rachida Dssouli:
Conformance Relations and Test Derivation.
Protocol Test Systems 1993: 157-178 |
| 4 | | Alexandre Petrenko,
Nina Yevtushenko,
Alexandre Lebedev,
Anindya Das:
Nondeterministic State Machines in Protocol Conformance Testing.
Protocol Test Systems 1993: 363-378 |
| 1992 |
|---|
| 3 | | Alexandre Petrenko,
Nina Yevtushenko:
Test Suite Generation from a FSM with a Given Type of Implementation Errors.
PSTV 1992: 229-243 |
| 1991 |
|---|
| 2 | | Alexandre Petrenko:
Checking Experiments with Protocol Machines.
Protocol Test Systems 1991: 83-94 |
| 1986 |
|---|
| 1 | | Alfio Lombardo,
Sergio Palazzo,
Alexandre Petrenko:
A Matrix-Based Approach to Test Sequences Generation for Protocol Implementations.
ICCC 1986: 508-513 |
