TorX Website Updates

Below follows an overview of the TorX Website Updates.

Updates on 2007-01-17:

• NEWS.txt
• Distribution (added torx-3.10.3.tar.gz)

Updates on 2007-01-07:

• NEWS.txt
• Distribution (added torx-3.10.2.tar.gz)

Updates on 2006-12-22:

• Welcome to the TorX Test Tool website!
• Downloading TorX

Updates on 2006-12-22:

• NEWS.txt
• Distribution (added torx-3.10.1.1.tar.gz)
• Distribution (added torx-3.10.1.tar.gz)

Updates on 2006-08-29:

• NEWS.txt
• Distribution (added torx-3.9.4.tar.gz)

Updates on 2006-08-22:

• NEWS.txt
• Distribution (added torx-3.9.3.tar.gz)

Updates on 2006-08-17:

• NEWS.txt
• Distribution (added torx-3.9.2.tar.gz)

Updates on 2006-07-21:

• NEWS.txt
• impls/confProtImplv2.1.tar.gz
• impls/old-confProtImplv2.1.tar.gz
• Distribution (added torx-3.9.1.tar.gz)
• Distribution (added torx-examples-3.9.1.tar.gz)

Updates on 2006-06-30:

• NEWS.txt
• Distribution (added torx-3.9.0.tar.gz)
• Distribution (added torx-examples-3.9.0.tar.gz)
• Colofon -- Table of Contents
• Installing TorX
• Using TorX
• TorX Manual Pages
• torx-intro(1) - introduction to the Cote de Resyste testing tool torx
• adaptlog(1) - torx program to use a torx logfile as implementation
• anifsm(1) - animate, construct or edit graphs in dot format
• anifsmsrv(1)
• aniwait(1) - animate progressbar
• aniwaitsrv(1)
• iochooser(1) - suggest by probabilities to stimulate or observe
• jararacy(1) - animate jararaca trace using lefty
• log2aut(1) - translate TorX log to Aldebaran (.aut)
• m4mkprimer(1) - preprocess input with m4 before invoking mkprimer
• mctrl(1) - animation progress scrollbar
• mctrlsrv(1)
• mkprimer-aut(1) - generate a torx primer for aut using autexp
• mkprimer-cadp(1) - generate a torx primer for lotos, bcg, fc2 or aut using
• mkprimer-jararaca(1) - generate a torx primer using jararaca
• mkprimer-ltsa(1) - generate an fsp primer for torx using ltsa
• mkprimer-mcrl(1) - generate a torx primer for mcrl using mcrl2 and mcrl
• mkprimer-mcrl2(1) - generate a torx primer for mcrl2 using mcrl2
• mkprimer-trojka(1) - generate a promela primer for torx using trojka
• mkprimer(1) - generate a primer for torx
• partitioner(1) - weight-based test primitive selection for primer
• preprocmkprimer(1) - preprocess input before invoking mkprimer
• primer(1) - compute test primitives using explorer
• torx-hostname(1) - print hostname taken from network database
• torx(1) - execute test on-the-fly
• torx_open(1) - run open/caesar tool on torx explorer program
• xtorx(1) - gui for the torx on-the-fly tester
• torx-config(4) - configuration file for torx tester
• torx-log(4) - log file generated by torx tester
• torx-adaptor(5) - a program that implements an interface to the SUT
• torx-explorer(5) - interface to program to explore a labelled transition
• torx-instantiator(5) - a program that implements an instantiator

Updates on 2006-02-15:

• NEWS.txt
• Distribution (added torx-3.8.1.tar.gz)
• Distribution (added torx-examples-3.8.1.tar.gz)
• Colofon -- Table of Contents
• TorX Manual Pages
• torx-intro(1) - introduction to the Cote de Resyste testing tool torx
• anifsm(1) - animate graph in dot format
• anifsmsrv(1)
• autexp(1) - explore Aldebaran (.aut) automaton files
• log2mctrl(1) - translate TorX log to mctrl input
• mctrl(1) - animation progress scrollbar
• mctrlsrv(1)
• primexp(1) - provide torx-explorer interface to torx primer
• torx_open(1) - run open/caesar tool on torx explorer program

