System and Method for Program State Relevancy Assessment
AssigneeDiffblue Ltd
InventorsPaul Crane, Johannes Kloos, Romain Brenguier
Life of this patent
Estimating the term…
Loading patent…
AssigneeDiffblue Ltd
InventorsPaul Crane, Johannes Kloos, Romain Brenguier
Estimating the term…
A method comprising identifying, by one or more processors, a plurality of sets of input values for one or more input parameters of a first code block; processing, by the one or more processors, the first code block in accordance with each of the plurality of sets of input values thereby generating a plurality of program states; analysing, by the one or more processors, the plurality of program states to identify a relevant program state generated according to one or more sets of input values of the plurality of sets of input values; and causing, by the one or more processors, an action in relation to the first code block to be executed based on the relevant program state and/or the one or more sets of input values
A method comprising:
A device comprising one or more processors and a memory storing instructions which, when executed by the one or more processors, cause the one or more processors to:
A non-transitory computer readable medium storing instructions which, when executed by one or more processors, cause the one or more processors to:
Dependencies are inferred from the claim text.