Test generation for microfluidic fully programmable valve arrays (FPVAs) with heuristic acceleration.
Chunfeng LiuBing LiBhargab B. BhattacharyaKrishnendu ChakrabartyTsung-Yi HoUlf SchlichtmannPublished in: ICICDT (2018)
Keyphrases
- test generation
- test cases
- symbolic execution
- design automation
- test sequences
- quality assurance
- software testing
- low cost
- mutation testing
- optimal solution
- search algorithm
- static analysis
- simulated annealing
- high quality
- test data generation
- dna computing
- computer vision
- database
- image data
- high level
- machine learning