{
  "content": {
    "icon": "bi-signpost-split",
    "id": "the-modes",
    "intro": "Each reasoning mode is listed with the practice it names and the techniques that work in it.",
    "subsections": [
      {
        "blocks": [
          {
            "entries": [
              {
                "description": "identifying patterns or examples",
                "term": "Mode"
              },
              {
                "description": "What is there?",
                "term": "Question"
              },
              {
                "description": "[static-analysis](/records/reasoning/technique-static-analysis), [runtime-validation](/records/reasoning/technique-runtime-validation), [profiling](/records/reasoning/technique-profiling), [heap-analysis](/records/reasoning/technique-heap-analysis), [monitoring](/records/reasoning/technique-monitoring)",
                "term": "Techniques"
              }
            ],
            "kind": "glossary"
          },
          {
            "kind": "text",
            "text": "How it is checked"
          },
          {
            "entries": [
              {
                "description": "the ontology resolution gate over the techniques, nodes and structured-document constructs that name the mode, the model-step check for every model whose steps are modes",
                "term": "Checked by"
              },
              {
                "description": "Every technique, node, model step and document construct that names the mode",
                "term": "Population"
              },
              {
                "description": "A verdict stands until the mode list or a record that names a mode changes",
                "term": "Freshness"
              },
              {
                "description": "The gate fails on a technique, node, model step or construct that names a mode that does not exist",
                "term": "Refusal"
              },
              {
                "description": "None, because a mode is a way of reasoning, and nothing observes it while a run executes",
                "term": "Observation"
              },
              {
                "description": "Watched to fire and to accept: a suite plants a technique whose mode does not exist, and the bundled records validate clean",
                "term": "Evidence"
              },
              {
                "description": "The mode list, which every technique, node, step and construct that names a mode cites",
                "term": "Authoritative side"
              },
              {
                "description": "Not answered",
                "term": "Depends on"
              },
              {
                "description": "Not answered",
                "term": "Shape it refuses"
              }
            ],
            "kind": "glossary"
          }
        ],
        "id": "reasoning-mode-observation",
        "title": "observation"
      },
      {
        "blocks": [
          {
            "entries": [
              {
                "description": "defining objects",
                "term": "Mode"
              },
              {
                "description": "How can it be characterized?",
                "term": "Question"
              },
              {
                "description": "[tracing](/records/reasoning/technique-tracing)",
                "term": "Techniques"
              }
            ],
            "kind": "glossary"
          },
          {
            "kind": "text",
            "text": "How it is checked"
          },
          {
            "entries": [
              {
                "description": "the ontology resolution gate over the techniques, nodes and structured-document constructs that name the mode, the model-step check for every model whose steps are modes",
                "term": "Checked by"
              },
              {
                "description": "Every technique, node, model step and document construct that names the mode",
                "term": "Population"
              },
              {
                "description": "A verdict stands until the mode list or a record that names a mode changes",
                "term": "Freshness"
              },
              {
                "description": "The gate fails on a technique, node, model step or construct that names a mode that does not exist",
                "term": "Refusal"
              },
              {
                "description": "None, because a mode is a way of reasoning, and nothing observes it while a run executes",
                "term": "Observation"
              },
              {
                "description": "Watched to fire and to accept: a suite plants a technique whose mode does not exist, and the bundled records validate clean",
                "term": "Evidence"
              },
              {
                "description": "The mode list, which every technique, node, step and construct that names a mode cites",
                "term": "Authoritative side"
              },
              {
                "description": "Not answered",
                "term": "Depends on"
              },
              {
                "description": "Not answered",
                "term": "Shape it refuses"
              }
            ],
            "kind": "glossary"
          }
        ],
        "id": "reasoning-mode-description",
        "title": "description"
      },
      {
        "blocks": [
          {
            "entries": [
              {
                "description": "finding similarities and differences",
                "term": "Mode"
              },
              {
                "description": "How is it similar or different?",
                "term": "Question"
              },
              {
                "description": "[unit-testing](/records/reasoning/technique-unit-testing), [integration-testing](/records/reasoning/technique-integration-testing), [end-to-end-testing](/records/reasoning/technique-end-to-end-testing), [differential-testing](/records/reasoning/technique-differential-testing), [contract-testing](/records/reasoning/technique-contract-testing), [assertion-checking](/records/reasoning/technique-assertion-checking), [read-after-write-verification](/records/reasoning/technique-read-after-write-verification)",
                "term": "Techniques"
              }
            ],
            "kind": "glossary"
          },
          {
            "kind": "text",
            "text": "How it is checked"
          },
          {
            "entries": [
              {
                "description": "the ontology resolution gate over the techniques, nodes and structured-document constructs that name the mode, the model-step check for every model whose steps are modes",
                "term": "Checked by"
              },
              {
                "description": "Every technique, node, model step and document construct that names the mode",
                "term": "Population"
              },
              {
                "description": "A verdict stands until the mode list or a record that names a mode changes",
                "term": "Freshness"
              },
              {
                "description": "The gate fails on a technique, node, model step or construct that names a mode that does not exist",
                "term": "Refusal"
              },
              {
                "description": "None, because a mode is a way of reasoning, and nothing observes it while a run executes",
                "term": "Observation"
              },
              {
                "description": "Watched to fire and to accept: a suite plants a technique whose mode does not exist, and the bundled records validate clean",
                "term": "Evidence"
              },
              {
                "description": "The mode list, which every technique, node, step and construct that names a mode cites",
                "term": "Authoritative side"
              },
              {
                "description": "Not answered",
                "term": "Depends on"
              },
              {
                "description": "Not answered",
                "term": "Shape it refuses"
              }
            ],
            "kind": "glossary"
          }
        ],
        "id": "reasoning-mode-comparison",
        "title": "comparison"
      },
      {
        "blocks": [
          {
            "entries": [
              {
                "description": "grouping by properties",
                "term": "Mode"
              },
              {
                "description": "Which kind is it?",
                "term": "Question"
              },
              {
                "description": "[property-based-testing](/records/reasoning/technique-property-based-testing)",
                "term": "Techniques"
              }
            ],
            "kind": "glossary"
          },
          {
            "kind": "text",
            "text": "How it is checked"
          },
          {
            "entries": [
              {
                "description": "the ontology resolution gate over the techniques, nodes and structured-document constructs that name the mode, the model-step check for every model whose steps are modes",
                "term": "Checked by"
              },
              {
                "description": "Every technique, node, model step and document construct that names the mode",
                "term": "Population"
              },
              {
                "description": "A verdict stands until the mode list or a record that names a mode changes",
                "term": "Freshness"
              },
              {
                "description": "The gate fails on a technique, node, model step or construct that names a mode that does not exist",
                "term": "Refusal"
              },
              {
                "description": "None, because a mode is a way of reasoning, and nothing observes it while a run executes",
                "term": "Observation"
              },
              {
                "description": "Watched to fire and to accept: a suite plants a technique whose mode does not exist, and the bundled records validate clean",
                "term": "Evidence"
              },
              {
                "description": "The mode list, which every technique, node, step and construct that names a mode cites",
                "term": "Authoritative side"
              },
              {
                "description": "Not answered",
                "term": "Depends on"
              },
              {
                "description": "Not answered",
                "term": "Shape it refuses"
              }
            ],
            "kind": "glossary"
          }
        ],
        "id": "reasoning-mode-classification",
        "title": "classification"
      },
      {
        "blocks": [
          {
            "entries": [
              {
                "description": "removing irrelevant details",
                "term": "Mode"
              }
            ],
            "kind": "glossary"
          },
          {
            "kind": "text",
            "text": "How it is checked"
          },
          {
            "entries": [
              {
                "description": "the ontology resolution gate over the techniques, nodes and structured-document constructs that name the mode, the model-step check for every model whose steps are modes",
                "term": "Checked by"
              },
              {
                "description": "Every technique, node, model step and document construct that names the mode",
                "term": "Population"
              },
              {
                "description": "A verdict stands until the mode list or a record that names a mode changes",
                "term": "Freshness"
              },
              {
                "description": "The gate fails on a technique, node, model step or construct that names a mode that does not exist",
                "term": "Refusal"
              },
              {
                "description": "None, because a mode is a way of reasoning, and nothing observes it while a run executes",
                "term": "Observation"
              },
              {
                "description": "Watched to fire and to accept: a suite plants a technique whose mode does not exist, and the bundled records validate clean",
                "term": "Evidence"
              },
              {
                "description": "The mode list, which every technique, node, step and construct that names a mode cites",
                "term": "Authoritative side"
              },
              {
                "description": "Not answered",
                "term": "Depends on"
              },
              {
                "description": "Not answered",
                "term": "Shape it refuses"
              }
            ],
            "kind": "glossary"
          }
        ],
        "id": "reasoning-mode-abstraction",
        "title": "abstraction"
      },
      {
        "blocks": [
          {
            "entries": [
              {
                "description": "extending examples into principles",
                "term": "Mode"
              }
            ],
            "kind": "glossary"
          },
          {
            "kind": "text",
            "text": "How it is checked"
          },
          {
            "entries": [
              {
                "description": "the ontology resolution gate over the techniques, nodes and structured-document constructs that name the mode, the model-step check for every model whose steps are modes",
                "term": "Checked by"
              },
              {
                "description": "Every technique, node, model step and document construct that names the mode",
                "term": "Population"
              },
              {
                "description": "A verdict stands until the mode list or a record that names a mode changes",
                "term": "Freshness"
              },
              {
                "description": "The gate fails on a technique, node, model step or construct that names a mode that does not exist",
                "term": "Refusal"
              },
              {
                "description": "None, because a mode is a way of reasoning, and nothing observes it while a run executes",
                "term": "Observation"
              },
              {
                "description": "Watched to fire and to accept: a suite plants a technique whose mode does not exist, and the bundled records validate clean",
                "term": "Evidence"
              },
              {
                "description": "The mode list, which every technique, node, step and construct that names a mode cites",
                "term": "Authoritative side"
              },
              {
                "description": "Not answered",
                "term": "Depends on"
              },
              {
                "description": "Not answered",
                "term": "Shape it refuses"
              }
            ],
            "kind": "glossary"
          }
        ],
        "id": "reasoning-mode-generalization",
        "title": "generalization"
      },
      {
        "blocks": [
          {
            "entries": [
              {
                "description": "expressing ideas symbolically",
                "term": "Mode"
              }
            ],
            "kind": "glossary"
          },
          {
            "kind": "text",
            "text": "How it is checked"
          },
          {
            "entries": [
              {
                "description": "the ontology resolution gate over the techniques, nodes and structured-document constructs that name the mode, the model-step check for every model whose steps are modes",
                "term": "Checked by"
              },
              {
                "description": "Every technique, node, model step and document construct that names the mode",
                "term": "Population"
              },
              {
                "description": "A verdict stands until the mode list or a record that names a mode changes",
                "term": "Freshness"
              },
              {
                "description": "The gate fails on a technique, node, model step or construct that names a mode that does not exist",
                "term": "Refusal"
              },
              {
                "description": "None, because a mode is a way of reasoning, and nothing observes it while a run executes",
                "term": "Observation"
              },
              {
                "description": "Watched to fire and to accept: a suite plants a technique whose mode does not exist, and the bundled records validate clean",
                "term": "Evidence"
              },
              {
                "description": "The mode list, which every technique, node, step and construct that names a mode cites",
                "term": "Authoritative side"
              },
              {
                "description": "Not answered",
                "term": "Depends on"
              },
              {
                "description": "Not answered",
                "term": "Shape it refuses"
              }
            ],
            "kind": "glossary"
          }
        ],
        "id": "reasoning-mode-formalization",
        "title": "formalization"
      },
      {
        "blocks": [
          {
            "entries": [
              {
                "description": "identifying mechanisms",
                "term": "Mode"
              },
              {
                "description": "Why is it this way?",
                "term": "Question"
              },
              {
                "description": "[model-checking](/records/reasoning/technique-model-checking)",
                "term": "Techniques"
              }
            ],
            "kind": "glossary"
          },
          {
            "kind": "text",
            "text": "How it is checked"
          },
          {
            "entries": [
              {
                "description": "the ontology resolution gate over the techniques, nodes and structured-document constructs that name the mode, the model-step check for every model whose steps are modes",
                "term": "Checked by"
              },
              {
                "description": "Every technique, node, model step and document construct that names the mode",
                "term": "Population"
              },
              {
                "description": "A verdict stands until the mode list or a record that names a mode changes",
                "term": "Freshness"
              },
              {
                "description": "The gate fails on a technique, node, model step or construct that names a mode that does not exist",
                "term": "Refusal"
              },
              {
                "description": "None, because a mode is a way of reasoning, and nothing observes it while a run executes",
                "term": "Observation"
              },
              {
                "description": "Watched to fire and to accept: a suite plants a technique whose mode does not exist, and the bundled records validate clean",
                "term": "Evidence"
              },
              {
                "description": "The mode list, which every technique, node, step and construct that names a mode cites",
                "term": "Authoritative side"
              },
              {
                "description": "Not answered",
                "term": "Depends on"
              },
              {
                "description": "Not answered",
                "term": "Shape it refuses"
              }
            ],
            "kind": "glossary"
          }
        ],
        "id": "reasoning-mode-explanation",
        "title": "explanation"
      },
      {
        "blocks": [
          {
            "entries": [
              {
                "description": "deriving necessary consequences",
                "term": "Mode"
              }
            ],
            "kind": "glossary"
          },
          {
            "kind": "text",
            "text": "How it is checked"
          },
          {
            "entries": [
              {
                "description": "the ontology resolution gate over the techniques, nodes and structured-document constructs that name the mode, the model-step check for every model whose steps are modes",
                "term": "Checked by"
              },
              {
                "description": "Every technique, node, model step and document construct that names the mode",
                "term": "Population"
              },
              {
                "description": "A verdict stands until the mode list or a record that names a mode changes",
                "term": "Freshness"
              },
              {
                "description": "The gate fails on a technique, node, model step or construct that names a mode that does not exist",
                "term": "Refusal"
              },
              {
                "description": "None, because a mode is a way of reasoning, and nothing observes it while a run executes",
                "term": "Observation"
              },
              {
                "description": "Watched to fire and to accept: a suite plants a technique whose mode does not exist, and the bundled records validate clean",
                "term": "Evidence"
              },
              {
                "description": "The mode list, which every technique, node, step and construct that names a mode cites",
                "term": "Authoritative side"
              },
              {
                "description": "Not answered",
                "term": "Depends on"
              },
              {
                "description": "Not answered",
                "term": "Shape it refuses"
              }
            ],
            "kind": "glossary"
          }
        ],
        "id": "reasoning-mode-deduction",
        "title": "deduction"
      },
      {
        "blocks": [
          {
            "entries": [
              {
                "description": "building objects that satisfy rules",
                "term": "Mode"
              }
            ],
            "kind": "glossary"
          },
          {
            "kind": "text",
            "text": "How it is checked"
          },
          {
            "entries": [
              {
                "description": "the ontology resolution gate over the techniques, nodes and structured-document constructs that name the mode, the model-step check for every model whose steps are modes",
                "term": "Checked by"
              },
              {
                "description": "Every technique, node, model step and document construct that names the mode",
                "term": "Population"
              },
              {
                "description": "A verdict stands until the mode list or a record that names a mode changes",
                "term": "Freshness"
              },
              {
                "description": "The gate fails on a technique, node, model step or construct that names a mode that does not exist",
                "term": "Refusal"
              },
              {
                "description": "None, because a mode is a way of reasoning, and nothing observes it while a run executes",
                "term": "Observation"
              },
              {
                "description": "Watched to fire and to accept: a suite plants a technique whose mode does not exist, and the bundled records validate clean",
                "term": "Evidence"
              },
              {
                "description": "The mode list, which every technique, node, step and construct that names a mode cites",
                "term": "Authoritative side"
              },
              {
                "description": "Not answered",
                "term": "Depends on"
              },
              {
                "description": "Not answered",
                "term": "Shape it refuses"
              }
            ],
            "kind": "glossary"
          }
        ],
        "id": "reasoning-mode-construction",
        "title": "construction"
      },
      {
        "blocks": [
          {
            "entries": [
              {
                "description": "establishing certainty",
                "term": "Mode"
              }
            ],
            "kind": "glossary"
          },
          {
            "kind": "text",
            "text": "How it is checked"
          },
          {
            "entries": [
              {
                "description": "the ontology resolution gate over the techniques, nodes and structured-document constructs that name the mode, the model-step check for every model whose steps are modes",
                "term": "Checked by"
              },
              {
                "description": "Every technique, node, model step and document construct that names the mode",
                "term": "Population"
              },
              {
                "description": "A verdict stands until the mode list or a record that names a mode changes",
                "term": "Freshness"
              },
              {
                "description": "The gate fails on a technique, node, model step or construct that names a mode that does not exist",
                "term": "Refusal"
              },
              {
                "description": "None, because a mode is a way of reasoning, and nothing observes it while a run executes",
                "term": "Observation"
              },
              {
                "description": "Watched to fire and to accept: a suite plants a technique whose mode does not exist, and the bundled records validate clean",
                "term": "Evidence"
              },
              {
                "description": "The mode list, which every technique, node, step and construct that names a mode cites",
                "term": "Authoritative side"
              },
              {
                "description": "Not answered",
                "term": "Depends on"
              },
              {
                "description": "Not answered",
                "term": "Shape it refuses"
              }
            ],
            "kind": "glossary"
          }
        ],
        "id": "reasoning-mode-proof",
        "title": "proof"
      },
      {
        "blocks": [
          {
            "entries": [
              {
                "description": "inferring future states",
                "term": "Mode"
              },
              {
                "description": "What comes next?",
                "term": "Question"
              },
              {
                "description": "[load-testing](/records/reasoning/technique-load-testing), [stress-testing](/records/reasoning/technique-stress-testing)",
                "term": "Techniques"
              }
            ],
            "kind": "glossary"
          },
          {
            "kind": "text",
            "text": "How it is checked"
          },
          {
            "entries": [
              {
                "description": "the ontology resolution gate over the techniques, nodes and structured-document constructs that name the mode, the model-step check for every model whose steps are modes",
                "term": "Checked by"
              },
              {
                "description": "Every technique, node, model step and document construct that names the mode",
                "term": "Population"
              },
              {
                "description": "A verdict stands until the mode list or a record that names a mode changes",
                "term": "Freshness"
              },
              {
                "description": "The gate fails on a technique, node, model step or construct that names a mode that does not exist",
                "term": "Refusal"
              },
              {
                "description": "None, because a mode is a way of reasoning, and nothing observes it while a run executes",
                "term": "Observation"
              },
              {
                "description": "Watched to fire and to accept: a suite plants a technique whose mode does not exist, and the bundled records validate clean",
                "term": "Evidence"
              },
              {
                "description": "The mode list, which every technique, node, step and construct that names a mode cites",
                "term": "Authoritative side"
              },
              {
                "description": "Not answered",
                "term": "Depends on"
              },
              {
                "description": "Not answered",
                "term": "Shape it refuses"
              }
            ],
            "kind": "glossary"
          }
        ],
        "id": "reasoning-mode-prediction",
        "title": "prediction"
      },
      {
        "blocks": [
          {
            "entries": [
              {
                "description": "selecting preferred solutions",
                "term": "Mode"
              }
            ],
            "kind": "glossary"
          },
          {
            "kind": "text",
            "text": "How it is checked"
          },
          {
            "entries": [
              {
                "description": "the ontology resolution gate over the techniques, nodes and structured-document constructs that name the mode, the model-step check for every model whose steps are modes",
                "term": "Checked by"
              },
              {
                "description": "Every technique, node, model step and document construct that names the mode",
                "term": "Population"
              },
              {
                "description": "A verdict stands until the mode list or a record that names a mode changes",
                "term": "Freshness"
              },
              {
                "description": "The gate fails on a technique, node, model step or construct that names a mode that does not exist",
                "term": "Refusal"
              },
              {
                "description": "None, because a mode is a way of reasoning, and nothing observes it while a run executes",
                "term": "Observation"
              },
              {
                "description": "Watched to fire and to accept: a suite plants a technique whose mode does not exist, and the bundled records validate clean",
                "term": "Evidence"
              },
              {
                "description": "The mode list, which every technique, node, step and construct that names a mode cites",
                "term": "Authoritative side"
              },
              {
                "description": "Not answered",
                "term": "Depends on"
              },
              {
                "description": "Not answered",
                "term": "Shape it refuses"
              }
            ],
            "kind": "glossary"
          }
        ],
        "id": "reasoning-mode-optimization",
        "title": "optimization"
      },
      {
        "blocks": [
          {
            "entries": [
              {
                "description": "modifying systems",
                "term": "Mode"
              },
              {
                "description": "How can it be changed?",
                "term": "Question"
              },
              {
                "description": "[fault-injection](/records/reasoning/technique-fault-injection), [chaos-testing](/records/reasoning/technique-chaos-testing), [mutation-testing](/records/reasoning/technique-mutation-testing)",
                "term": "Techniques"
              }
            ],
            "kind": "glossary"
          },
          {
            "kind": "text",
            "text": "How it is checked"
          },
          {
            "entries": [
              {
                "description": "the ontology resolution gate over the techniques, nodes and structured-document constructs that name the mode, the model-step check for every model whose steps are modes",
                "term": "Checked by"
              },
              {
                "description": "Every technique, node, model step and document construct that names the mode",
                "term": "Population"
              },
              {
                "description": "A verdict stands until the mode list or a record that names a mode changes",
                "term": "Freshness"
              },
              {
                "description": "The gate fails on a technique, node, model step or construct that names a mode that does not exist",
                "term": "Refusal"
              },
              {
                "description": "None, because a mode is a way of reasoning, and nothing observes it while a run executes",
                "term": "Observation"
              },
              {
                "description": "Watched to fire and to accept: a suite plants a technique whose mode does not exist, and the bundled records validate clean",
                "term": "Evidence"
              },
              {
                "description": "The mode list, which every technique, node, step and construct that names a mode cites",
                "term": "Authoritative side"
              },
              {
                "description": "Not answered",
                "term": "Depends on"
              },
              {
                "description": "Not answered",
                "term": "Shape it refuses"
              }
            ],
            "kind": "glossary"
          }
        ],
        "id": "reasoning-mode-intervention",
        "title": "intervention"
      },
      {
        "blocks": [
          {
            "entries": [
              {
                "description": "generating new structures",
                "term": "Mode"
              },
              {
                "description": "Can new examples be produced?",
                "term": "Question"
              },
              {
                "description": "[fuzz-testing](/records/reasoning/technique-fuzz-testing)",
                "term": "Techniques"
              }
            ],
            "kind": "glossary"
          },
          {
            "kind": "text",
            "text": "How it is checked"
          },
          {
            "entries": [
              {
                "description": "the ontology resolution gate over the techniques, nodes and structured-document constructs that name the mode, the model-step check for every model whose steps are modes",
                "term": "Checked by"
              },
              {
                "description": "Every technique, node, model step and document construct that names the mode",
                "term": "Population"
              },
              {
                "description": "A verdict stands until the mode list or a record that names a mode changes",
                "term": "Freshness"
              },
              {
                "description": "The gate fails on a technique, node, model step or construct that names a mode that does not exist",
                "term": "Refusal"
              },
              {
                "description": "None, because a mode is a way of reasoning, and nothing observes it while a run executes",
                "term": "Observation"
              },
              {
                "description": "Watched to fire and to accept: a suite plants a technique whose mode does not exist, and the bundled records validate clean",
                "term": "Evidence"
              },
              {
                "description": "The mode list, which every technique, node, step and construct that names a mode cites",
                "term": "Authoritative side"
              },
              {
                "description": "Not answered",
                "term": "Depends on"
              },
              {
                "description": "Not answered",
                "term": "Shape it refuses"
              }
            ],
            "kind": "glossary"
          }
        ],
        "id": "reasoning-mode-creation",
        "title": "creation"
      },
      {
        "blocks": [
          {
            "entries": [
              {
                "description": "discovering the principles behind the examples",
                "term": "Mode"
              },
              {
                "description": "What general principles emerge?",
                "term": "Question"
              },
              {
                "description": "[deterministic-replay](/records/reasoning/technique-deterministic-replay)",
                "term": "Techniques"
              }
            ],
            "kind": "glossary"
          },
          {
            "kind": "text",
            "text": "How it is checked"
          },
          {
            "entries": [
              {
                "description": "the ontology resolution gate over the techniques, nodes and structured-document constructs that name the mode, the model-step check for every model whose steps are modes",
                "term": "Checked by"
              },
              {
                "description": "Every technique, node, model step and document construct that names the mode",
                "term": "Population"
              },
              {
                "description": "A verdict stands until the mode list or a record that names a mode changes",
                "term": "Freshness"
              },
              {
                "description": "The gate fails on a technique, node, model step or construct that names a mode that does not exist",
                "term": "Refusal"
              },
              {
                "description": "None, because a mode is a way of reasoning, and nothing observes it while a run executes",
                "term": "Observation"
              },
              {
                "description": "Watched to fire and to accept: a suite plants a technique whose mode does not exist, and the bundled records validate clean",
                "term": "Evidence"
              },
              {
                "description": "The mode list, which every technique, node, step and construct that names a mode cites",
                "term": "Authoritative side"
              },
              {
                "description": "Not answered",
                "term": "Depends on"
              },
              {
                "description": "Not answered",
                "term": "Shape it refuses"
              }
            ],
            "kind": "glossary"
          }
        ],
        "id": "reasoning-mode-reflection",
        "title": "reflection"
      }
    ],
    "title": "The modes"
  },
  "graph": {
    "narrative": true,
    "requires": [],
    "teaches": [],
    "traces": []
  },
  "href": "https://banes-lab.com/ontology/reasoning#the-modes",
  "number": "204",
  "page": "ontology",
  "ref": "chapter:/ontology/reasoning#the-modes",
  "relations": [
    {
      "links": [
        {
          "href": "https://banes-lab.com/ontology/reasoning#reasoning-technique-static-analysis",
          "json": "https://banes-lab.com/json/records/reasoning/technique-static-analysis",
          "label": "Static Analysis",
          "markdown": "https://banes-lab.com/records/reasoning/technique-static-analysis.md",
          "ref": "reasoning:technique-static-analysis"
        },
        {
          "href": "https://banes-lab.com/ontology/reasoning#reasoning-technique-runtime-validation",
          "json": "https://banes-lab.com/json/records/reasoning/technique-runtime-validation",
          "label": "Runtime Validation",
          "markdown": "https://banes-lab.com/records/reasoning/technique-runtime-validation.md",
          "ref": "reasoning:technique-runtime-validation"
        },
        {
          "href": "https://banes-lab.com/ontology/reasoning#reasoning-technique-profiling",
          "json": "https://banes-lab.com/json/records/reasoning/technique-profiling",
          "label": "Profiling",
          "markdown": "https://banes-lab.com/records/reasoning/technique-profiling.md",
          "ref": "reasoning:technique-profiling"
        },
        {
          "href": "https://banes-lab.com/ontology/reasoning#reasoning-technique-heap-analysis",
          "json": "https://banes-lab.com/json/records/reasoning/technique-heap-analysis",
          "label": "Heap Analysis",
          "markdown": "https://banes-lab.com/records/reasoning/technique-heap-analysis.md",
          "ref": "reasoning:technique-heap-analysis"
        },
        {
          "href": "https://banes-lab.com/ontology/reasoning#reasoning-technique-monitoring",
          "json": "https://banes-lab.com/json/records/reasoning/technique-monitoring",
          "label": "Monitoring",
          "markdown": "https://banes-lab.com/records/reasoning/technique-monitoring.md",
          "ref": "reasoning:technique-monitoring"
        },
        {
          "href": "https://banes-lab.com/ontology/reasoning#reasoning-technique-tracing",
          "json": "https://banes-lab.com/json/records/reasoning/technique-tracing",
          "label": "Tracing",
          "markdown": "https://banes-lab.com/records/reasoning/technique-tracing.md",
          "ref": "reasoning:technique-tracing"
        },
        {
          "href": "https://banes-lab.com/ontology/reasoning#reasoning-technique-unit-testing",
          "json": "https://banes-lab.com/json/records/reasoning/technique-unit-testing",
          "label": "Unit Testing",
          "markdown": "https://banes-lab.com/records/reasoning/technique-unit-testing.md",
          "ref": "reasoning:technique-unit-testing"
        },
        {
          "href": "https://banes-lab.com/ontology/reasoning#reasoning-technique-integration-testing",
          "json": "https://banes-lab.com/json/records/reasoning/technique-integration-testing",
          "label": "Integration Testing",
          "markdown": "https://banes-lab.com/records/reasoning/technique-integration-testing.md",
          "ref": "reasoning:technique-integration-testing"
        },
        {
          "href": "https://banes-lab.com/ontology/reasoning#reasoning-technique-end-to-end-testing",
          "json": "https://banes-lab.com/json/records/reasoning/technique-end-to-end-testing",
          "label": "End To End Testing",
          "markdown": "https://banes-lab.com/records/reasoning/technique-end-to-end-testing.md",
          "ref": "reasoning:technique-end-to-end-testing"
        },
        {
          "href": "https://banes-lab.com/ontology/reasoning#reasoning-technique-differential-testing",
          "json": "https://banes-lab.com/json/records/reasoning/technique-differential-testing",
          "label": "Differential Testing",
          "markdown": "https://banes-lab.com/records/reasoning/technique-differential-testing.md",
          "ref": "reasoning:technique-differential-testing"
        },
        {
          "href": "https://banes-lab.com/ontology/reasoning#reasoning-technique-contract-testing",
          "json": "https://banes-lab.com/json/records/reasoning/technique-contract-testing",
          "label": "Contract Testing",
          "markdown": "https://banes-lab.com/records/reasoning/technique-contract-testing.md",
          "ref": "reasoning:technique-contract-testing"
        },
        {
          "href": "https://banes-lab.com/ontology/reasoning#reasoning-technique-assertion-checking",
          "json": "https://banes-lab.com/json/records/reasoning/technique-assertion-checking",
          "label": "Assertion Checking",
          "markdown": "https://banes-lab.com/records/reasoning/technique-assertion-checking.md",
          "ref": "reasoning:technique-assertion-checking"
        },
        {
          "href": "https://banes-lab.com/ontology/reasoning#reasoning-technique-read-after-write-verification",
          "json": "https://banes-lab.com/json/records/reasoning/technique-read-after-write-verification",
          "label": "Read After Write Verification",
          "markdown": "https://banes-lab.com/records/reasoning/technique-read-after-write-verification.md",
          "ref": "reasoning:technique-read-after-write-verification"
        },
        {
          "href": "https://banes-lab.com/ontology/reasoning#reasoning-technique-property-based-testing",
          "json": "https://banes-lab.com/json/records/reasoning/technique-property-based-testing",
          "label": "Property Based Testing",
          "markdown": "https://banes-lab.com/records/reasoning/technique-property-based-testing.md",
          "ref": "reasoning:technique-property-based-testing"
        },
        {
          "href": "https://banes-lab.com/ontology/reasoning#reasoning-technique-model-checking",
          "json": "https://banes-lab.com/json/records/reasoning/technique-model-checking",
          "label": "Model Checking",
          "markdown": "https://banes-lab.com/records/reasoning/technique-model-checking.md",
          "ref": "reasoning:technique-model-checking"
        },
        {
          "href": "https://banes-lab.com/ontology/reasoning#reasoning-technique-load-testing",
          "json": "https://banes-lab.com/json/records/reasoning/technique-load-testing",
          "label": "Load Testing",
          "markdown": "https://banes-lab.com/records/reasoning/technique-load-testing.md",
          "ref": "reasoning:technique-load-testing"
        },
        {
          "href": "https://banes-lab.com/ontology/reasoning#reasoning-technique-stress-testing",
          "json": "https://banes-lab.com/json/records/reasoning/technique-stress-testing",
          "label": "Stress Testing",
          "markdown": "https://banes-lab.com/records/reasoning/technique-stress-testing.md",
          "ref": "reasoning:technique-stress-testing"
        },
        {
          "href": "https://banes-lab.com/ontology/reasoning#reasoning-technique-fault-injection",
          "json": "https://banes-lab.com/json/records/reasoning/technique-fault-injection",
          "label": "Fault Injection",
          "markdown": "https://banes-lab.com/records/reasoning/technique-fault-injection.md",
          "ref": "reasoning:technique-fault-injection"
        },
        {
          "href": "https://banes-lab.com/ontology/reasoning#reasoning-technique-chaos-testing",
          "json": "https://banes-lab.com/json/records/reasoning/technique-chaos-testing",
          "label": "Chaos Testing",
          "markdown": "https://banes-lab.com/records/reasoning/technique-chaos-testing.md",
          "ref": "reasoning:technique-chaos-testing"
        },
        {
          "href": "https://banes-lab.com/ontology/reasoning#reasoning-technique-mutation-testing",
          "json": "https://banes-lab.com/json/records/reasoning/technique-mutation-testing",
          "label": "Mutation Testing",
          "markdown": "https://banes-lab.com/records/reasoning/technique-mutation-testing.md",
          "ref": "reasoning:technique-mutation-testing"
        },
        {
          "href": "https://banes-lab.com/ontology/reasoning#reasoning-technique-fuzz-testing",
          "json": "https://banes-lab.com/json/records/reasoning/technique-fuzz-testing",
          "label": "Fuzz Testing",
          "markdown": "https://banes-lab.com/records/reasoning/technique-fuzz-testing.md",
          "ref": "reasoning:technique-fuzz-testing"
        },
        {
          "href": "https://banes-lab.com/ontology/reasoning#reasoning-technique-deterministic-replay",
          "json": "https://banes-lab.com/json/records/reasoning/technique-deterministic-replay",
          "label": "Deterministic Replay",
          "markdown": "https://banes-lab.com/records/reasoning/technique-deterministic-replay.md",
          "ref": "reasoning:technique-deterministic-replay"
        }
      ],
      "relation": "links-to"
    }
  ],
  "route": null,
  "section": "the-modes",
  "summary": "Each reasoning mode is listed with the practice it names and the techniques that work in it.",
  "tab": "reasoning",
  "title": "The modes",
  "siblings": {
    "next": {
      "href": "https://banes-lab.com/ontology/reasoning#the-representations",
      "json": "https://banes-lab.com/json/ontology/reasoning/the-representations",
      "label": "The representations",
      "markdown": "https://banes-lab.com/ontology/reasoning/the-representations.md",
      "ref": "chapter:/ontology/reasoning#the-representations"
    },
    "previous": {
      "href": "https://banes-lab.com/ontology/reasoning#the-lenses",
      "json": "https://banes-lab.com/json/ontology/reasoning/the-lenses",
      "label": "The lenses",
      "markdown": "https://banes-lab.com/ontology/reasoning/the-lenses.md",
      "ref": "chapter:/ontology/reasoning#the-lenses"
    }
  },
  "up": {
    "href": "https://banes-lab.com/ontology/reasoning",
    "json": "https://banes-lab.com/json/api/pages/ontology/reasoning",
    "label": "Ontology · Reasoning",
    "markdown": "https://banes-lab.com/api/pages/ontology/reasoning.md",
    "ref": "api:/ontology/reasoning"
  }
}