Deryaft
Deryaft
复制标题
德亚夫特
DOI：
--
复制
发表时间：
2008
期刊：
影响因子：
--
通讯作者：
S. Khurshid
中科院分区：
文献类型：
--
作者：
Muhammad Zubair Malik;Aman Pervaiz;E. Uzuncaova;S. Khurshid
Deryaft is a tool for generating likely representation invariants of structurally complex data. Given a small set of concrete structures, Deryaft analyzes their key characteristics to formulate local and global properties that the structures exhibit. For effective formulation of structural invariants, Deryaft focuses on graph properties, including reachability, and views the program heap as an edge-labeled graph. Deryaft outputs a Java predicate that represents the invariants; the predicate takes an input structure and returns true if and only if it satisfies the invariants.
