Static analysis is necessary, but it feels incomplete when it comes to how systems behave under real conditions. How are others dealing with that gap