default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAlexandre Petrenko
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2010 – 2019
- 2019
[j24]Alexandre Petrenko
:
Toward testing from finite state machines with symbolic inputs and outputs. Softw. Syst. Model. 18(2): 825-835 (2019)- [j23]Omer Nguena Timo, Alexandre Petrenko, S. Ramesh:
Fault model-driven testing from FSM with symbolic inputs. Softw. Qual. J. 27(2): 501-527 (2019) - [j22]Alexandre Petrenko, Florent Avellaneda, Roland Groz, Catherine Oriat:
FSM inference and checking sequence construction are two sides of the same coin. Softw. Qual. J. 27(2): 651-674 (2019) - [c84]Omer Nguena Timo, Alexandre Petrenko, S. Ramesh:
Using Imprecise Test Oracles Modelled by FSM. ICST Workshops 2019: 32-39 - [c83]Alexandre Petrenko, Florent Avellaneda:
Learning and Adaptive Testing of Nondeterministic State Machines. QRS 2019: 362-373 - [c82]Florent Avellaneda, Alexandre Petrenko:
Learning Minimal DFA: Taking Inspiration from RPNI to Improve SAT Approach. SEFM 2019: 243-256 - [c81]Alexandre Petrenko, Florent Avellaneda:
Learning Communicating State Machines. TAP@FM 2019: 112-128 - 2018
- [c80]Roland Groz, Adenilso da Silva Simão, Alexandre Petrenko, Catherine Oriat:
Inferring FSM Models of Systems Without Reset. Machine Learning for Dynamic Software Analysis 2018: 178-201 - [c79]Florent Avellaneda, Alexandre Petrenko:
FSM Inference from Long Traces. FM 2018: 93-109 - [c78]Florent Avellaneda, Alexandre Petrenko:
Inferring DFA without Negative Examples. ICGI 2018: 17-29 - [c77]Omer Nguena-Timo, Alexandre Petrenko, S. Ramesh:
Checking Sequence Generation for Symbolic Input/Output FSMs by Constraint Solving. ICTAC 2018: 354-375 - [c76]Alexandre Petrenko:
Towards Testing from Finite State Machines with Symbolic Inputs and Outputs. MoDELS 2018: 187 - [c75]Alexandre Petrenko, Florent Avellaneda:
Conformance Testing and Inference of Embedded Components. ICTSS 2018: 119-134 - 2017
- [c74]Omer Nguena-Timo, Alexandre Petrenko, S. Ramesh:
Multiple Mutation Testing from Finite State Machines with Symbolic Inputs. ICTSS 2017: 108-125 - [c73]Alexandre Petrenko, Florent Avellaneda, Roland Groz, Catherine Oriat:
From Passive to Active FSM Inference via Checking Sequence Construction. ICTSS 2017: 126-141 - [c72]Alexandre Petrenko, Adenilso da Silva Simão:
Generating Checking Sequences for User Defined Fault Models. ICTSS 2017: 320-325 - 2016
- [c71]Alexandre Petrenko, Omer Nguena-Timo, S. Ramesh:
Multiple Mutation Testing from FSM. FORTE 2016: 222-238 - [c70]Alexandre Petrenko:
Checking Experiments for Symbolic Input/Output Finite State Machines. ICST Workshops 2016: 229-237 - [c69]Alexandre Petrenko, Omer Nguena-Timo, S. Ramesh:
Test Generation by Constraint Solving and FSM Mutant Killing. ICTSS 2016: 36-51 - 2015
- [j21]Roland Groz, Keqin Li, Alexandre Petrenko:
Integration testing of communicating systems with unknown components. Ann. des Télécommunications 70(3-4): 107-125 (2015) - [j20]Alexandre Petrenko, Adenilso Simão:
Generalizing the DS-Methods for Testing Non-Deterministic FSMs. Comput. J. 58(7): 1656-1672 (2015) - [j19]Tiziano Villa, Alexandre Petrenko, Nina Yevtushenko, Alan Mishchenko, Robert K. Brayton:
Component-Based Design by Solving Language Equations. Proc. IEEE 103(11): 2152-2167 (2015) - [c68]Alexandre Petrenko, Omer Nguena-Timo, S. Ramesh:
Model-based testing of automotive software: some challenges and solutions. DAC 2015: 118:1-118:6 - [c67]Alexandre Petrenko, Adenilso da Silva Simão:
Checking Experiments for Finite State Machines with Symbolic Inputs. ICTSS 2015: 3-18 - [c66]Roland Groz, Adenilso da Silva Simão, Alexandre Petrenko, Catherine Oriat:
Inferring Finite State Machines Without Reset Using State Identification Sequences. ICTSS 2015: 161-177 - [c65]Guillaume Langelier, Arnaud Dury, Alexandre Petrenko, S. Ramesh, Tameem Assaf:
Building an interactive test development environment for cyclic executive systems. SIES 2015: 127-135 - 2014
- [c64]Alexandre Petrenko, Nina Yevtushenko:
Adaptive Testing of Nondeterministic Systems with FSM. HASE 2014: 224-228 - [c63]Alexandre Petrenko, Keqin Li, Roland Groz, Karim Hossen, Catherine Oriat:
Inferring Approximated Models for Systems Engineering. HASE 2014: 249-253 - [c62]Omer Nguena-Timo, Alexandre Petrenko, Arnaud Dury, S. Ramesh:
Reachability in hierarchical machines. IRI 2014: 475-482 - [c61]Adenilso da Silva Simão, Alexandre Petrenko:
Generating Complete and Finite Test Suite for ioco: Is It Possible? MBT 2014: 56-70 - 2013
- [j18]May Haydar, Alexandre Petrenko, Sergiy Boroday, Houari A. Sahraoui:
A formal approach for run-time verification of web applications using scope-extended LTL. Inf. Softw. Technol. 55(12): 2191-2208 (2013) - [c60]Alexandre Petrenko, Arnaud Dury, S. Ramesh, Swarup Mohalik:
A Method and Tool for Test Optimization for Automotive Controllers. ICST Workshops 2013: 198-207 - 2012
- [j17]Yves Ledru, Alexandre Petrenko, Sergiy Boroday, Nadine Mandran:
Prioritizing test cases with string distances. Autom. Softw. Eng. 19(1): 65-95 (2012) - [j16]Alexandre Petrenko, Adenilso da Silva Simão, José Carlos Maldonado:
Model-based testing of software and systems: recent advances and challenges. Int. J. Softw. Tools Technol. Transf. 14(4): 383-386 (2012) - [j15]Adenilso da Silva Simão, Alexandre Petrenko, Nina Yevtushenko:
On reducing test length for FSMs with extra states. Softw. Test. Verification Reliab. 22(6): 435-454 (2012) - [c59]Alexandre Petrenko, Adenilso da Silva Simão, Nina Yevtushenko:
Generating Checking Sequences for Nondeterministic Finite State Machines. ICST 2012: 310-319 - 2011
- [j14]Adenilso da Silva Simão, Alexandre Petrenko:
Generating asynchronous test cases from test purposes. Inf. Softw. Technol. 53(11): 1252-1262 (2011) - [c58]Alexandre Petrenko, Nina Yevtushenko:
Adaptive Testing of Deterministic Implementations Specified by Nondeterministic FSMs. ICTSS 2011: 162-178 - 2010
- [j13]Adenilso da Silva Simão, Alexandre Petrenko:
Fault Coverage-Driven Incremental Test Generation. Comput. J. 53(9): 1508-1522 (2010) - [j12]Adenilso da Silva Simão, Alexandre Petrenko:
Checking Completeness of Tests for Finite State Machines. IEEE Trans. Computers 59(8): 1023-1032 (2010) - [e4]Alexandre Petrenko, Adenilso da Silva Simão, José Carlos Maldonado:
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 [contents]
2000 – 2009
- 2009
- [j11]Adenilso da Silva Simão, Alexandre Petrenko, José Carlos Maldonado:
Comparing finite state machine test. IET Softw. 3(2): 91-105 (2009) - [j10]Jiale Huo, Alexandre Petrenko:
Transition covering tests for systems with queues. Softw. Test. Verification Reliab. 19(1): 55-83 (2009) - [c57]Alexandre Petrenko, Vladimir V. Rubanov, Olga Petrenko:
Creating Open Educational Environment based on Open-source Software Projects. CSEDU (2) 2009: 235-238 - [c56]Adenilso da Silva Simão, Alexandre Petrenko:
Checking Sequence Generation Using State Distinguishing Subsequences. ICST Workshops 2009: 48-56 - [c55]Arnaud Dury, Hesham Hallal, Alexandre Petrenko:
Inferring Behavioural Models from Traces of Business Applications. ICWS 2009: 791-798 - [c54]Yves Ledru, Alexandre Petrenko, Sergiy Boroday:
Using String Distances for Test Case Prioritisation. ASE 2009: 510-514 - [c53]Sergiy Boroday, Alexandre Petrenko, Andreas Ulrich:
Implementing MSC Tests with Quiescence Observation. TestCom/FATES 2009: 49-65 - [c52]Adenilso da Silva Simão, Alexandre Petrenko, Nina Yevtushenko:
Generating Reduced Tests for FSMs with Extra States. TestCom/FATES 2009: 129-145 - [c51]Hesham Hallal, Arnaud Dury, Alexandre Petrenko:
Web-FIM: Automated Framework for the Inference of Business Software Models. SERVICES I 2009: 130-138 - 2008
- [j9]Nina Yevtushenko, Tiziano Villa, Robert K. Brayton, Alexandre Petrenko, Alberto L. Sangiovanni-Vincentelli:
Compositionally Progressive Solutions of Synchronous FSM Equations. Discret. Event Dyn. Syst. 18(1): 51-89 (2008) - [c50]Sergiy Boroday, Alexandre Petrenko, Andreas Ulrich:
Test suite consistency verification. EWDTS 2008: 235-239 - [c49]May Haydar, Houari A. Sahraoui, Alexandre Petrenko:
Specification Patterns for Formal Web Verification. ICWE 2008: 240-246 - [c48]Adenilso da Silva Simão, Alexandre Petrenko:
Generating Checking Sequences for Partial Reduced Finite State Machines. TestCom/FATES 2008: 153-168 - [c47]Roland Groz, Keqin Li, Alexandre Petrenko, Muzammil Shahbaz:
Modular System Verification by Inference, Testing and Reachability Analysis. TestCom/FATES 2008: 216-233 - 2007
- [c46]Andreas Ulrich, Alexandre Petrenko:
Reverse Engineering Models from Traces to Validate Distributed Systems - An Industrial Case Study. ECMDA-FA 2007: 184-193 - [c45]Adenilso Simão, Alexandre Petrenko, José Carlos Maldonado:
Experimental Evaluation of Coverage Criteria for FSM-based Testing. SBES 2007: 359-374 - [c44]Arnaud Dury, Sergiy Boroday, Alexandre Petrenko, Volkmar Lotz:
Formal Verification of Business Workflows and Role Based Access Control Systems. SECURWARE 2007: 201-210 - [c43]Sergiy Boroday, Alexandre Petrenko, Roland Groz:
Can a Model Checker Generate Tests for Non-Deterministic Systems? MBT 2007: 3-19 - [e3]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. Lecture Notes in Computer Science 4581, Springer 2007, ISBN 978-3-540-73065-1 [contents] - 2006
- [j8]Hesham Hallal, Sergiy Boroday, Alexandre Petrenko, Andreas Ulrich:
A formal approach to property testing in causally consistent distributed traces. Formal Aspects Comput. 18(1): 63-83 (2006) - [c42]Alexandre Petrenko:
Why Automata Models Are Sexy for Testers? (Invited Talk). Ershov Memorial Conference 2006: 26 - [c41]Khaled El-Fakih, Alexandre Petrenko, Nina Yevtushenko:
FSM Test Translation Through Context. TestCom 2006: 245-258 - 2005
- [j7]Sergiy Boroday, Alexandre Petrenko, J. Singh, Hesham Hallal:
Dynamic analysis of java applications for multithreaded antipatterns. ACM SIGSOFT Softw. Eng. Notes 30(4): 1-7 (2005) - [j6]Alexandre Petrenko, Nina Yevtushenko:
Testing from Partial Deterministic FSM Specifications. IEEE Trans. Computers 54(9): 1154-1165 (2005) - [c40]Alexandre Petrenko, Nina Yevtushenko:
Conformance Tests as Checking Experiments for Partial Nondeterministic FSM. FATES 2005: 118-133 - [c39]Jiale Huo, Alexandre Petrenko:
Covering Transitions of Concurrent Systems through Queues. ISSRE 2005: 335-345 - [c38]May Haydar, Sergiy Boroday, Alexandre Petrenko, Houari A. Sahraoui:
Properties and scopes in web model checking. ASE 2005: 400-404 - [c37]Colin Campbell, Margus Veanes, Jiale Huo, Alexandre Petrenko:
Multiplexing of Partially Ordered Events. TestCom 2005: 97-110 - 2004
- [j5]Alexandre Petrenko, Sergiy Boroday, Roland Groz:
Confirming Configurations in EFSM Testing. IEEE Trans. Software Eng. 30(1): 29-42 (2004) - [c36]May Haydar, Alexandre Petrenko, Houari A. Sahraoui:
Formal Verification of Web Applications Modeled by Communicating Automata. FORTE 2004: 115-132 - [c35]Jiale Huo, Alexandre Petrenko:
On Testing Partially Specified IOTS through Lossless Queues. TestCom 2004: 76-94 - [c34]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 - [e2]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. Lecture Notes in Computer Science 2931, Springer 2004, ISBN 3-540-20894-1 [contents] - 2003
- [c33]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 - [c32]Andreas Ulrich, Hesham Hallal, Alexandre Petrenko, Sergiy Boroday:
Verifying Trustworthiness Requirements in Distributed Systems with Formal Log-file Analysis. HICSS 2003: 337 - [c31]Sergiy Boroday, Hesham Hallal, Alexandre Petrenko, Andreas Ulrich:
Formal Modeling of Communication Traces. ISTA 2003: 97-108 - [c30]Alexandre Petrenko, Nina Yevtushenko, Jiale Huo:
Testing Transition Systems with Input and Output Testers. TestCom 2003: 129-145 - [c29]Hesham Hallal, Sergiy Boroday, Andreas Ulrich, Alexandre Petrenko:
An Automata-Based Approach to Property Testing in Event Traces. TestCom 2003: 180-196 - 2002
- [c28]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 - [c27]Sergiy Boroday, Alexandre Petrenko, Roland Groz, Yves-Marie Quemener:
Test Generation for CEFSM Combining Specification and Fault Coverage. TestCom 2002: 355-372 - [c26]Sergiy Boroday, Roland Groz, Alexandre Petrenko, Yves-Marie Quemener:
Techniques for Abstracting SDL Specifications. SAM 2002: 141-157 - 2001
- [c25]Alexandre Petrenko:
Specification Based Testing: Towards Practice. Ershov Memorial Conference 2001: 287-300 - [c24]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
- [c23]Alexandre Petrenko, Nina Yevtushenko:
On Test Derivation from Partial Specifications. FORTE 2000: 85-102 - [c22]Hesham Hallal, Radu Negulescu, Alexandre Petrenko:
Design of divergence-free protocol converters using supervisory control techniques. ICECS 2000: 705-708 - [c21]Alexandre Petrenko:
Fault Model-Driven Test Derivation from Finite State Models: Annotated Bibliography. MOVEP 2000: 196-205 - [c20]Alexandre Petrenko, Andreas Ulrich:
Verification and Testing of Concurrent Systems with Action Races. TestCom 2000: 261-280
1990 – 1999
- 1999
- [c19]Alexandre Petrenko, Sergiy Boroday, Roland Groz:
Confirming configurations in EFSM. FORTE 1999: 5-24 - [c18]I. Koufareva, Alexandre Petrenko, Nina Yevtushenko:
Test Generation Driven by User-defined Fault Models. IWTCS 1999: 215-236 - 1998
- [c17]Alexandre Petrenko, Nina Yevtushenko:
Solving Asynchronous Equations. FORTE 1998: 231-247 - [c16]Q. M. Tan, Alexandre Petrenko:
Test Generation for Specifications Modeled by Input/Output Automata. IWTCS 1998: 83-100 - [c15]Alexandre Petrenko, Andreas Ulrich, V. Chapenko:
Using Partial-Orders for Detecting Faults in Concurrent Systems. IWTCS 1998: 175-190 - [e1]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. IFIP Conference Proceedings 131, Kluwer 1998, ISBN 0-412-84430-3 [contents] - 1997
- [j4]Alexandre Petrenko:
Technical Correspondence Comments on "A Reduced Test Suite for Protocol Conformance Testing". ACM Trans. Softw. Eng. Methodol. 6(3): 329-331 (1997) - [c14]Gregor von Bochmann, Alexandre Petrenko, O. Bellal, S. Maguiraga:
Automating the process of test derivation from SDL specifications. SDL Forum 1997: 261-276 - 1996
- [j3]Alexandre Petrenko, Gregor von Bochmann, Ming Yu Yao:
On Fault Coverage of Tests for Finite State Specifications. Comput. Networks ISDN Syst. 29(1): 81-106 (1996) - [j2]Alexandre Petrenko, Nina Yevtushenko, Gregor von Bochmann, Rachida Dssouli:
Testing in context: framework and test derivation. Comput. Commun. 19(14): 1236-1249 (1996) - [c13]Alexandre Petrenko, Nina Yevtushenko, Gregor von Bochmann:
Fault Models for Testing in Context. FORTE 1996: 163-178 - [c12]Q. M. Tan, Alexandre Petrenko, Gregor von Bochmann:
A Framework for Conformance Testing of Systems Communicating through Rendezvous. FTCS 1996: 230-238 - 1995
- [c11]Q. M. Tan, Alexandre Petrenko, Gregor von Bochmann:
Modeling basic LOTOS by FSMs for conformance testing. PSTV 1995: 137-152 - 1994
- [j1]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) - [c10]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 - [c9]Ming Yu Yao, Alexandre Petrenko, Gregor von Bochmann:
Fault Coverage Analysis in Respect to an FSM Specification. INFOCOM 1994: 768-775 - [c8]Gregor von Bochmann, Alexandre Petrenko:
Protocol Testing: Review of Methods and Relevance for Software Testing. ISSTA 1994: 109-124 - 1993
- [c7]Ming Yu Yao, Alexandre Petrenko, Gregor von Bochmann:
Conformance Testing of Protocol Machines without Reset. PSTV 1993: 241-256 - [c6]Alexandre Petrenko, Rachida Dssouli, Hartmut König:
On Evaluation of Testability of Protocol Structures. Protocol Test Systems 1993: 111-124 - [c5]Alexandre Petrenko, Gregor von Bochmann, Rachida Dssouli:
Conformance Relations and Test Derivation. Protocol Test Systems 1993: 157-178 - [c4]Alexandre Petrenko, Nina Yevtushenko, Alexandre Lebedev, Anindya Das:
Nondeterministic State Machines in Protocol Conformance Testing. Protocol Test Systems 1993: 363-378 - 1992
- [c3]Alexandre Petrenko, Nina Yevtushenko:
Test Suite Generation from a FSM with a Given Type of Implementation Errors. PSTV 1992: 229-243 - 1991
- [c2]Alexandre Petrenko:
Checking Experiments with Protocol Machines. Protocol Test Systems 1991: 83-94
1980 – 1989
- 1986
- [c1]Alfio Lombardo, Sergio Palazzo, Alexandre Petrenko:
A Matrix-Based Approach to Test Sequences Generation for Protocol Implementations. ICCC 1986: 508-513
Coauthor Index
Adenilso da Silva Simão
aka: Adenilso Simão
aka: Adenilso Simão
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:52 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
