Testing abstract behavioral specifications.

Peter Y. H. Wong Richard Bubel Frank S. de Boer Miguel Gómez-Zamalloa Stijn de Gouw Reiner Hähnle Karl Meinke Muddassar Azam Sindhu

Published in: Int. J. Softw. Tools Technol. Transf. (2015)

Keyphrases