A Testing Tool for Web Applications Using a Domain-Specific Modelling Language and the NuSMV Model Checker.

Arne-Michael Trsel

Browse the full ICST paper archive.