Synopsis Table of Contents.
  • Contents: Table of Contents.
    • Synthesis: Strategies to synthesise results.
      • Analysis: Strategies to analyze software systems.
        • Extraction: Strategies to extract facts from software systems.
          Is this page unclear, or have you spotted an error? Please add a comment below and help us to improve it. For all other questions and remarks, visit