English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Plus monthly

Global: Zendy Tools annual

Global: Zendy Tools monthly

Global: Zendy Free Plan

We introduce a novel technique for finding real errors in programs. Thetechnique is based on a synergy of three well-known methods: metacompilation,slicing, and symbolic execution. More precisely, we instrument a given programwith a code that tracks runs of state machines representing various kinds oferrors. Next we slice the program to reduce its size without affecting runs ofstate machines. And then we symbolically execute the sliced program. Dependingon the kind of symbolic execution, the technique can be applied as astand-alone bug finding technique, or to weed out some false positives from anoutput of another bug-finding tool. We provide several examples demonstratingthe practical applicability of our technique.

On Synergy of Metal, Slicing, and Symbolic Execution