"Bogor/Kiasan: A k-bounded Symbolic Execution for Checking Strong Heap ..."

Xianghua Deng, Jooyong Lee, Robby (2006)
a service of Schloss Dagstuhl - Leibniz Center for Informatics