New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Symbolic Execution for Concurrent Programs #20

Open

FedericoAureliano opened this issue Jun 19, 2017 · 0 comments

Assignees

Labels

add research SE

FedericoAureliano commented Jun 19, 2017

ConCrest (or just Crest https://www.burn.im/crest/)

Farzan, Azadeh, et al. "Con2colic testing." Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering. ACM, 2013.

Cortex (https://github.com/nunomachado/cortex-tool)

Machado, Nuno, Brandon Lucia, and Luís Rodrigues. "Production-guided concurrency debugging." Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming. ACM, 2016.

Conc-iSE

Guo, Shengjian, Markus Kusano, and Chao Wang. "Conc-iSE: Incremental symbolic execution of concurrent software." Automated Software Engineering (ASE), 2016 31st IEEE/ACM International Conference on. IEEE, 2016.

enzet self-assigned this

enzet added research add labels

enzet added the SE label

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment