Profiling

Kind: technique

Record: reasoning:technique-profiling

Canonical: Reasoning

Measures the distribution of execution cost

Listed in Reasoning records, after Stress Testing and before Heap Analysis.

Mode

• observation

Principle ref

• Profiling

Surfaces

• memory-correctness
• performance-correctness

Linked from

• The modes
• The test surfaces