Checking the Behavioral Conformance of Web Services with Symbolic Testing and an SMT Solver.

Lina Bentakouk, Pascal Poizat, Fatiha Zadi

Browse the full TAP paper archive.