Skip to content
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
Open

Symbolic Execution for Concurrent Programs #20

FedericoAureliano opened this issue Jun 19, 2017 · 0 comments
Assignees
@enzet
Labels
add research SE

Comments

@FedericoAureliano
Copy link

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 enzet self-assigned this Jul 19, 2017
@enzet enzet added the SE label Dec 27, 2017
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@enzet enzet

Labels
add research SE
Projects
Project support
Status: No status
Milestone
No milestone
Development

No branches or pull requests
2 participants
@enzet @FedericoAureliano