ALVEY WALTER DUKE

System and method to simulate conditions and drive control-flow in software