Using Yalla to Squash Software Bugs