Contents

• Contents
• Introduction
• Installation
  • System Requirements
  • Software Requirements
  • Obtaining and Installing the Program
  • Source code by other authors included in the package
• What METAL-MLEE Does
• Standard Database Format
  • Names File
  • Data File
  • Formal Format Description
• The Programs
  • Main experimentation program: run_exp
  • Algorithm interface programs
  • Extracting information from the results: parse_results
  • Normalize time measurements: parse_times
  • Checking the database format: check_database.pl
  • Checking experiment output: check_results.pl
  • Other programs and helper files included in the distribution
• Adapting METAL-MLEE
  • Adding Learning Algorithm Interface Scripts
  • Adding Preprocessing Algorithms
• Running Experiments
• Structure and Organization of Output Data
  • The log file
  • The results file
  • The .stats file
  • The .dct file
  • The targets files
  • The prediction files
• Solutions to frequent problems
• Glossary of Frequently Used and Exotic Terms
• Bibliography
• About this document ...