A New Bounding Technique for Handling Arbitrary Correlations in Path-Based SSTA.

Walter Schneider Manuel Schmidt Bing Li Ulf Schlichtmann A New Bounding Technique for Handling Arbitrary Correlations in Path-Based SSTA. 167-177 2008 PATMOS http://dx.doi.org/10.1007/978-3-540-95948-9_17 conf/patmos/2008 db/conf/patmos/patmos2008.html#SchneiderSLS08