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á bibliografie

Vydáno v:	IEEE/ACM International Conference on Automated Software Engineering : [proceedings] s. 1795 - 1807
Hlavní autoři:	Huang, Zunchen, Ravi, Srivatsan, Wang, Chao
Médium:	Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	ACM 27.10.2024
Témata:	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 přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!