Tag Archives: PROWESS

  • Laura M Castro – Making property based testing easier (Lambda Days 2016)
    2016-03-10 Erlang Central

    Videos



    Slides and more info: http://www.lambdadays.org/lambdadays2016/laura-m-castro Software stakeholders who do not have a technical profile (i.e. users, clients) but do want to take part in the development and/or quality assurance process of software, have an unmet need for communication on what is being tested during the development life-cycle. The transformation of test properties and models into semi-natural language representations is one way of responding to such need. Our research has demo ...


    Read more


  • John Derrick – PROWESS: Property-Based Testing for Web Services – Erlang User Group 2015
    2015-07-29 Erlang Central

    Videos



    Slides and more info: http://www.erlang-factory.com/euc2015/john-derrick This presentation will provide an overview of the PROWESS project, that has spent the last three years applying Property-Based Testing to web services, funded by the EU. Using a case study of the VoDKATV system from Interoud Innovation, wel will give an overview of how each of the PROWESS tools fits into the overall process of testing web services, as well as showing how QuickCheck is used in such a case. Talk objective ...


    Read more