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 includes a list of behaviors for each code element of the plurality of code elements, each list of behaviors specifying each behavior of the plurality of behaviors that corresponds to the respective code element; 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 a subset of the lists of behaviors 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 to a user, the recommendation recommending one or more functionalities for selection by the user to be included 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.