A Formal Constraint-Based Method for Detecting Gaps in Input Validation Test Suites.

Oleksandr Kolchyn, Daria Rudenko

Browse the full ICCSA paper archive.