COASTAL

0.0.3

Docs Blog Developers GitHub

Applications

Test generation
Bug detection
Reliability analysis
Performance analysis
Differential program analysis
Probabilistic programming
Program comprehension

Test generation

Coming soon.

Bug detection →

© 2017–2019 Computer Science
COASTAL is an open source tool released under Apache License, Version 2.0.

Docs

Overview Get started Get involved

Community

GitHub Slack channel Twitter Videos