Log-based software monitoring