Alexandre Petrenko - researchr alias

researchr

You are not signed in
Sign in
Sign up

2011

Generating asynchronous test cases from test purposesAdenilso da Silva Simão, Alexandre Petrenko. INFSOF, 53(11):1252-1262, 2011. [doi]

Integrating AADL-Based Tool Chain into Existing Industrial ProcessesAlexey V. Khoroshilov, Igor Koverninskiy, Alexandre Petrenko, Alexander Ugnenko. iceccs 2011: 367-371 [doi]

2010

Checking Completeness of Tests for Finite State MachinesAdenilso da Silva Simão, Alexandre Petrenko. TC, 59(8):1023-1032, 2010. [doi]

Fault Coverage-Driven Incremental Test GenerationAdenilso da Silva Simão, Alexandre Petrenko. cj, 53(9):1508-1522, 2010. [doi]

Testing Software and Systems - 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010. ProceedingsAlexandre Petrenko, Adenilso da Silva Simão, José Carlos Maldonado, editors, Volume 6435 of Lecture Notes in Computer Science, Springer, 2010. [doi]

2009

Implementing MSC Tests with Quiescence ObservationSergiy Boroday, Alexandre Petrenko, Andreas Ulrich. pts 2009: 49-65 [doi]

Comparing finite state machine testAdenilso da Silva Simão, Alexandre Petrenko, José Carlos Maldonado. iee, 3(2):91-105, 2009. [doi]

Generating Reduced Tests for FSMs with Extra StatesAdenilso da Silva SimÃ£o, Alexandre Petrenko, Nina Yevtushenko. pts 2009: 129-145 [doi]

Inferring Behavioural Models from Traces of Business ApplicationsArnaud Dury, Hesham Hallal, Alexandre Petrenko. icws 2009: 791-798 [doi]

Web-FIM: Automated Framework for the Inference of Business Software ModelsHesham Hallal, Arnaud Dury, Alexandre Petrenko. services 2009: 130-138 [doi]

Transition covering tests for systems with queuesJiale Huo, Alexandre Petrenko. stvr, 19(1):55-83, 2009. [doi]

Establishing Linux Driver Verification ProcessAlexey V. Khoroshilov, Vadim Mutilin, Alexandre Petrenko, Vladimir Zakharov. ershov 2010: 165-176 [doi]

Using String Distances for Test Case PrioritisationYves Ledru, Alexandre Petrenko, Sergiy Boroday. kbse 2009: 510-514 [doi]

Creating Open Educational Environment based on Open-source Software ProjectsAlexandre Petrenko, Vladimir V. Rubanov, Olga Petrenko. csedu 2009: 235-238

2008

2007

2006

2005

Dynamic analysis of java applications for multithreaded antipatternsSergiy Boroday, Alexandre Petrenko, J. Singh, Hesham Hallal. sigsoft, 30(4):1-7, 2005. [doi]

Multiplexing of Partially Ordered EventsColin Campbell, Margus Veanes, Jiale Huo, Alexandre Petrenko. pts 2005: 97-110 [doi]

Properties and scopes in web model checkingMay Haydar, Sergiy Boroday, Alexandre Petrenko, Houari A. Sahraoui. ASE 2005: 400-404 [doi]

Covering Transitions of Concurrent Systems through QueuesJiale Huo, Alexandre Petrenko. issre 2005: 335-345 [doi]

Practical Approach to Specification and Conformance Testing of Distributed Network ApplicationsVictor V. Kuliamin, Nick V. Pakoulin, Alexandre Petrenko. isas 2005: 68-83 [doi]

Testing from Partial Deterministic FSM SpecificationsAlexandre Petrenko, Nina Yevtushenko. TC, 54(9):1154-1165, 2005. [doi]

Conformance Tests as Checking Experiments for Partial Nondeterministic FSMAlexandre Petrenko, Nina Yevtushenko. fates 2006: 118-133 [doi]

2004

Antipattern-Based Detection of Deficiencies in Java Multithreaded SoftwareHesham Hallal, E. Alikacem, W. P. Tunney, Sergiy Boroday, Alexandre Petrenko. qsic 2004: 258-267 [doi]

Formal Verification of Web Applications Modeled by Communicating AutomataMay Haydar, Alexandre Petrenko, Houari A. Sahraoui. forte 2004: 115-132 [doi]

