Author:
Gazda Maciej,Hierons Robert M.
Reference26 articles.
1. Model checking timed CSP;Armstrong,2014
2. Testing using CSP models: time, inputs, and outputs;Baxter;ACM Trans. Comput. Log.,2023
3. Inputs and outputs in CSP: a model and a testing theory;Cavalcanti;ACM Trans. Comput. Log.,2020
4. Testing software design modelled by finite state machines;Chow;IEEE Trans. Softw. Eng.,1978
5. Testing can be formal too;Gaudel,1995