NobleBlocks

Research indexJournal article

Micro execution

Godefroid

Proceedings of the 36th International Conference on Software Engineering20 May 2014

NobleIDark:/48914/w1/20260521/9D24F98BDOI10.1145/2568225.2568273

Paywalled

The full text is at the publisher

You can read the abstract here, or open it at the publisher.

Read at the publisher

Abstract

Micro execution is the ability to execute any code fragment without a user-provided test driver or input data. The user simply identifies a function or code location in an exe or dll. A runtime Virtual Machine (VM) customized for testing purposes then starts executing the code at that location, catches all memory operations before they occur, allocates memory on-the-fly in order to perform those read/write memory operations, and provides input values according to a customizable memory policy, which defines what read memory accesses should be treated as inputs.

Discussion

Citations

Topics

More

Suggest a correction or report