cuter-testing/cuter
A concolic testing tool for the Erlang functional programming language.
ErlangGPL-3.0
Stargazers
- aerosol@plausible
- andytillUnited Kingdom
- aronisstav@esl
- arpunk@esl
- asabil@kopera
- BahaUniversitat Politècnica de València
- chinnurtb
- darachSquircle Systems Ltd
- DavidTheBugWriter
- dotdister
- evnu
- iurifq@aws
- jamesaimonetti@2600hz
- jj1bdxKRPEO
- joseluisdiaz@auth0
- kanyukaaa
- kaosSvenska Spel
- lemonidasGreece
- mcherepMassachusetts Institute of Technology
- mooreniemiBoston, MA
- nickgianAWS
- paulcsmithGitHub
- peqGermany
- puzza007Auckland
- StoneCypherCrunchy Development
- TheGeorgeWhatsApp
- tokenrove
- voilaDunedin, NZ
- windkit
- xandkarNew Hampshire, USA
- yiannistAthens, Greece
- yurrriq@sportradar
- zeeshanlakhaniPapers We Love | Oxide Computer Company | CMU
- ZiTsiAthens, Greece
- zoepEthereum Foundation
- zphhttps://twitter.com/_zph