Quantifying the Characteristics of Java Programs That May Influence Symbolic Execution from a Test Data Generation Perspective | IEEE Conference Publication | IEEE Xplore