Revision as of 14:11, 7 May 2021 edit Hooman Mallahzadeh (talk \| contribs) Extended confirmed users 4,647 edits m Hyperlinks added. Tag: Visual edit ← Previous edit		Revision as of 13:56, 9 May 2021 edit undo Hooman Mallahzadeh (talk \| contribs) Extended confirmed users 4,647 edits m →Program-dependent efficiency: lower case. Tag: Visual edit: Switched Next edit →
Line 29: ===Program-dependent efficiency=== Symbolic execution is used to reason about a program path-by-path which is an advantage over reasoning about a program input-by-input as other testing paradigms use (e.g. [[~~Dynamic~~dynamic program analysis]]). However, if few inputs take the same path through the program, there is little savings over testing each of the inputs separately. === Memory aliasing ===

Symbolic execution: Difference between revisions