At the core, the tool allows users (developers/testers) to load a web-service description and select variables interesting for testing. Users will also supply or construct a model describing the correct outcomes. With this information, the tool executes tests for all combinations of input parameters, and compares outcomes with the known good values. Based on this, a report is generated.