Optimal test and sensor selection for active fault diagnosis using integer programming. (August 2020)