IEEE - Institute of Electrical and Electronics Engineers, Inc. - Node-Set Analysis for Linked Recursive Data Structures

2015 IEEE International Conference on Software Quality, Reliability and Security (QRS)

Author(s): Zhenhao Tang ; Hanfei Wang ; Bin Li ; Juan Zhai ; Jianhua Zhao ; Xuandong Li
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 August 2015
Conference Location: Vancouver, BC, Canada
Conference Date: 3 August 2015
Page(s): 59 - 64
ISBN (CD): 978-1-4673-7988-5
ISBN (Electronic): 978-1-4673-7989-2
DOI: 10.1109/QRS.2015.19
Regular:

The technique presented in this paper concerns the problem of how to automatically obtaining the specification of the resulting set of reachable nodes, after destructive operations over the data... View More

Advertisement