Automated compatibility testing method for software logic by using symbolic execution.

Keiji Uetsuki, Kazuhiko Tsuda, Tohru Matsuodani

Browse the full ICST paper archive.