What is a Valuable Input for Software Testing
Recently I spent some time reading the papers that describe the input synthesis. The idea is from the paper "Synthesizing Racy Tests" from PLDI'15. As I am designing the bug detection tool, we always assume we already have the input that can trigger the bug. It looks strange that why not just run the program under the buggy input to expose the bug. The reason is that the hardest part in software is nondeterminism. Even under the buggy input, the bug is not guaranteed to occur every time. Another thing is that the automated detection toolchain has three part: input generation, detection, and validation. I found that now the validation part begins to move the detection in order to make the tool more solid. And I feel it could be a trend that the detection move to the input generation part. Because the input generation has a lot of information that is useful for detection. The input analysis makes the detection more intelligent. After reading several input synthesis