Updates on 2006-01-28:

• NEWS.txt
• Colofon -- Table of Contents
• TorX Manual Pages
• mkprimer-mcrl(1) - generate a torx primer for mcrl using mcrl2 and mcrl
• mkprimer-mcrl2(1) - generate a torx primer for mcrl2 using mcrl2

Updates on 2006-01-26:

• NEWS.txt
• Distribution (added torx-3.8.0.tar.gz)
• Distribution (added torx-examples-3.7.tar.gz)
• Distribution (added torx-examples-3.8.tar.gz)
• Colofon -- Table of Contents
• Installing TorX
• TorX Manual Pages
• torx-intro(1) - introduction to the Cote de Resyste testing tool torx
• autexp(1) - explore Aldebaran (.aut) automaton files
• jararaca(1) - explore traces generated from regular expressions
• log2anifsm(1) - translate TorX log to anifsm input
• mkprimer-aut(1) - generate a torx primer for aut using autexp
• mkprimer-cadp(1) - generate a torx primer for lotos, bcg, fc2 or aut using
• mkprimer-ltsa(1) - generate an fsp primer for torx using ltsa
• mkprimer-mcrl2(1) - generate a torx primer for mcrl or mcrl2 using mcrl2
• xtorx(1) - gui for the torx on-the-fly tester
• torx-config(4) - configuration file for torx tester
• torx-log(4) - log file generated by torx tester
• xtorx-extension(n) - api to specify the Mutants, Primers and Guides menus

Updates on 2006-01-19:

• NEWS.txt
• Distribution (added torx-3.7.0.tar.gz)
• Distribution (added torx-examples-3.7.tar.gz)
• Colofon -- Table of Contents
• Installing TorX
• TorX Manual Pages
• torx-intro(1) - introduction to the Cote de Resyste testing tool torx
• anifsm(1) - animate graph in dot format
• anifsmsrv(1)
• aut2fsmview(1) - translate Aldebaran (.aut) to FSMView input
• autexp(1) - explore Aldebaran (.aut) automaton files
• autsimplify(1) - simplify automaton Aldebaran (.aut) file
• jararaca(1) - explore traces generated from regular expressions
• log2anifsm(1) - translate TorX log to anifsm input
• log2aut(1) - translate TorX log to Aldebaran (.aut)
• torx(1) - execute test on-the-fly
• torx-primer(5) - interface to program that derives test primitives from

Updates on 2005-11-13:

• Distribution (added torx-3.6.2.tar.gz)
• Distribution (added torx-examples-3.6.2.tar.gz)

Updates on 2005-07-25:

• NEWS.txt
• Distribution (added torx-3.6.1.tar.gz)

Updates on 2005-07-16:

• NEWS.txt
• Distribution (removed torx-3.5.2.tar.gz)
• Distribution (removed torx-3.5.3.tar.gz)
• Distribution (removed torx-3.5.4.tar.gz)
• Distribution (added torx-3.5.2-1.tar.gz)
• Distribution (added torx-3.5.3-1.tar.gz)
• Distribution (added torx-3.5.4-1.tar.gz)
• Distribution (added torx-3.6.0.tar.gz)
• Distribution (added torx-examples-3.6.tar.gz)
• Colofon -- Table of Contents
• TorX Manual Pages
• anifsm(1) - animate graph in dot format
• anifsmsrv(1)
• jararacy2anifsm(1) - translate from jararacy to anifsm input format
• mctrl(1) - animation progress scrollbar
• mctrlsrv(1)
• mkprimer(1) - generate a primer for torx
• torx-log(4) - log file generated by torx tester

Updates on 2005-06-27:

• Installing TorX

Updates on 2005-04-28:

• Distribution (replaced torx-3.5.4.tar.gz by torx-3.5.4-1.tar.gz)
• Distribution (replaced torx-3.5.3.tar.gz by torx-3.5.3-1.tar.gz)
• Distribution (replaced torx-3.5.2.tar.gz by torx-3.5.2-1.tar.gz)

Updates on 2004-10-25:

