Requirement-Based Automated Black-Box Test Generation.

Luay Ho Tahat, Atef Bader, Boris Vaysburg, Bogdan Korel

Browse the full COMPSAC paper archive.