Alexandre Petrenko

112 papers A* 4A 7B 3C 19Misc 1Journal 24Unranked 51

Year	Rank	Type	Title / Venue / Authors
2019	J	`jnl`	FSM inference and checking sequence construction are two sides of the same coin. Softw. Qual. J. Alexandre Petrenko, Florent Avellaneda, Roland Groz, Catherine Oriat
2019	J	`jnl`	Fault model-driven testing from FSM with symbolic inputs. Softw. Qual. J. Omer Nguena Timo, Alexandre Petrenko, S. Ramesh
2019	—	`conf`	Learning Communicating State Machines. TAP@FM Alexandre Petrenko, Florent Avellaneda
2019	B	`conf`	Learning Minimal DFA: Taking Inspiration from RPNI to Improve SAT Approach. SEFM Florent Avellaneda, Alexandre Petrenko
2019	C	`conf`	Learning and Adaptive Testing of Nondeterministic State Machines. QRS Alexandre Petrenko, Florent Avellaneda
2019	J	`jnl`	Toward testing from finite state machines with symbolic inputs and outputs. Softw. Syst. Model. Alexandre Petrenko
2019	—	`conf`	Using Imprecise Test Oracles Modelled by FSM. ICST Workshops Omer Nguena Timo, Alexandre Petrenko, S. Ramesh
2018	C	`conf`	Checking Sequence Generation for Symbolic Input/Output FSMs by Constraint Solving. ICTAC Omer Nguena-Timo, Alexandre Petrenko, S. Ramesh
2018	C	`conf`	Conformance Testing and Inference of Embedded Components. ICTSS Alexandre Petrenko, Florent Avellaneda
2018	B	`conf`	FSM Inference from Long Traces. FM Florent Avellaneda, Alexandre Petrenko
2018	—	`conf`	Inferring DFA without Negative Examples. ICGI Florent Avellaneda, Alexandre Petrenko
2018	—	`conf`	Inferring FSM Models of Systems Without Reset. Machine Learning for Dynamic Software Analysis Roland Groz, Adenilso da Silva Simão, Alexandre Petrenko, Catherine Oriat
2018	A	`conf`	Towards Testing from Finite State Machines with Symbolic Inputs and Outputs. MoDELS Alexandre Petrenko
2017	C	`conf`	From Passive to Active FSM Inference via Checking Sequence Construction. ICTSS Alexandre Petrenko, Florent Avellaneda, Roland Groz, Catherine Oriat
2017	C	`conf`	Generating Checking Sequences for User Defined Fault Models. ICTSS Alexandre Petrenko, Adenilso da Silva Simão
2017	C	`conf`	Multiple Mutation Testing from Finite State Machines with Symbolic Inputs. ICTSS Omer Nguena-Timo, Alexandre Petrenko, S. Ramesh
2016	—	`conf`	Checking Experiments for Symbolic Input/Output Finite State Machines. ICST Workshops Alexandre Petrenko
2016	C	`conf`	Multiple Mutation Testing from FSM. FORTE Alexandre Petrenko, Omer Nguena-Timo, S. Ramesh
2016	C	`conf`	Test Generation by Constraint Solving and FSM Mutant Killing. ICTSS Alexandre Petrenko, Omer Nguena-Timo, S. Ramesh
2015	—	`conf`	Building an interactive test development environment for cyclic executive systems. SIES Guillaume Langelier, Arnaud Dury, Alexandre Petrenko, S. Ramesh, Tameem Assaf
2015	C	`conf`	Checking Experiments for Finite State Machines with Symbolic Inputs. ICTSS Alexandre Petrenko, Adenilso da Silva Simão
2015	J	`jnl`	Component-Based Design by Solving Language Equations. Proc. IEEE Tiziano Villa, Alexandre Petrenko, Nina Yevtushenko, Alan Mishchenko, Robert K. Brayton
2015	J	`jnl`	Generalizing the DS-Methods for Testing Non-Deterministic FSMs. Comput. J. Alexandre Petrenko, Adenilso Simão
2015	C	`conf`	Inferring Finite State Machines Without Reset Using State Identification Sequences. ICTSS Roland Groz, Adenilso da Silva Simão, Alexandre Petrenko, Catherine Oriat
2015	J	`jnl`	Integration testing of communicating systems with unknown components. Ann. des Télécommunications Roland Groz, Keqin Li, Alexandre Petrenko
2015	A*	`conf`	Model-based testing of automotive software: some challenges and solutions. DAC Alexandre Petrenko, Omer Nguena-Timo, S. Ramesh
2014	—	`conf`	Adaptive Testing of Nondeterministic Systems with FSM. HASE Alexandre Petrenko, Nina Yevtushenko
2014	—	`conf`	Generating Complete and Finite Test Suite for ioco: Is It Possible? MBT Adenilso da Silva Simão, Alexandre Petrenko
2014	—	`conf`	Inferring Approximated Models for Systems Engineering. HASE Alexandre Petrenko, Keqin Li, Roland Groz, Karim Hossen, Catherine Oriat
2014	Misc	`conf`	Reachability in hierarchical machines. IRI Omer Nguena-Timo, Alexandre Petrenko, Arnaud Dury, S. Ramesh
2013	—	`conf`	A Method and Tool for Test Optimization for Automotive Controllers. ICST Workshops Alexandre Petrenko, Arnaud Dury, S. Ramesh, Swarup Mohalik
2013	J	`jnl`	A formal approach for run-time verification of web applications using scope-extended LTL. Inf. Softw. Technol. May Haydar, Alexandre Petrenko, Sergiy Boroday, Houari A. Sahraoui
2012	A	`conf`	Generating Checking Sequences for Nondeterministic Finite State Machines. ICST Alexandre Petrenko, Adenilso da Silva Simão, Nina Yevtushenko
2012	J	`jnl`	Model-based testing of software and systems: recent advances and challenges. Int. J. Softw. Tools Technol. Transf. Alexandre Petrenko, Adenilso da Silva Simão, José Carlos Maldonado
2012	J	`jnl`	On reducing test length for FSMs with extra states. Softw. Test. Verification Reliab. Adenilso da Silva Simão, Alexandre Petrenko, Nina Yevtushenko
2012	J	`jnl`	Prioritizing test cases with string distances. Autom. Softw. Eng. Yves Ledru, Alexandre Petrenko, Sergiy Boroday, Nadine Mandran
2011	C	`conf`	Adaptive Testing of Deterministic Implementations Specified by Nondeterministic FSMs. ICTSS Alexandre Petrenko, Nina Yevtushenko
2011	J	`jnl`	Generating asynchronous test cases from test purposes. Inf. Softw. Technol. Adenilso da Silva Simão, Alexandre Petrenko
2010	J	`jnl`	Checking Completeness of Tests for Finite State Machines. IEEE Trans. Computers Adenilso da Silva Simão, Alexandre Petrenko
2010	J	`jnl`	Fault Coverage-Driven Incremental Test Generation. Comput. J. Adenilso da Silva Simão, Alexandre Petrenko
2010	C	`ed.`	Testing Software and Systems - 22nd IFIP WG 6.1 International Conference, ICTSS 2010, Natal, Brazil, November 8-10, 2010. Proceedings ICTSS Alexandre Petrenko, Adenilso da Silva Simão, José Carlos Maldonado
2009	—	`conf`	Checking Sequence Generation Using State Distinguishing Subsequences. ICST Workshops Adenilso da Silva Simão, Alexandre Petrenko
2009	J	`jnl`	Comparing finite state machine test. IET Softw. Adenilso da Silva Simão, Alexandre Petrenko, José Carlos Maldonado
2009	—	`conf`	Creating Open Educational Environment based on Open-source Software Projects. CSEDU (2) Alexandre Petrenko, Vladimir V. Rubanov, Olga Petrenko
2009	—	`conf`	Generating Reduced Tests for FSMs with Extra States. TestCom/FATES Adenilso da Silva Simão, Alexandre Petrenko, Nina Yevtushenko
2009	—	`conf`	Implementing MSC Tests with Quiescence Observation. TestCom/FATES Sergiy Boroday, Alexandre Petrenko, Andreas Ulrich
2009	A	`conf`	Inferring Behavioural Models from Traces of Business Applications. ICWS Arnaud Dury, Hesham Hallal, Alexandre Petrenko
2009	J	`jnl`	Transition covering tests for systems with queues. Softw. Test. Verification Reliab. Jiale Huo, Alexandre Petrenko
2009	A*	`conf`	Using String Distances for Test Case Prioritisation. ASE Yves Ledru, Alexandre Petrenko, Sergiy Boroday
2009	—	`conf`	Web-FIM: Automated Framework for the Inference of Business Software Models. SERVICES I Hesham Hallal, Arnaud Dury, Alexandre Petrenko
2008	J	`jnl`	Compositionally Progressive Solutions of Synchronous FSM Equations. Discret. Event Dyn. Syst. Nina Yevtushenko, Tiziano Villa, Robert K. Brayton, Alexandre Petrenko, Alberto L. Sangiovanni-Vincentelli
2008	—	`conf`	Generating Checking Sequences for Partial Reduced Finite State Machines. TestCom/FATES Adenilso da Silva Simão, Alexandre Petrenko
2008	—	`conf`	Modular System Verification by Inference, Testing and Reachability Analysis. TestCom/FATES Roland Groz, Keqin Li, Alexandre Petrenko, Muzammil Shahbaz
2008	B	`conf`	Specification Patterns for Formal Web Verification. ICWE May Haydar, Houari A. Sahraoui, Alexandre Petrenko
2008	—	`conf`	Test suite consistency verification. EWDTS Sergiy Boroday, Alexandre Petrenko, Andreas Ulrich
2007	—	`conf`	Can a Model Checker Generate Tests for Non-Deterministic Systems? MBT Sergiy Boroday, Alexandre Petrenko, Roland Groz
2007	—	`conf`	Experimental Evaluation of Coverage Criteria for FSM-based Testing. SBES Adenilso Simão, Alexandre Petrenko, José Carlos Maldonado
2007	—	`conf`	Formal Verification of Business Workflows and Role Based Access Control Systems. SECURWARE Arnaud Dury, Sergiy Boroday, Alexandre Petrenko, Volkmar Lotz
2007	—	`conf`	Reverse Engineering Models from Traces to Validate Distributed Systems - An Industrial Case Study. ECMDA-FA Andreas Ulrich, Alexandre Petrenko
2007	—	`ed.`	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 TestCom/FATES Alexandre Petrenko, Margus Veanes, Jan Tretmans, Wolfgang Grieskamp
2006	J	`jnl`	A formal approach to property testing in causally consistent distributed traces. Formal Aspects Comput. Hesham Hallal, Sergiy Boroday, Alexandre Petrenko, Andreas Ulrich
2006	—	`conf`	FSM Test Translation Through Context. TestCom Khaled El-Fakih, Alexandre Petrenko, Nina Yevtushenko
2006	—	`conf`	Why Automata Models Are Sexy for Testers? (Invited Talk). Ershov Memorial Conference Alexandre Petrenko
2005	—	`conf`	Conformance Tests as Checking Experiments for Partial Nondeterministic FSM. FATES Alexandre Petrenko, Nina Yevtushenko
2005	A	`conf`	Covering Transitions of Concurrent Systems through Queues. ISSRE Jiale Huo, Alexandre Petrenko
2005	J	`jnl`	Dynamic analysis of java applications for multithreaded antipatterns. ACM SIGSOFT Softw. Eng. Notes Sergiy Boroday, Alexandre Petrenko, J. Singh, Hesham Hallal
2005	—	`conf`	Multiplexing of Partially Ordered Events. TestCom Colin Campbell, Margus Veanes, Jiale Huo, Alexandre Petrenko
2005	A*	`conf`	Properties and scopes in web model checking. ASE May Haydar, Sergiy Boroday, Alexandre Petrenko, Houari A. Sahraoui
2005	J	`jnl`	Testing from Partial Deterministic FSM Specifications. IEEE Trans. Computers Alexandre Petrenko, Nina Yevtushenko
2004	—	`conf`	Antipattern-Based Detection of Deficiencies in Java Multithreaded Software. QSIC Hesham Hallal, El Hachemi Alikacem, W. P. Tunney, Sergiy Boroday, Alexandre Petrenko
2004	J	`jnl`	Confirming Configurations in EFSM Testing. IEEE Trans. Software Eng. Alexandre Petrenko, Sergiy Boroday, Roland Groz
2004	—	`ed.`	Formal Approaches to Software Testing, Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003 FATES Alexandre Petrenko, Andreas Ulrich
2004	C	`conf`	Formal Verification of Web Applications Modeled by Communicating Automata. FORTE May Haydar, Alexandre Petrenko, Houari A. Sahraoui
2004	—	`conf`	On Testing Partially Specified IOTS through Lossless Queues. TestCom Jiale Huo, Alexandre Petrenko
2003	—	`conf`	An Automata-Based Approach to Property Testing in Event Traces. TestCom Hesham Hallal, Sergiy Boroday, Andreas Ulrich, Alexandre Petrenko
2003	A	`conf`	Equisolvability of Series vs. Controller's Topology in Synchronous Language Equations. DATE Nina Yevtushenko, Tiziano Villa, Robert K. Brayton, Alexandre Petrenko, Alberto L. Sangiovanni-Vincentelli
2003	—	`conf`	Formal Modeling of Communication Traces. ISTA Sergiy Boroday, Hesham Hallal, Alexandre Petrenko, Andreas Ulrich
2003	—	`conf`	Testing Transition Systems with Input and Output Testers. TestCom Alexandre Petrenko, Nina Yevtushenko, Jiale Huo
2003	—	`conf`	Verifying Trustworthiness Requirements in Distributed Systems with Formal Log-file Analysis. HICSS Andreas Ulrich, Hesham Hallal, Alexandre Petrenko, Sergiy Boroday
2002	—	`conf`	Equisolvability of Series vs. Controller's Topology in Synchronous Language Equations. IWLS Nina Yevtushenko, Tiziano Villa, Robert K. Brayton, Alexandre Petrenko, Alberto L. Sangiovanni-Vincentelli
2002	—	`conf`	Techniques for Abstracting SDL Specifications. SAM Sergiy Boroday, Roland Groz, Alexandre Petrenko, Yves-Marie Quemener
2002	—	`conf`	Test Generation for CEFSM Combining Specification and Fault Coverage. TestCom Sergiy Boroday, Alexandre Petrenko, Roland Groz, Yves-Marie Quemener
2001	A	`conf`	Solution of Parallel Language Equations for Logic Synthesis. ICCAD Nina Yevtushenko, Tiziano Villa, Robert K. Brayton, Alexandre Petrenko, Alberto L. Sangiovanni-Vincentelli
2001	—	`conf`	Specification Based Testing: Towards Practice. Ershov Memorial Conference Alexandre Petrenko
2000	—	`conf`	Design of divergence-free protocol converters using supervisory control techniques. ICECS Hesham Hallal, Radu Negulescu, Alexandre Petrenko
2000	—	`conf`	Fault Model-Driven Test Derivation from Finite State Models: Annotated Bibliography. MOVEP Alexandre Petrenko
2000	C	`conf`	On Test Derivation from Partial Specifications. FORTE Alexandre Petrenko, Nina Yevtushenko
2000	—	`conf`	Verification and Testing of Concurrent Systems with Action Races. TestCom Alexandre Petrenko, Andreas Ulrich
1999	C	`conf`	Confirming configurations in EFSM. FORTE Alexandre Petrenko, Sergiy Boroday, Roland Groz
1999	—	`conf`	Test Generation Driven by User-defined Fault Models. IWTCS I. Koufareva, Alexandre Petrenko, Nina Yevtushenko
1998	C	`conf`	Solving Asynchronous Equations. FORTE Alexandre Petrenko, Nina Yevtushenko
1998	—	`conf`	Test Generation for Specifications Modeled by Input/Output Automata. IWTCS Q. M. Tan, Alexandre Petrenko
1998	—	`ed.`	Testing of Communicating Systems, IFIP TC6 11th International Workshop on Testing Communicating Systems (IWTCS), August 31 - September 2, 1998, Tomsk, Russia IWTCS Alexandre Petrenko, Nina Yevtushenko
1998	—	`conf`	Using Partial-Orders for Detecting Faults in Concurrent Systems. IWTCS Alexandre Petrenko, Andreas Ulrich, V. Chapenko
1997	—	`conf`	Automating the process of test derivation from SDL specifications. SDL Forum Gregor von Bochmann, Alexandre Petrenko, O. Bellal, S. Maguiraga
1997	J	`jnl`	Technical Correspondence Comments on "A Reduced Test Suite for Protocol Conformance Testing". ACM Trans. Softw. Eng. Methodol. Alexandre Petrenko
1996	—	`conf`	A Framework for Conformance Testing of Systems Communicating through Rendezvous. FTCS Q. M. Tan, Alexandre Petrenko, Gregor von Bochmann
1996	C	`conf`	Fault Models for Testing in Context. FORTE Alexandre Petrenko, Nina Yevtushenko, Gregor von Bochmann
1996	J	`jnl`	On Fault Coverage of Tests for Finite State Specifications. Comput. Networks ISDN Syst. Alexandre Petrenko, Gregor von Bochmann, Ming Yu Yao
1996	J	`jnl`	Testing in context: framework and test derivation. Comput. Commun. Alexandre Petrenko, Nina Yevtushenko, Gregor von Bochmann, Rachida Dssouli
1995	—	`conf`	Modeling basic LOTOS by FSMs for conformance testing. PSTV Q. M. Tan, Alexandre Petrenko, Gregor von Bochmann
1994	C	`conf`	A structural analysis approach to the evaluation of fault coverage for protocol conformance testing. FORTE Ming Yu Yao, Alexandre Petrenko, Gregor von Bochmann
1994	A*	`conf`	Fault Coverage Analysis in Respect to an FSM Specification. INFOCOM Ming Yu Yao, Alexandre Petrenko, Gregor von Bochmann
1994	A	`conf`	Protocol Testing: Review of Methods and Relevance for Software Testing. ISSTA Gregor von Bochmann, Alexandre Petrenko
1994	J	`jnl`	Test Selection Based on Communicating Nondeterministic Finite-State Machines Using a Generalized WP-Method. IEEE Trans. Software Eng. Gang Luo, Gregor von Bochmann, Alexandre Petrenko
1993	—	`conf`	Conformance Relations and Test Derivation. Protocol Test Systems Alexandre Petrenko, Gregor von Bochmann, Rachida Dssouli
1993	—	`conf`	Conformance Testing of Protocol Machines without Reset. PSTV Ming Yu Yao, Alexandre Petrenko, Gregor von Bochmann
1993	—	`conf`	Nondeterministic State Machines in Protocol Conformance Testing. Protocol Test Systems Alexandre Petrenko, Nina Yevtushenko, Alexandre Lebedev, Anindya Das
1993	—	`conf`	On Evaluation of Testability of Protocol Structures. Protocol Test Systems Alexandre Petrenko, Rachida Dssouli, Hartmut König
1992	—	`conf`	Test Suite Generation from a FSM with a Given Type of Implementation Errors. PSTV Alexandre Petrenko, Nina Yevtushenko
1991	—	`conf`	Checking Experiments with Protocol Machines. Protocol Test Systems Alexandre Petrenko
1986	C	`conf`	A Matrix-Based Approach to Test Sequences Generation for Protocol Implementations. ICCC Alfio Lombardo, Sergio Palazzo, Alexandre Petrenko