Quantifying the Characteristics of Java Programs That May Influence Symbolic Execution from a Test Data Generation Perspective

Marcelo Medeiros Eler, André Takeshi Endo, Vinicius H. S. Durelli. Quantifying the Characteristics of Java Programs That May Influence Symbolic Execution from a Test Data Generation Perspective. In IEEE 38th Annual Computer Software and Applications Conference, COMPSAC 2014, Vasteras, Sweden, July 21-25, 2014. pages 181-190, IEEE, 2014. [doi]

Abstract

Abstract is missing.