On Testing Partially Specified IOTS through Lossless QueuesJiale Huo, Alexandre Petrenko. pts 2004: 76-94 [doi]

Confirming Configurations in EFSM TestingAlexandre Petrenko, Sergiy Boroday, Roland Groz. TSE, 30(1):29-42, 2004. [doi]

Formal Approaches to Software Testing, Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003Alexandre Petrenko, Andreas Ulrich, editors, Volume 2931 of Lecture Notes in Computer Science, Springer, 2004.

2003

Formal Modeling of Communication TracesSergiy Boroday, Hesham Hallal, Alexandre Petrenko, Andreas Ulrich. ista 2003: 97-108

An Automata-Based Approach to Property Testing in Event TracesHesham Hallal, Sergiy Boroday, Andreas Ulrich, Alexandre Petrenko. pts 2003: 180-196 [doi]

Integration of Functional and Timed Testing of Real-Time and Concurrent SystemsVictor V. Kuliamin, Alexandre Petrenko, Nick V. Pakoulin, Alexander Kossatchev, Igor B. Bourdonov. ershov 2003: 450-461 [doi]

Verification, Validation, and Testing of Software: Special Issue of the Programmirovanie JournalAlexandre Petrenko. pcs, 29(6):296-297, 2003. [doi]

Testing Transition Systems with Input and Output TestersAlexandre Petrenko, Nina Yevtushenko, Jiale Huo. pts 2003: 129-145 [doi]

Verifying Trustworthiness Requirements in Distributed Systems with Formal Log-file AnalysisAndreas Ulrich, Hesham Hallal, Alexandre Petrenko, Sergiy Boroday. hicss 2003: 337 [doi]

Equisolvability of Series vs. Controller s Topology in Synchronous Language EquationsNina Yevtushenko, Tiziano Villa, Robert K. Brayton, Alexandre Petrenko, Alberto L. Sangiovanni-Vincentelli. date 2003: 11154-11155 [doi]

2002

2001

Specification Based Testing: Towards PracticeAlexandre Petrenko. ershov 2001: 287-300 [doi]

Solution of Parallel Language Equations for Logic SynthesisNina Yevtushenko, Tiziano Villa, Robert K. Brayton, Alexandre Petrenko, Alberto L. Sangiovanni-Vincentelli. iccad 2001: 103 [doi]

2000

Verification and Testing of Concurrent Systems with Action RacesAlexandre Petrenko, Andreas Ulrich. pts 2000: 261-280

On Test Derivation from Partial SpecificationsAlexandre Petrenko, Nina Yevtushenko. forte 2000: 85-102

Fault Model-Driven Test Derivation from Finite State Models: Annotated BibliographyAlexandre Petrenko. movep 2001: 196-205 [doi]

1999

KVEST: Automated Generation of Test Suites from Formal SpecificationsIgor B. Burdonov, Alexander Kossatchev, Alexandre Petrenko, Dmitri Galter. fm 1999: 608-621 [doi]

Test Generation Driven by User-defined Fault ModelsI. Koufareva, Alexandre Petrenko, Nina Yevtushenko. pts 1999: 215-236

Confirming configurations in EFSMAlexandre Petrenko, Sergiy Boroday, Roland Groz. forte 1999: 5-24

1998

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

Solving Asynchronous EquationsAlexandre Petrenko, Nina Yevtushenko. forte 1998: 231-247

Testing of Communicating Systems, IFIP TC6 11th International Workshop on Testing Communicating Systems (IWTCS), August 31 - September 2, 1998, Tomsk, RussiaAlexandre Petrenko, Nina Yevtushenko, editors, Volume 131 of IFIP Conference Proceedings, Kluwer, 1998.

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

1997

Technical Correspondence Comments on A Reduced Test Suite for Protocol Conformance Testing Alexandre Petrenko. TOSEM, 6(3):329-331, 1997. [doi]

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

1996

1995

Modeling basic LOTOS by FSMs for conformance testingQ. M. Tan, Alexandre Petrenko, Gregor von Bochmann. pstv 1996: 137-152

1994

1993

1992

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

1991

Checking Experiments with Protocol MachinesAlexandre Petrenko. pts 1992: 83-94

1986

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