Test case generation for native applications from Python with branch coverage

engineering.backtrace.io