Return to Issue Details Information Technology for Automated Detection of Software Faults Based on Formalized Projection of Execution Trajectories and Integration of Logs and Metrics Download Download PDF