Software Open Access

Learning-based Controlled Concurrency Testing

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

BibTeX Export

@software{mukherjee_suvam_2020_4043041,
  author       = {Mukherjee, Suvam and
                  Deligiannis, Pantazis and
                  Biswas, Arpita and
                  Lal, Akash},
  title        = {Learning-based Controlled Concurrency Testing},
  month        = sep,
  year         = 2020,
  publisher    = {Zenodo},
  doi          = {10.5281/zenodo.4043041},
  url          = {https://doi.org/10.5281/zenodo.4043041}
}
881
284
views
downloads
All versions This version
Views 881881
Downloads 284284
Data volume 173.9 GB173.9 GB
Unique views 847847
Unique downloads 252252
More info on how stats are collected.
Indexed in
Publication date:
September 22, 2020
DOI:
10.5281/zenodo.4043041

Zenodo DOI Badge

DOI 

10.5281/zenodo.4043041

Markdown 

[![DOI](https://zenodo.org/badge/DOI/10.5281/zenodo.4043041.svg)](https://doi.org/10.5281/zenodo.4043041)

reStructedText 

.. image:: https://zenodo.org/badge/DOI/10.5281/zenodo.4043041.svg
   :target: https://doi.org/10.5281/zenodo.4043041

HTML 

<a href="https://doi.org/10.5281/zenodo.4043041"><img src="https://zenodo.org/badge/DOI/10.5281/zenodo.4043041.svg" alt="DOI"></a>

Image URL 

https://zenodo.org/badge/DOI/10.5281/zenodo.4043041.svg

Target URL 

https://doi.org/10.5281/zenodo.4043041

Keyword(s):
concurrency testing model checking reinforcement learning
License (for files):
Creative Commons Attribution 4.0 International

Versions

Version 1 10.5281/zenodo.4043041 Sep 22, 2020
Cite all versions? You can cite all versions by using the DOI 10.5281/zenodo.4043040. This DOI represents all versions, and will always resolve to the latest one. Read more.

Share

Cite as

Export