Software variation for robustness through randomized execution contexts

作者: Emery Berger , Benjamin Zorn

DOI:

关键词:

摘要: Improved robustness of software program executions is achieved via randomization their execution contexts. For instance, errors related to runtime allocation memory on the heap can be probabilistically addressed by generating an approximation infinite and using a randomized manager allocate heap. In addition stand alone randomization, several replicas are executed, each with configured different seeds for randomly allocating Outputs correctly executing instances determined accepting output that at least two agree upon.