• NEWS.txt
• Distribution (added torx-3.5.4.tar.gz)
• Colofon -- Table of Contents
• TorX Manual Pages
• torx-intro(1) - introduction to the Cote de Resyste testing tool torx
• Bmsc(1)
• anifsm(1) - animate graph in dot format
• anifsmsrv(1)
• aniwait(1) - animate progressbar
• aniwaitsrv(1)
• mkprimer-trojka(1) - generate a promela primer for torx using trojka
• mkprimer(1) - generate a primer for torx
• mscviewer(1) - view a Message Sequence Chart
• udp(1) - udp connection program
• torx-log(4) - log file generated by torx tester

Updates on 2004-09-29:

• NEWS.txt
• Distribution (added torx-3.5.3.tar.gz)

Updates on 2004-09-21:

• Colofon -- Table of Contents
• TorX Manual Pages
• torx-intro(1) - introduction to the Cote de Resyste testing tool torx
• Bmsc(1)
• adaptsim(1) - torx program to interface to a TorX primer used as SUT
• anifsm(1) - animate graph in dot format
• anifsmsrv(1)
• aniwait(1) - animate progressbar
• aniwaitsrv(1)
• autexp(1) - explore Aldebaran (.aut) automaton files
• jararacy(1) - animate jararaca trace using lefty
• log2aniwait(1) - extract aniwait animation commands from torx log
• log2jararacy(1) - extract states from torx log file for jararacy
• mscviewer(1) - view a Message Sequence Chart
• tmcs(1) - tcp multicast service
• torx-logclient(1) - connect torx log monitor command to torx
• xtorx(1) - gui for the torx on-the-fly tester
• torx-config(4) - configuration file for torx tester
• torx-log(4) - log file generated by torx tester
• torx-instantiator(5) - a program that implements an instantiator
• torx-primer(5) - interface to program that derives test primitives from

Updates on 2004-09-21:

• Welcome to the TorX Test Tool website!
• Installing TorX
• NEWS.txt (added torx-3.5.2)
• Distribution (added torx-3.5.2)
• Distribution (added torx-examples-3.5.2)

Updates on 2004-02-09:

• Installing TorX
• NEWS.txt (added torx-3.4.0)
• Distribution (added torx-3.4.0)
• Distribution (added torx-examples-3.4)

Updates on 2003-09-03:

• torx-intro(1) - introduction to the Cote de Resyste testing tool torx
• NEWS.txt (added torx-3.3.2)
• Distribution (added torx-3.3.2)

Updates on 2003-08-12:

• Colofon -- Table of Contents
• TorX Manual Pages
• torx-intro(1) - introduction to the Cote de Resyste testing tool torx
• Bmsc(1)
• adaptsim(1) - torx program to interface to a (lotos) simulator used as
• log2primer(1) - generate torx-primer commands from TorX log file
• mscviewer(1) - view a Message Sequence Chart

Updates on 2003-08-06:

• torx-intro(1) - introduction to the Cote de Resyste testing tool torx
• Bmsc(1)
• intersector(1) - combine multiple torx primers
• mscviewer(1) - view a Message Sequence Chart
• torx(1) - execute test on-the-fly
• xtorx-showmsc(1) - show a TorX run log as Message Sequence Chart
• xtorx(1) - gui for the torx on-the-fly tester
• torx-explorer(5) - interface to program to explore a labelled transition
• xtorx-extension(n) - api to specify the Mutants and Primers menus of xtorx

Updates on 2003-08-06:

• xtorx(1) - gui for the torx on-the-fly tester

Updates on 2003-08-05:

