Abstract: A method for generating one or more satisfaction records for an expression in a software application, the expression including at least one criterion relating to the application wherein the satisfaction of the criterion can be determined only at application execution time, the method comprising: analysing the application to generate a first set of locations in the application where the at least one criterion is potentially satisfied; executing the application; monitoring the application to generate a second set of locations in the application where the at least one criterion is actually satisfied; for each location in the second set of locations generating a satisfaction record indicating that the application satisfied the at least one criterion at the location; and for each location in the first set not in the second set generating a satisfaction record indicating that the application did not satisfy the at least one criterion at the location.