Khurshidand Suen. Generalizing Symbolic Execution to Library Classes. ACM Press, 2005, doi:10.1145/1108792.1108817.