A LINEAR PROGRAMMING MODEL FOR SEQUENTIAL TESTING