Optimal context-sensitive dynamic partial order reduction with observers

  1. Albert, E.
  2. De La Banda, M.G.
  3. Gómez-Zamalloa, M.
  4. Isabel, M.
  5. Stuckey, P.J.
Aktak:
ISSTA 2019 - Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis

ISBN: 9781450362245

Argitalpen urtea: 2019

Orrialdeak: 318-328

Mota: Biltzar ekarpena

DOI: 10.1145/3293882.3330565 GOOGLE SCHOLAR
Datuen iturria: Scopus