Programmable Property-Based Testing
Summary
The article discusses Red Blood Cell dynamics in microfluidic flows, detailing membrane and fluid dynamics models (DPM, BIM) and the process of aligning simulations with experimental videos through a microscopy model (DIC). It covers validation of RBC shapes, a tank-treading example in shear flow, and the use of CMA-ES optimization, with notes on leveraging LLMs to assist development and design.