Testing of Flow-Based Microfluidic Biochips: Fault Modeling, Test Generation, and Experimental Demonstration | IEEE Journals & Magazine | IEEE Xplore