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...

Celý popis

Podrobná bibliografia

Vydané v:	IEEE/ACM International Conference on Automated Software Engineering : [proceedings] s. 1795 - 1807
Hlavní autori:	Huang, Zunchen, Ravi, Srivatsan, Wang, Chao
Médium:	Konferenčný príspevok..
Jazyk:	English
Vydavateľské údaje:	ACM 27.10.2024
Predmet:	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
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!