Proceedings of the 19th international symposium on Software testing and analysis