Concept: Software bug
I Can SE Clearly Now: Investigating the Effectiveness of GUI-based Symbolic Execution for Software Vulnerability Discovery
How interface design affects expert vulnerability discovery using symbolic execution tools

Support Vector Machine and Random Forest led software fault prediction
Recent advances in predicting software bugs to improve quality and reliability




