A scalable pseudo-exhaustive search for fault diagnosis in microfluidic biochips | IEEE Conference Publication | IEEE Xplore