TorXakis User Documentation

Documentation version ‘v0.1.3’ for TorXakis version ‘v0.9.0’.

This documentation is also available as printable format as PDF document . For other versions see the documentation overview webpage.

Contents

• Introduction
• Getting started
• Model-Based Testing
• TorXakis: A Model-Based Testing Tool
• Usage
• Examples

Appendices

• Installation
• Grammar
• Command Line Interface
• Torxakis help
• Grammar
• Grammarv3

backmatter

Backmatter

• Glossary
• Bibliography
• Index