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

Machine Learning Approaches in Software Fault Prediction: A Review
Recent advances in predicting software bugs to improve quality and reliability




