Marianne Mueller Rómer Rosales Harald Steck Sriram Krishnan Bharat Rao Stefan Kramer Data-Efficient Information-Theoretic Test Selection. 410-415 2009 AIME http://dx.doi.org/10.1007/978-3-642-02976-9_58 conf/aime/2009 db/conf/aime/aime2009.html#MuellerRSKRK09