Before you start an experiment, you should be done step 1, 2 and 3:

1. Install javamts
 
   Nanoxml test script is C shell script, so you need to install javamts
   that generates C shell script.
   Makefile for javamts tells you how to do.


2. Some input files need to be modified.

   A file "ModifyList" under inputs directory has file lists to be modified.
   They have xxx.xml file format and include input file name with path.
   This path should be modified to get that input file name correctly.   

3. Set environment variable experiment_root to point to the parent directory of
   the subject directory by typing "setenv experiment_root <path>"
   For example, assume you have a subject directory "nanoxml" and you locate
   it under /cs_machine/exp_group/experiments, then you would give the command:

        setenv experiment_root /cs_machine/exp_group/experiments


4. After installation of target version, create script using javamts and
   run that script. 

   Example: 
	javamts .. null ../testplans.alt/component/v0/v0.tsl.universe R scriptR0 null null null

5. Each testplans.alt/component/vk contains a universe file "vk.tsl.universe" (k=0...5).	
   Version 1.3 of nanoxml adds 21 test frames that were created using
   an concolic analysis algorithm.  The testplans.alt directory contains
   the universe files containing these tests testplans.alt/component/vk/universe.extended.tsl
   These are based upon the vk.tsl.universe file with the added test cases appended.

Note that for version 5 one fault is not asserted (in StdXMLReader.cpp) which
was eliminated because it is overly expressive (most tests reported a different
output with this fault) therefore this fault is not in the FaultSeeds.h however
the Old_FaultSeeds.h file does contain all faults (including the removed one)
if you have a desire to use it.  Since it is overly expressive it may not be
representative of a "pseudo-real" fault.  The fault matrix delivered reflects
the elimination of this fault from the set.
