Automated detection of anomalies in software behaviour