Testing Real-Time Embedded Systems using Timed Automata based approaches

A theory of timed automata

Rajeev Alur, David L. Dill · Theoretical Computer Science · 1994 · 6.5K citations

Computing, Computer Science, Formal Methods +9

Hints on Test Data Selection: Help for the Practicing Programmer

Richard A. DeMillo, R.J. Lipton, Frederick Sayward · Computer · 1978 · 2.1K citations

Computing, Computer Science, Test Development +5

Testing equivalences for processes

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

Engineering, Systems Engineering, Stochastic Processes +4

Testing timed automata

Jan Springintveld, Frits Vaandrager, Pedro R. D’Argenio · Theoretical Computer Science · 2001 · 276 citations

Conformance testing for real-time systems

Moez Krichen, Stavros Tripakis · Formal Methods in System Design · 2009 · 162 citations

Computing, Computer Engineering, Computer Science +9