List of References

Version 1 (Axel Belinfante, 10 Mar 2012 14:30)

1 1 Axel Belinfante
h1. List of References
2 1 Axel Belinfante
3 1 Axel Belinfante
This page contains an incomplete  list of external references to JTorX
4 1 Axel Belinfante
5 1 Axel Belinfante
h3. References by Others
6 1 Axel Belinfante
7 1 Axel Belinfante
* Sabrina von Styp, Gustavo Quirós, Liyong Yu. "Automatic Test-Case Derivation and Execution in Industrial Control":http://ceur-ws.org/Vol-821/paper2.pdf, First Workshop on Industrial Automation Tool Integration for Engineering Project Automation (iATPA 2011).
8 1 Axel Belinfante
* N. Kokash, F. Arbab, B. Changizi, L. Makhnist. "Input-output Conformance Testing for Channel-based Service Connectors":http://dx.doi.org/10.4204/EPTCS.60.2. In: Proceedings First International Workshop on Process Algebra and Coordination (PACO 2011), Electronic Proceedings in Theoretical Computer Science 60: 19-35 (2011) doi:10.4204/EPTCS.60.2
9 1 Axel Belinfante
* entry in the "Software Testing Tools list of the Data & Analysis Center for Software":http://www.thedacs.com/databases/url/key/2399/5217/5230/8131
10 1 Axel Belinfante
11 1 Axel Belinfante
h3. Use by Students
12 1 Axel Belinfante
13 1 Axel Belinfante
* Roberto Alves de Almeida Junior, "Model-based Testing with a B Model of the EMV Standard":http://www.cs.ru.nl/bachelorscriptieplannen/2012_1_voorjaar/IC_Roberto_Alves.pdf