DOCUMENTS
HOME
PRODUCTS
CLIENTS
TECHNICAL PUBLICATIONS
WHITE PAPERS
ONSITE SEMINARS
CONTACT US
RESELLERS

The following documents are currently available for online viewing/downloading: 

Design by Contract for Java HTML format
Invasive Testing Model for Java Classes PDF format
JEvolveTM Getting Started Guide 
 

Automatic Java Program Evolution Analysis

HTML format 
Zip file 

HTML format

Automating Test Data Generation from Formal Representation PDF format
Java Program Static Analysis

HTML format


All product names referenced are trademarks of their respective companies.
This site is copyright 1997-2009 Man Machine Systems
Materials found in this site may not be copied and reproduced without prior permission.
This page updated on 12 November, 2009 13:11:25