Publications in collaboration with researchers from Chalmers University of Technology (3)

2019

  1. Live studies at REFSQ 2019

    CEUR Workshop Proceedings

2011

  1. Model-based testing of data types with side effects

    Erlang'11 - Proceedings of the 2011 ACM SIGPLAN Erlang Workshop

  2. Testing data consistency of data-intensive applications using quickcheck

    Electronic Notes in Theoretical Computer Science, Vol. 271, Núm. 1, pp. 41-62