Alexandre Petrenko

MaRDI QIDQ2024335zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Learning communicating state machines	2024-04-05	Paper
Learning Minimal DFA: Taking Inspiration from RPNI to Improve SAT Approach	2024-03-14	Paper
FSM inference from long traces	2021-05-04	Paper
Checking Completeness of Tests for Finite State Machines IEEE Transactions on Computers	2017-07-27	Paper
Multiple mutation testing from FSM Formal Techniques for Distributed Objects, Components, and Systems	2016-10-19	Paper
The Unknown Component Problem	2012-02-02	Paper
Conformance Tests as Checking Experiments for Partial Nondeterministic FSM Formal Approaches to Software Testing	2007-05-02	Paper
FSM Test Translation Through Context Lecture Notes in Computer Science	2007-05-02	Paper
A formal approach to property testing in causally consistent distributed traces Formal Aspects of Computing	2006-10-25	Paper
Formal Techniques for Networked and Distributed Systems – FORTE 2004 Lecture Notes in Computer Science	2005-08-18	Paper
scientific article; zbMATH DE number 2013781 (Why is no real title available?)	2003-12-07	Paper
scientific article; zbMATH DE number 2013784 (Why is no real title available?)	2003-12-07	Paper
scientific article; zbMATH DE number 1746453 (Why is no real title available?)	2002-05-28	Paper

Research outcomes over time

This page was built for person: Alexandre Petrenko