On-the-fly conformance testing using SPIN

Testing equivalences for processes

Rocco De Nicola, Matthew Hennessy · Theoretical Computer Science · 1984 · 1.2K citations

Engineering, Systems Engineering, Stochastic Processes +4

An Introduction to Input/Output Automata

Nancy Lynch, Mark R. Tuttle · Formal Aspects of Computing · 2026 · 1K citations · Full text

Engineering, Computer Engineering, Computer Science +8

Test Generation with Inputs, Outputs and Repetitive Quiescence

Jan Tretmans · 1996 · 487 citations

Computing, Computer Science, Computer Systems +17

Extensional equivalences for transition systems

Rocco De Nicola · Acta Informatica · 1987 · 255 citations

Computing, Computer Systems, Formal Methods +12

On the relationship between process algebra and input/output automata

Frits Vaandrager · 2002 · 96 citations

Computing, Computer Science, Formal Methods +14