Published in
Elsevier, Journal of Systems and Software, (121), p. 281-297, 2016
DOI: 10.1016/j.jss.2016.03.020
Links
Tools
An Empirical Study to Quantify the Characteristics of Java Programs that May Influence Symbolic Execution from a Unit Testing Perspective
This paper was not found in any repository, but could be made available legally by the author.
Full text: Unavailable
Published version:
archiving forbidden
Data provided by 