Vorobyov, Kostyantyn; Krishnan, Padmanabhan (2012). [IEEE 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation (ICST) - Montreal, QC, Canada (2012.04.17-2012.04.21)] 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation - Combining Static Analysis and Constraint Solving for Automatic Test Case Generation. , (), 915–920.
doi:10.1109/icst.2012.196
url to share this paper:
An interview with Sci-Hub Founder Alexandra Elbakyan Who exactly should pay for academic research