Turning web services descriptions into quickcheck models for automatic testing
Miguel Ángel Francisco, Macías López, Henrique Ferreiro, Laura M. Castro · 2013
In this work, we face the problem of generating good quality test suites and test cases for web services. We present a framework to test web services based on their formal description, following a black-box approach and using Property-Based Testing.