Graphs Software Testing Ammann