Fault Modeling and Functional Test Methods for Digital Microfluidic Biochips | IEEE Journals & Magazine | IEEE Xplore