{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,14]],"date-time":"2026-05-14T00:15:40Z","timestamp":1778717740601,"version":"3.51.4"},"reference-count":32,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"10","license":[{"start":{"date-parts":[[2020,10,1]],"date-time":"2020-10-01T00:00:00Z","timestamp":1601510400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2020,10,1]],"date-time":"2020-10-01T00:00:00Z","timestamp":1601510400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2020,10,1]],"date-time":"2020-10-01T00:00:00Z","timestamp":1601510400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100001659","name":"Deutsche Forschungsgemeinschaft through TUM International Graduate School of Science and Engineering","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100001659","id-type":"DOI","asserted-by":"publisher"}]},{"name":"INAE Chair Professorship"},{"DOI":"10.13039\/501100013357","name":"Nanotechnology Research Triangle through the Indian Statistical Institute, Kolkata","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100013357","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100011102","name":"Technical University of Munich\u2014Institute for Advanced Study through the German Excellence Initiative and the European Union Seventh Framework Programme","doi-asserted-by":"publisher","award":["291763"],"award-info":[{"award-number":["291763"]}],"id":[{"id":"10.13039\/100011102","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst."],"published-print":{"date-parts":[[2020,10]]},"DOI":"10.1109\/tcad.2019.2948904","type":"journal-article","created":{"date-parts":[[2019,10,22]],"date-time":"2019-10-22T19:58:46Z","timestamp":1571774326000},"page":"2530-2543","source":"Crossref","is-referenced-by-count":6,"title":["Test Generation for Flow-Based Microfluidic Biochips With General Architectures"],"prefix":"10.1109","volume":"39","author":[{"given":"Chunfeng","family":"Liu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9752-7201","authenticated-orcid":false,"given":"Bing","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5890-2483","authenticated-orcid":false,"given":"Bhargab B.","family":"Bhattacharya","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4475-6435","authenticated-orcid":false,"given":"Krishnendu","family":"Chakrabarty","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7348-5625","authenticated-orcid":false,"given":"Tsung-Yi","family":"Ho","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4431-7619","authenticated-orcid":false,"given":"Ulf","family":"Schlichtmann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref32","year":"2013","journal-title":"Gurobi Optimizer Reference Manual"},{"key":"ref31","author":"chen","year":"2011","journal-title":"Applied Integer Programming Modeling and Solution"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-4132-4"},{"key":"ref10","first-page":"1","article-title":"Transport or store? Synthesizing flow-based microfluidic biochips using distributed channel storage","author":"liu","year":"2017","journal-title":"Proc Design Autom Conf"},{"key":"ref11","first-page":"1","article-title":"An efficient bi-criteria flow channel routing algorithm for flow-based microfluidic biochips","author":"lin","year":"2014","journal-title":"Proc Design Autom Conf"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2015.2488485"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2013.6509597"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2017.7858376"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/3240765.3240830"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2016.2568198"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/MDAT.2015.2449180"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/2744769.2744887"},{"key":"ref19","doi-asserted-by":"crossref","first-page":"1463","DOI":"10.1109\/TCAD.2014.2336215","article-title":"Testing of flow-based microfluidic biochips: Fault modeling, test generation, and experimental demonstration","volume":"33","author":"hu","year":"2014","journal-title":"IEEE Trans Comput -Aided Design Integr Circuits Syst"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.23919\/DATE.2018.8342232"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/TCSI.2009.2038976"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2016.2547902"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1126\/science.322.5903.975"},{"key":"ref6","year":"0","journal-title":"Agilent"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2017.7858377"},{"key":"ref5","year":"0","journal-title":"Illumina"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/2380403.2380437"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ICCD.2009.5413185"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1146\/annurev.biophys.36.040306.132646"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/MDAT.2015.2492473"},{"key":"ref1","first-page":"91","article-title":"Testing microfluidic fully programmable valve arrays (FPVAs)","author":"liu","year":"2017","journal-title":"Proc Design Autom Test Europe Conf"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/VTS.2014.6818760"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.23919\/DATE.2019.8715023"},{"key":"ref21","first-page":"1","article-title":"Design-for-testability for continuous-flow microfluidic biochips","author":"liu","year":"2018","journal-title":"Proc Design Autom Conf"},{"key":"ref24","author":"fidalgo","year":"2011","journal-title":"Mixing Operation in PMD"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1039\/c0lc00537a"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/2744769.2744899"},{"key":"ref25","author":"fidalgo","year":"2011","journal-title":"Fluid Transportation in PMD"}],"container-title":["IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/43\/9204502\/08879563.pdf?arnumber=8879563","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,4,27]],"date-time":"2022-04-27T14:05:32Z","timestamp":1651068332000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8879563\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,10]]},"references-count":32,"journal-issue":{"issue":"10"},"URL":"https:\/\/doi.org\/10.1109\/tcad.2019.2948904","relation":{},"ISSN":["0278-0070","1937-4151"],"issn-type":[{"value":"0278-0070","type":"print"},{"value":"1937-4151","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,10]]}}}