Proceedings of the 1994 international symposium on Software testing and analysis - ISSTA '94 Journal