STAMP-project/dspot

Static program analysis to find test input values

andrewbwogi opened this issue · 0 comments

Characteristics

Description

Currently DSpot depends on existing test input for input modification. One way to create original test input is to search the program and collect method argument values that have a static definition. These definitions can then be used to set argument values to the same methods in the test input. The intuition is that this would increase the probability of method behaviour closer to its behaviour when the program is running in production.