Scientific Programming / 2020 / Article / Fig 5

Research Article

Improved Efficiency of Object Code Verification Using Statically Abstracted Object Code

Figure 5

Induced bug in a pattern of stuttering instructions. (a) Behavior of correct code. (b) Behavior of buggy code.

Article of the Year Award: Outstanding research contributions of 2020, as selected by our Chief Editors. Read the winning articles.