List of References

Version 2 (Axel Belinfante, 10 Mar 2012 14:35)

1 1 Axel Belinfante
h1. List of References
2 1 Axel Belinfante
3 2 Axel Belinfante
This page contains an incomplete  list of external references to JTorX.
4 1 Axel Belinfante
5 2 Axel Belinfante
h2. Entries in catalogs of tools
6 1 Axel Belinfante
7 2 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
8 2 Axel Belinfante
9 2 Axel Belinfante
10 2 Axel Belinfante
h2. Papers that cite the JTorX TACAS 2010 paper
11 2 Axel Belinfante
12 2 Axel Belinfante
("overview of citations of the JTorX paper at Google Scholar":http://scholar.google.com/scholar?oi=bibs&hl=en&cites=1739134406814845791)
13 2 Axel Belinfante
14 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).
15 2 Axel Belinfante
16 2 Axel Belinfante
17 2 Axel Belinfante
h2. Papers that refer to JTorX without citing the JTorX TACAS 2010 paper
18 2 Axel Belinfante
19 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
20 1 Axel Belinfante
21 2 Axel Belinfante
h2. Student theseses and theses plans
22 1 Axel Belinfante
23 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