Keiji Uetsuki, Kazuhiko Tsuda, Tohru Matsuodani. Automated compatibility testing method for software logic by using symbolic execution. In Eighth IEEE International Conference on Software Testing, Verification and Validation, ICST 2015 Workshops, Graz, Austria, April 13-17, 2015. pages 1-6, IEEE Computer Society, 2015. [doi]
Abstract is missing.