Xipeng Shen Feng Mao Modeling Relations between Inputs and Dynamic Behavior for General Programs. 202-216 2007 LCPC http://dx.doi.org/10.1007/978-3-540-85261-2_14 conf/lcpc/2007 db/conf/lcpc/lcpc2007.html#ShenM07