• torx-intro(1) - introduction to the Cote de Resyste testing tool torx
• adaptlog(1) - torx program to use a torx logfile as implementation
• adaptor(1) - default torx program to interface to the SUT
• adaptsim(1) - torx program to interface to a (lotos) simulator used as
• Bmsc(1)
• campaign(1) - generate and populate TorX test campaign directory structure
• cppmkprimer(1) - preprocess input with cpp before invoking mkprimer
• hexcontext(1) - run program in hexadecimal context
• instantiator(1) - instantiate free variables for torx
• intersector(1) - combine multiple torx primers
• iochooser(1) - suggest by probabilities to stimulate or observe
• jararaca(1) - explore traces generated from regular expressions
• jararacy(1) - animate jararaca trace using lefty
• log2jararacy(1) - extract states from torx log file for jararacy
• log2msc(1) - extract Message Sequence Chart from TorX log file
• ltsaexp(1) - explore fsp specification using ltsa
• m4mkprimer(1) - preprocess input with m4 before invoking mkprimer
• mkprimer-cadp(1) - generate a lotos primer for torx using cadp
• pui(1) - simple primer user interface
• mkprimer-ltsa(1) - generate an fsp primer for torx using ltsa
• mkprimer-trojka(1) - generate a promela primer for torx using trojka
• mkprimer(1) - generate a primer for torx
• mscviewer(1) - view a Message Sequence Chart
• partitioner(1) - weight-based test primitive selection for primer
• preprocmkprimer(1) - preprocess input before invoking mkprimer
• primer(1) - compute test primitives using explorer
• smileexp(1) - use smile as symbolic explorer for LOTOS
• tcp(1) - tcp connection program
• torx-logclient(1) - connect torx log monitor command to torx
• torx-mans(1) - list TorX manual page file names
• torx-querypr(1) - query the TkGnats database
• torx-root(1) - report TorX installation directory
• torx-sendpr(1) - problem report utility
• torx(1) - execute test on-the-fly
• udp(1) - udp connection program
• unhexify(1) - translate from hexadecimal to ascii
• xtorx-showmsc(1) - show a TorX run log as Message Sequence Chart
• xtorx(1) - gui for the torx on-the-fly tester
• xtorx-showspec(1) - show a specification file
• torx-config(4) - configuration file for torx tester
• torx-log(4) - log file generated by torx tester
• mkprimer(5) - support specification language or toolkit
• torx-adaptor(5) - a program that implements an interface to the SUT
• torx-explorer(5) - interface to program to explore a labelled transition
• torx-primer(5) - interface to program that derives test primitives from
• xtorx-extension(n) - api to specify the Mutants and Primers menus of xtorx

Updates on 2003-08-05:

• Colofon -- Table of Contents
• TorX Manual Pages
• torx-intro(1) - introduction to the Cote de Resyste testing tool torx
• adaptlog(1) - torx program to use a torx logfile as implementation
• adaptor(1) - default torx program to interface to the SUT
• adaptsim(1) - torx program to interface to a (lotos) simulator used as
• Bmsc(1)
• campaign(1) - generate and populate TorX test campaign directory structure
• cppmkprimer(1) - preprocess input with cpp before invoking mkprimer
• hexcontext(1) - run program in hexadecimal context
• instantiator(1) - instantiate free variables for torx
• intersector(1) - combine multiple torx primers
• iochooser(1) - suggest by probabilities to stimulate or observe
• jararaca(1) - explore traces generated from regular expressions
• jararacy(1) - animate jararaca trace using lefty
• log2jararacy(1) - extract states from torx log file for jararacy
• log2msc(1) - extract Message Sequence Chart from TorX log file
• ltsaexp(1) - explore fsp specification using ltsa
• m4mkprimer(1) - preprocess input with m4 before invoking mkprimer
• mkprimer-cadp(1) - generate a lotos primer for torx using cadp
• pui(1) - simple primer user interface
• mkprimer-ltsa(1) - generate an fsp primer for torx using ltsa
• mkprimer-trojka(1) - generate a promela primer for torx using trojka
• mkprimer(1) - generate a primer for torx
• mscviewer(1) - view a Message Sequence Chart
• partitioner(1) - weight-based test primitive selection for primer
• preprocmkprimer(1) - preprocess input before invoking mkprimer
• primer(1) - compute test primitives using explorer
• smileexp(1) - use smile as symbolic explorer for LOTOS
• tcp(1) - tcp connection program
• torx-logclient(1) - connect torx log monitor command to torx
• torx-mans(1) - list TorX manual page file names
• torx-querypr(1) - query the TkGnats database
• torx-root(1) - report TorX installation directory
• torx-sendpr(1) - problem report utility
• torx(1) - execute test on-the-fly
• udp(1) - udp connection program
• unhexify(1) - translate from hexadecimal to ascii
• xtorx-showmsc(1) - show a TorX run log as Message Sequence Chart
• xtorx(1) - gui for the torx on-the-fly tester
• xtorx-showspec(1) - show a specification file
• torx-config(4) - configuration file for torx tester
• torx-log(4) - log file generated by torx tester
• mkprimer(5) - support specification language or toolkit
• torx-adaptor(5) - a program that implements an interface to the SUT
• torx-explorer(5) - interface to program to explore a labelled transition
• torx-primer(5) - interface to program that derives test primitives from
• xtorx-extension(n) - api to specify the Mutants and Primers menus of xtorx

