Machine Learning for Dynamic Software Analysis: Potentials and Limits

Machine learning of software artefacts is an emerging area of interaction between the machine learning and software analysis communities. These require new software analysis techniques based on machine learning, such as learning-based software testing, invariant generation or code synthesis.