All Stories

  1. Verification of railway network models with EVEREST

    Article • October 2022, ACM (Association for Computing Machinery)

    José C. Campos

  2. Systematic automation of scenario-based testing of user interfaces

    Article • June 2016, ACM (Association for Computing Machinery)

    José C. Campos, Philippe Palanque

  3. The Modelery: a model-based software development repository

    Article • International Journal of Web Information Systems, June 2015, Emerald

    José C. Campos