An empirical study to quantify the characteristics of Java programs that may influence symbolic execution from a unit testing perspective

Autor: Eler, Marcelo M., Endo, Andre T., Durelli, Vinicius H.S.
Zdroj: In The Journal of Systems & Software November 2016 121:281-297
Databáze: ScienceDirect