The following pages link to Alexandre Petrenko (Q2024335):
Displaying 10 items.
- FSM inference from long traces (Q2024336) (← links)
- A formal approach to property testing in causally consistent distributed traces (Q2432223) (← links)
- The Unknown Component Problem (Q3114245) (← links)
- Conformance Tests as Checking Experiments for Partial Nondeterministic FSM (Q3434606) (← links)
- FSM Test Translation Through Context (Q3434661) (← links)
- (Q4437059) (← links)
- (Q4437063) (← links)
- (Q4532084) (← links)
- Checking Completeness of Tests for Finite State Machines (Q5280717) (← links)
- Formal Techniques for Networked and Distributed Systems – FORTE 2004 (Q5464484) (← links)
