List of References

Version 3 (Axel Belinfante, 10 Mar 2012 14:36)

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 3 Axel Belinfante
h2. Papers
10 1 Axel Belinfante
11 3 Axel Belinfante
h3. Papers that cite the JTorX TACAS 2010 paper
12 2 Axel Belinfante
13 2 Axel Belinfante
("overview of citations of the JTorX paper at Google Scholar":http://scholar.google.com/scholar?oi=bibs&hl=en&cites=1739134406814845791)
14 2 Axel Belinfante
15 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).
16 1 Axel Belinfante
17 2 Axel Belinfante
18 3 Axel Belinfante
h3. Papers that refer to JTorX without citing the JTorX TACAS 2010 paper
19 1 Axel Belinfante
20 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
21 1 Axel Belinfante
22 3 Axel Belinfante
h3. Student theseses and theses plans
23 1 Axel Belinfante
24 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