September 22, 2020 Software Open Access

Mukherjee, Suvam; Deligiannis, Pantazis; Biswas, Arpita; Lal, Akash

JSON Export

{
  "files": [
    {
      "links": {
        "self": "https://zenodo.org/api/files/b2e7f775-09fc-4530-87ed-9eb969c09cdc/QL.ova"
      }, 
      "checksum": "md5:41b922ac44e4c060571a6bc72c0b843f", 
      "bucket": "b2e7f775-09fc-4530-87ed-9eb969c09cdc", 
      "key": "QL.ova", 
      "type": "ova", 
      "size": 5995935232
    }, 
    {
      "links": {
        "self": "https://zenodo.org/api/files/b2e7f775-09fc-4530-87ed-9eb969c09cdc/README.pdf"
      }, 
      "checksum": "md5:9a25c4f3621e1772582afd48f264c422", 
      "bucket": "b2e7f775-09fc-4530-87ed-9eb969c09cdc", 
      "key": "README.pdf", 
      "type": "pdf", 
      "size": 39170
    }
  ], 
  "owners": [
    139395
  ], 
  "doi": "10.5281/zenodo.4043041", 
  "stats": {
    "version_unique_downloads": 252.0, 
    "unique_views": 845.0, 
    "views": 879.0, 
    "version_views": 879.0, 
    "unique_downloads": 252.0, 
    "version_unique_views": 845.0, 
    "volume": 173892110078.0, 
    "version_downloads": 284.0, 
    "downloads": 284.0, 
    "version_volume": 173892110078.0
  }, 
  "links": {
    "doi": "https://doi.org/10.5281/zenodo.4043041", 
    "conceptdoi": "https://doi.org/10.5281/zenodo.4043040", 
    "bucket": "https://zenodo.org/api/files/b2e7f775-09fc-4530-87ed-9eb969c09cdc", 
    "conceptbadge": "https://zenodo.org/badge/doi/10.5281/zenodo.4043040.svg", 
    "html": "https://zenodo.org/record/4043041", 
    "latest_html": "https://zenodo.org/record/4043041", 
    "badge": "https://zenodo.org/badge/doi/10.5281/zenodo.4043041.svg", 
    "latest": "https://zenodo.org/api/records/4043041"
  }, 
  "conceptdoi": "10.5281/zenodo.4043040", 
  "created": "2020-09-28T04:56:57.991391+00:00", 
  "updated": "2020-09-28T12:26:56.941141+00:00", 
  "conceptrecid": "4043040", 
  "revision": 2, 
  "id": 4043041, 
  "metadata": {
    "access_right_category": "success", 
    "doi": "10.5281/zenodo.4043041", 
    "description": "<p>Concurrency bugs are notoriously hard to detect and reproduce. Controlled concurrency testing (CCT) techniques aim to offer a solution, where a&nbsp;<em>scheduler</em>&nbsp;explores the space of possible interleavings of a concurrent program looking for bugs. Since the set of possible interleavings is typically very large, these schedulers employ heuristics that prioritize the search to &quot;interesting&quot;&nbsp;subspaces. However, current heuristics are typically tuned to specific bug patterns, which limits their effectiveness in practice.</p>\n\n<p>In this artifact, we present QL, a learning-based CCT framework where the likelihood of an action being selected by the scheduler is influenced by earlier explorations. We leverage the classical Q-learning algorithm to explore the space of possible interleavings, allowing the exploration to adapt to the program under test, unlike previous techniques. We have implemented and evaluated QL&nbsp;on a set of microbenchmarks, complex protocols, as well as production cloud services. In our experiments, we found QL&nbsp;to consistently outperform the state-of-the-art in CCT.</p>\n\n<p>Please refer to the README file for more details on how to run the artifact.</p>", 
    "language": "eng", 
    "title": "Learning-based Controlled Concurrency Testing", 
    "license": {
      "id": "CC-BY-4.0"
    }, 
    "relations": {
      "version": [
        {
          "count": 1, 
          "index": 0, 
          "parent": {
            "pid_type": "recid", 
            "pid_value": "4043040"
          }, 
          "is_last": true, 
          "last_child": {
            "pid_type": "recid", 
            "pid_value": "4043041"
          }
        }
      ]
    }, 
    "keywords": [
      "concurrency", 
      "testing", 
      "model checking", 
      "reinforcement learning"
    ], 
    "publication_date": "2020-09-22", 
    "creators": [
      {
        "orcid": "0000-0002-9040-0053", 
        "affiliation": "Microsoft Research", 
        "name": "Mukherjee, Suvam"
      }, 
      {
        "orcid": "0000-0001-7582-4520", 
        "affiliation": "Microsoft Research", 
        "name": "Deligiannis, Pantazis"
      }, 
      {
        "orcid": "0000-0002-5720-013X", 
        "affiliation": "Indian Institute of Science", 
        "name": "Biswas, Arpita"
      }, 
      {
        "affiliation": "Microsoft Research", 
        "name": "Lal, Akash"
      }
    ], 
    "access_right": "open", 
    "resource_type": {
      "type": "software", 
      "title": "Software"
    }, 
    "related_identifiers": [
      {
        "scheme": "doi", 
        "identifier": "10.5281/zenodo.4043040", 
        "relation": "isVersionOf"
      }
    ]
  }
}