Travelled to:1 × Denmark
1 × Israel
1 × Japan
1 × New Zealand
1 × Russia
2 × Canada
2 × Germany
2 × The Netherlands
2 × United Kingdom
4 × France
4 × USA
Collaborated with:N.Yevtushenko A.Ulrich S.Boroday A.d.S.Simão J.Huo ∅ R.Groz G.v.Bochmann R.Dssouli Q.M.Tan O.N.Timo S.Ramesh Y.Ledru K.El-Fakih I.Koufareva V.Chapenko H.König K.Li M.Shahbaz M.Haydar H.A.Sahraoui C.Campbell M.Veanes H.Hallal Y.Quemener I.B.Burdonov A.Kossatchev D.Galter A.Lebedev A.Das T.Villa R.K.Brayton A.L.Sangiovanni-Vincentelli
Talks about:test (22) generat (8) system (6) model (6) partial (5) machin (5) state (5) check (5) nondeterminist (4) protocol (4)
Person: Alexandre Petrenko
DBLP: Petrenko:Alexandre
Facilitated 6 volumes:
Ed
EdEdEd
PrCoPrCoContributed to:
2015
20122011
200920092008
2007
200720062005200520052004
2003200320022000
199919991998
199419931991
2018Wrote 30 papers:
- DAC-2015-PetrenkoTR #challenge #modelling #testing
- Model-based testing of automotive software: some challenges and solutions (AP, ONT, SR), p. 6.
- ICST-2012-PetrenkoSY #finite #generative #nondeterminism #sequence #state machine
- Generating Checking Sequences for Nondeterministic Finite State Machines (AP, AdSS, NY), pp. 310–319.
- ICTSS-2011-PetrenkoY #adaptation #implementation #nondeterminism #testing
- Adaptive Testing of Deterministic Implementations Specified by Nondeterministic FSMs (AP, NY), pp. 162–178.
- ASE-2009-LedruPB #string #testing #using
- Using String Distances for Test Case Prioritisation (YL, AP, SB), pp. 510–514.
- TestCom-FATES-2009-BorodayPU #implementation #testing
- Implementing MSC Tests with Quiescence Observation (SB, AP, AU), pp. 49–65.
- TestCom-FATES-2009-SimaoPY #generative #testing
- Generating Reduced Tests for FSMs with Extra States (AdSS, AP, NY), pp. 129–145.
- TestCom-FATES-2008-GrozLPS #analysis #composition #reachability #testing #verification
- Modular System Verification by Inference, Testing and Reachability Analysis (RG, KL, AP, MS), pp. 216–233.
- TestCom-FATES-2008-SimaoP #finite #generative #sequence #state machine
- Generating Checking Sequences for Partial Reduced Finite State Machines (AdSS, AP), pp. 153–168.
- ECMDA-FA-2007-UlrichP #case study #distributed #industrial #modelling #reverse engineering #validation
- Reverse Engineering Models from Traces to Validate Distributed Systems — An Industrial Case Study (AU, AP), pp. 184–193.
- MBT-2007-BorodayPG #model checking #nondeterminism #question #testing
- Can a Model Checker Generate Tests for Non-Deterministic Systems? (SB, AP, RG), pp. 3–19.
- TestCom-2006-El-FakihPY #automaton
- FSM Test Translation Through Context (KEF, AP, NY), pp. 245–258.
- ASE-2005-HaydarBPS #model checking #web
- Properties and scopes in web model checking (MH, SB, AP, HAS), pp. 400–404.
- FATES-2005-PetrenkoY #automaton #consistency #nondeterminism #testing
- Conformance Tests as Checking Experiments for Partial Nondeterministic FSM (AP, NY), pp. 118–133.
- TestCom-2005-CampbellVHP #multi #order
- Multiplexing of Partially Ordered Events (CC, MV, JH, AP), pp. 97–110.
- TestCom-2004-HuoP #on the #testing
- On Testing Partially Specified IOTS through Lossless Queues (JH, AP), pp. 76–94.
- DATE-2003-YevtushenkoVBPS #equation
- Equisolvability of Series vs. Controller’s Topology in Synchronous Language Equations (NY, TV, RKB, AP, ALSV), pp. 11154–11155.
- TestCom-2003-HallalBUP #approach #testing
- An Automata-Based Approach to Property Testing in Event Traces (HH, SB, AU, AP), pp. 180–196.
- TestCom-2003-PetrenkoYH #testing
- Testing Transition Systems with Input and Output Testers (AP, NY, JH), pp. 129–145.
- TestCom-2002-BorodayPGQ #fault #generative #specification #testing
- Test Generation for CEFSM Combining Specification and Fault Coverage (SB, AP, RG, YMQ), pp. 355–372.
- TestCom-2000-PetrenkoU #concurrent #testing #verification
- Verification and Testing of Concurrent Systems with Action Races (AP, AU), pp. 261–280.
- FM-v1-1999-BurdonovKPG #automation #generative #named #specification #testing
- KVEST: Automated Generation of Test Suites from Formal Specifications (IBB, AK, AP, DG), pp. 608–621.
- IWTCS-1999-KoufarevaPY #fault #generative #modelling #testing
- Test Generation Driven by User-defined Fault Models (IK, AP, NY), pp. 215–236.
- IWTCS-1998-PetrenkoUC #concurrent #detection #fault #using
- Using Partial-Orders for Detecting Faults in Concurrent Systems (AP, AU, VC), pp. 175–190.
- IWTCS-1998-TanP #automaton #generative #specification #testing
- Test Generation for Specifications Modeled by Input/Output Automata (QMT, AP), pp. 83–100.
- ISSTA-1994-BochmannP #overview #protocol #testing
- Protocol Testing: Review of Methods and Relevance for Software Testing (GvB, AP), pp. 109–124.
- IWPTS-1993-PetrenkoBD #consistency
- Conformance Relations and Test Derivation (AP, GvB, RD), pp. 157–178.
- IWPTS-1993-PetrenkoDK #evaluation #on the #protocol #testing
- On Evaluation of Testability of Protocol Structures (AP, RD, HK), pp. 111–124.
- IWPTS-1993-PetrenkoYLD #consistency #nondeterminism #protocol #state machine #testing
- Nondeterministic State Machines in Protocol Conformance Testing (AP, NY, AL, AD), pp. 363–378.
- IWPTS-1991-Petrenko #protocol
- Checking Experiments with Protocol Machines (AP), pp. 83–94.
- MoDELS-2018-Petrenko #finite #state machine #testing #towards
- Towards Testing from Finite State Machines with Symbolic Inputs and Outputs (AP), p. 187.