LATTE: An Object-based OracLe Framework for LineArizbility Testing of Multi-threaded SoftwarE

Project: Research

Research Output

  1. 2016
  2. Published

    To What Extent is Stress Testing of Android TV Applications Automated in Industrial Environments?

    Jiang, B., Chen, P., Chan, W. K. & Zhang, X., 1 Sep 2016, In: IEEE Transactions on Reliability. 65, 3, p. 1223-1239 7298477.

    Research output: Journal Publications and Reviews (RGC: 21, 22, 62)21_Publication in refereed journalpeer-review

    Scopus citations: 5