Humboldt-Universität zu Berlin | Mathematisch-Naturwissenschaftliche Fakultät | Institut für Informatik | Software Engineering | Lehre | Bachelor- und Masterarbeiten | BachelorThesis-Automated Test Case Generation with Symbolic Execution for Regression Testing.pdf BachelorThesis-Automated Test Case Generation with Symbolic Execution for Regression Testing.pdf BachelorThesis-Automated Test Case Generation with Symbolic Execution for Regression Testing.pdf — 278.1 KB