Updates on 2003-04-23:

• TorX Manual Pages

Updates on 2003-04-23:

• TorX Manual Pages

Updates on 2003-04-23:

• Downloading TorX
• TorX Manual Pages

Updates on 2003-04-23:

• Downloading TorX
• TorX Manual Pages

Updates on 2003-04-09:

• Conference Protocol Case Study

Updates on 2003-04-09:

• Conference Protocol Implementations

Updates on 2003-04-09:

• TorX Tutorial
• Conference Protocol Description
• Conference Protocol Implementations
• Conference Protocol Website News
• The XTorX Grafical User Interface

Updates on 2003-04-09:

• xtorx-showspec(1) - show a specification file
• torx-config(4) - configuration file for torx tester

Updates on 2003-04-09:

• Welcome to the TorX Test Tool website!

Updates on 2003-04-09:

• mkprimer(1) - generate a primer for torx

Updates on 2003-04-09:

• torx-intro(1) - introduction to the Cote de Resyste testing tool torx
• adaptlog(1) - torx program to use a torx logfile as implementation
• adaptor(1) - default torx program to interface to the SUT
• adaptsim(1) - torx program to interface to a (lotos) simulator used as
• campaign(1) - generate and populate TorX test campaign directory structure
• cppmkprimer(1) - preprocess input with cpp before invoking mkprimer
• hexcontext(1) - run program in hexadecimal context
• instantiator(1) - instantiate free variables for torx
• intersector(1) - combine multiple torx primers
• iochooser(1) - suggest by probabilities to stimulate or observe
• jararaca(1) - explore traces generated from regular expressions
• jararacy(1) - animate jararaca trace using lefty
• log2jararacy(1) - extract states from torx log file for jararacy
• ltsaexp(1) - explore fsp specification using ltsa
• m4mkprimer(1) - preprocess input with m4 before invoking mkprimer
• mkprimer-cadp(1) - generate a lotos primer for torx using cadp
• mkprimer-ltsa(1) - generate an fsp primer for torx using ltsa
• mkprimer-trojka(1) - generate a promela primer for torx using trojka
• mkprimer(1) - generate a primer for torx
• partitioner(1) - weight-based test primitive selection for primer
• preprocmkprimer(1) - preprocess input before invoking mkprimer
• primer(1) - compute test primitives using explorer
• pui(1) - simple primer user interface
• smileexp(1) - use smile as symbolic explorer for LOTOS
• tcp(1) - tcp connection program
• torx-mans(1) - list TorX manual page file names
• torx-querypr(1) - query the TkGnats database
• torx-root(1) - report TorX installation directory
• torx-sendpr(1) - problem report utility
• torx(1) - execute test on-the-fly
• udp(1) - udp connection program
• unhexify(1) - translate from hexadecimal to ascii
• xtorx-showmsc(1) - show a Message Sequence Chart
• xtorx-showspec(1) - show a specification file
• xtorx(1) - gui for the torx on-the-fly tester
• torx-config(4) - configuration file for torx tester
• torx-log(4) - log file generated by torx tester
• mkprimer(5) - support specification language or toolkit
• torx-adaptor(5) - a program that implements an interface to the SUT
• torx-explorer(5) - interface to program to explore a labelled transition
• torx-primer(5) - interface to program that derives test primitives from
• xtorx-extension(n) - api to specify the Mutants and Primers menus of xtorx

Updates on 2003-04-09:

