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 |