1. A system that determines a scope of testing to be performed with respect to a machine code representation of program code based on one or more changes that occur with respect to the program code, the system comprising: behavioral analysis logic configured to create a behavioral model that indicates a plurality of behaviors that have a plurality of respective likelihoods of being exhibited by execution of the machine code representation of the program code based on a plurality of relationships among a plurality of code elements that are included in the program code and a plurality of program data elements, each program data element being at least one of produced by a first respective code element of the plurality of code elements or consumed by a second respective code element of the plurality of code elements; a store configured to store correspondence information that indicates which of the plurality of code elements corresponds to each behavior of the plurality of behaviors; determination logic configured to determine a subset of the plurality of behaviors that is to be altered by the one or more changes based on the correspondence information indicating that a subset of the plurality of code elements with respect to which the one or more changes occur corresponds to the subset of the plurality of behaviors; and recommendation logic configured to provide a recommendation that recommends inclusion of one or more functionalities in the testing based on each of the one or more functionalities being defined to test the machine code representation of the program code with regard to at least one behavior in the subset of the plurality of behaviors.