• torx-intro(1) - introduction to the Cote de Resyste testing tool torx
• adaptlog(1) - torx program to use a torx logfile as implementation
• adaptor(1) - default torx program to interface to the SUT
• adaptsim(1) - torx program to interface to a (lotos) simulator used as
• campaign(1) - generate and populate TorX test campaign directory structure
• cppmkprimer(1) - preprocess input with cpp before invoking mkprimer
• hexcontext(1) - run program in hexadecimal context
• instantiator(1) - instantiate free variables for torx
• intersector(1) - combine multiple torx primers
• iochooser(1) - suggest by probabilities to stimulate or observe
• jararaca(1) - explore traces generated from regular expressions
• jararacy(1) - animate jararaca trace using lefty
• log2jararacy(1) - extract states from torx log file for jararacy
• ltsaexp(1) - explore fsp specification using ltsa
• m4mkprimer(1) - preprocess input with m4 before invoking mkprimer
• mkprimer-cadp(1) - generate a lotos primer for torx using cadp
• mkprimer-ltsa(1) - generate an fsp primer for torx using ltsa
• mkprimer-trojka(1) - generate a promela primer for torx using trojka
• mkprimer(1) - generate a primer for torx
• partitioner(1) - weight-based test primitive selection for primer
• preprocmkprimer(1) - preprocess input before invoking mkprimer
• primer(1) - compute test primitives using explorer
• pui(1) - simple primer user interface
• smileexp(1) - use smile as symbolic explorer for LOTOS
• tcp(1) - tcp connection program
• torx-mans(1) - list TorX manual page file names
• torx-querypr(1) - query the TkGnats database
• torx-root(1) - report TorX installation directory
• torx-sendpr(1) - problem report utility
• torx(1) - execute test on-the-fly
• udp(1) - udp connection program
• unhexify(1) - translate from hexadecimal to ascii
• xtorx-showmsc(1) - show a Message Sequence Chart
• xtorx-showspec(1) - show a specification file
• xtorx(1) - gui for the torx on-the-fly tester
• torx-config(4) - configuration file for torx tester
• torx-log(4) - log file generated by torx tester
• mkprimer(5) - support specification language or toolkit
• torx-adaptor(5) - a program that implements an interface to the SUT
• torx-explorer(5) - interface to program to explore a labelled transition
• torx-primer(5) - interface to program that derives test primitives from
• xtorx-extension(n) - api to specify the Mutants and Primers menus of xtorx

Updates on 2003-04-09:

• torx-intro(1) - introduction to the Cote de Resyste testing tool torx
• adaptlog(1) - torx program to use a torx logfile as implementation
• adaptor(1) - default torx program to interface to the SUT
• adaptsim(1) - torx program to interface to a (lotos) simulator used as
• campaign(1) - generate and populate TorX test campaign directory structure
• cppmkprimer(1) - preprocess input with cpp before invoking mkprimer
• hexcontext(1) - run program in hexadecimal context
• instantiator(1) - instantiate free variables for torx
• intersector(1) - combine multiple torx primers
• iochooser(1) - suggest by probabilities to stimulate or observe
• jararaca(1) - explore traces generated from regular expressions
• jararacy(1) - animate jararaca trace using lefty
• log2jararacy(1) - extract states from torx log file for jararacy
• ltsaexp(1) - explore fsp specification using ltsa
• m4mkprimer(1) - preprocess input with m4 before invoking mkprimer
• mkprimer-cadp(1) - generate a lotos primer for torx using cadp
• mkprimer-ltsa(1) - generate an fsp primer for torx using ltsa
• mkprimer-trojka(1) - generate a promela primer for torx using trojka
• mkprimer(1) - generate a primer for torx
• partitioner(1) - weight-based test primitive selection for primer
• preprocmkprimer(1) - preprocess input before invoking mkprimer
• primer(1) - compute test primitives using explorer
• pui(1) - simple primer user interface
• smileexp(1) - use smile as symbolic explorer for LOTOS
• tcp(1) - tcp connection program
• torx-mans(1) - list TorX manual page file names
• torx-querypr(1) - query the TkGnats database
• torx-root(1) - report TorX installation directory
• torx-sendpr(1) - problem report utility
• torx(1) - execute test on-the-fly
• udp(1) - udp connection program
• unhexify(1) - translate from hexadecimal to ascii
• xtorx-showmsc(1) - show a Message Sequence Chart
• xtorx-showspec(1) - show a specification file
• xtorx(1) - gui for the torx on-the-fly tester
• torx-config(4) - configuration file for torx tester
• torx-log(4) - log file generated by torx tester
• mkprimer(5) - support specification language or toolkit
• torx-adaptor(5) - a program that implements an interface to the SUT
• torx-explorer(5) - interface to program to explore a labelled transition
• torx-primer(5) - interface to program that derives test primitives from
• xtorx-extension(n) - api to specify the Mutants and Primers menus of xtorx

