1 paper
Eyal Hadad, Roni Stern
Modern software projects include automated tests written to check the programs' functionality. The set of functions invoked by a test is called the trace of the test, and the actio…