Discovering Likely Program Invariants for Persistent Memory

We propose a method for automatically discovering likely program invariants for persistent memory (PM), which is a type of fast and byte-addressable storage device that can retain data after power loss. The invariants, also called PM properties or PM requirements, specify which objects of the progra...

Full description

Bibliographic Details

Published in:	IEEE/ACM International Conference on Automated Software Engineering : [proceedings] pp. 1795 - 1807
Main Authors:	Huang, Zunchen, Ravi, Srivatsan, Wang, Chao
Format:	Conference Proceeding
Language:	English
Published:	ACM 27.10.2024
Subjects:	Benchmark testing Codes Cognition Computer bugs counterfactual reasoning Data structures dynamic analysis Instruments invariant generation nonvolatile memory Performance analysis Software Software engineering Static analysis
ISSN:	2643-1572
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!