CAV 2009Reducing Test Inputs Using Information PartitionsRupak Majumdar, Ru-Gang XuDOI 10.1007/978-3-642-02658-4_41dblpBibTeXAbstract elided by the publisher.