Updates on 2003-04-09:

• Conference Protocol Description
• torx-intro(1) - introduction to the Cote de Resyste testing tool torx
• adaptlog(1) - torx program to use a torx logfile as implementation
• adaptor(1) - default torx program to interface to the SUT
• adaptsim(1) - torx program to interface to a (lotos) simulator used as
• campaign(1) - generate and populate TorX test campaign directory structure
• cppmkprimer(1) - preprocess input with cpp before invoking mkprimer
• hexcontext(1) - run program in hexadecimal context
• instantiator(1) - instantiate free variables for torx
• intersector(1) - combine multiple torx primers
• iochooser(1) - suggest by probabilities to stimulate or observe
• jararaca(1) - explore traces generated from regular expressions
• jararacy(1) - animate jararaca trace using lefty
• log2jararacy(1) - extract states from torx log file for jararacy
• ltsaexp(1) - explore fsp specification using ltsa
• m4mkprimer(1) - preprocess input with m4 before invoking mkprimer
• mkprimer-cadp(1) - generate a lotos primer for torx using cadp
• mkprimer-ltsa(1) - generate an fsp primer for torx using ltsa
• mkprimer-trojka(1) - generate a promela primer for torx using trojka
• mkprimer(1) - generate a primer for torx
• partitioner(1) - weight-based test primitive selection for primer
• preprocmkprimer(1) - preprocess input before invoking mkprimer
• primer(1) - compute test primitives using explorer
• pui(1) - simple primer user interface
• smileexp(1) - use smile as symbolic explorer for LOTOS
• tcp(1) - tcp connection program
• torx-mans(1) - list TorX manual page file names
• torx-querypr(1) - query the TkGnats database
• torx-root(1) - report TorX installation directory
• torx-sendpr(1) - problem report utility
• torx(1) - execute test on-the-fly
• udp(1) - udp connection program
• unhexify(1) - translate from hexadecimal to ascii
• xtorx-showmsc(1) - show a Message Sequence Chart
• xtorx-showspec(1) - show a specification file
• xtorx(1) - gui for the torx on-the-fly tester
• torx-config(4) - configuration file for torx tester
• torx-log(4) - log file generated by torx tester
• mkprimer(5) - support specification language or toolkit
• torx-adaptor(5) - a program that implements an interface to the SUT
• torx-explorer(5) - interface to program to explore a labelled transition
• torx-primer(5) - interface to program that derives test primitives from
• xtorx-extension(n) - api to specify the Mutants and Primers menus of xtorx

Updates on 2003-04-09:

