Blog post by devs with readable diagram:<p><a href="https://code.fb.com/developer-tools/finding-and-fixing-software-bugs-automatically-with-sapfix-and-sapienz/" rel="nofollow">https://code.fb.com/developer-tools/finding-and-fixing-softw...</a>