Inspired by your "soundiness manifesto", this paper proposes a soundy analysis to help some client applications such as program debugging and understanding and program analysis.
Please see the "soundiness" paragraph in Section 1.1 in the paper to further understand our soundiness.
Hi all,
Do you mind including our new ECOOP'16 paper titled "Program Tailoring: Slicing by Sequential Criteria" http://www.cse.unsw.edu.au/~yueli/papers/ecoop16.pdf on your soundiness web site?
Inspired by your "soundiness manifesto", this paper proposes a soundy analysis to help some client applications such as program debugging and understanding and program analysis. Please see the "soundiness" paragraph in Section 1.1 in the paper to further understand our soundiness.
Thanks.