• Contributors to TorX
• Installing TorX
• TorX examples
• Conference Protocol Case Study
• Conference Protocol Description
• torx-intro(1) - introduction to the Cote de Resyste testing tool torx
• adaptlog(1) - torx program to use a torx logfile as implementation
• adaptor(1) - default torx program to interface to the SUT
• adaptsim(1) - torx program to interface to a (lotos) simulator used as
• campaign(1) - generate and populate TorX test campaign directory structure
• cppmkprimer(1) - preprocess input with cpp before invoking mkprimer
• hexcontext(1) - run program in hexadecimal context
• instantiator(1) - instantiate free variables for torx
• intersector(1) - combine multiple torx primers
• iochooser(1) - suggest by probabilities to stimulate or observe
• jararaca(1) - explore traces generated from regular expressions
• jararacy(1) - animate jararaca trace using lefty
• log2jararacy(1) - extract states from torx log file for jararacy
• ltsaexp(1) - explore fsp specification using ltsa
• m4mkprimer(1) - preprocess input with m4 before invoking mkprimer
• mkprimer-cadp(1) - generate a lotos primer for torx using cadp
• mkprimer-ltsa(1) - generate an fsp primer for torx using ltsa
• mkprimer-trojka(1) - generate a promela primer for torx using trojka
• mkprimer(1) - generate a primer for torx
• partitioner(1) - weight-based test primitive selection for primer
• preprocmkprimer(1) - preprocess input before invoking mkprimer
• primer(1) - compute test primitives using explorer
• pui(1) - simple primer user interface
• smileexp(1) - use smile as symbolic explorer for LOTOS
• tcp(1) - tcp connection program
• torx-mans(1) - list TorX manual page file names
• torx-querypr(1) - query the TkGnats database
• torx-root(1) - report TorX installation directory
• torx-sendpr(1) - problem report utility
• torx(1) - execute test on-the-fly
• udp(1) - udp connection program
• unhexify(1) - translate from hexadecimal to ascii
• xtorx-showmsc(1) - show a Message Sequence Chart
• xtorx-showspec(1) - show a specification file
• xtorx(1) - gui for the torx on-the-fly tester
• torx-config(4) - configuration file for torx tester
• torx-log(4) - log file generated by torx tester
• mkprimer(5) - support specification language or toolkit
• torx-adaptor(5) - a program that implements an interface to the SUT
• torx-explorer(5) - interface to program to explore a labelled transition
• torx-primer(5) - interface to program that derives test primitives from
• xtorx-extension(n) - api to specify the Mutants and Primers menus of xtorx

Updates on 2003-04-08:

• Colofon -- Table of Contents
• Installing TorX
• TorX Manual Pages
• torx-intro(1) - introduction to the Cote de Resyste testing tool torx
• adaptlog(1) - torx program to use a torx logfile as implementation
• adaptor(1) - default torx program to interface to the SUT
• adaptsim(1) - torx program to interface to a (lotos) simulator used as
• campaign(1) - generate and populate TorX test campaign directory structure
• cppmkprimer(1) - preprocess input with cpp before invoking mkprimer
• hexcontext(1) - run program in hexadecimal context
• instantiator(1) - instantiate free variables for torx
• intersector(1) - combine multiple torx primers
• iochooser(1) - suggest by probabilities to stimulate or observe
• jararaca(1) - explore traces generated from regular expressions
• jararacy(1) - animate jararaca trace using lefty
• log2jararacy(1) - extract states from torx log file for jararacy
• ltsaexp(1) - explore fsp specification using ltsa
• m4mkprimer(1) - preprocess input with m4 before invoking mkprimer
• mkprimer-cadp(1) - generate a lotos primer for torx using cadp
• mkprimer-ltsa(1) - generate an fsp primer for torx using ltsa
• mkprimer-trojka(1) - generate a promela primer for torx using trojka
• mkprimer(1) - generate a primer for torx
• partitioner(1) - weight-based test primitive selection for primer
• preprocmkprimer(1) - preprocess input before invoking mkprimer
• primer(1) - compute test primitives using explorer
• pui(1) - simple primer user interface
• smileexp(1) - use smile as symbolic explorer for LOTOS
• tcp(1) - tcp connection program
• torx-mans(1) - list TorX manual page file names
• torx-querypr(1) - query the TkGnats database
• torx-root(1) - report TorX installation directory
• torx-sendpr(1) - problem report utility
• torx(1) - execute test on-the-fly
• udp(1) - udp connection program
• unhexify(1) - translate from hexadecimal to ascii
• xtorx-showmsc(1) - show a Message Sequence Chart
• xtorx-showspec(1) - show a specification file
• xtorx(1) - gui for the torx on-the-fly tester
• torx-config(4) - configuration file for torx tester
• torx-log(4) - log file generated by torx tester
• mkprimer(5) - support specification language or toolkit
• torx-adaptor(5) - a program that implements an interface to the SUT
• torx-explorer(5) - interface to program to explore a labelled transition
• torx-primer(5) - interface to program that derives test primitives from
• xtorx-extension(n) - api to specify the Mutants and Primers menus of xtorx

Prev	Table of Contents
Appendix D: TorX Manual Pages: xtorx-extension(n) - api to specify the Mutants, Primers and Guides menus