Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Sate Vi

Reproduction of the NIST SATE VI Ockham Track results with Frama-C/Eva (Juliet 1.3)
Stars
7
License
No license specified
Open Issues
0
Most Recent Commit
4 years ago
Programming Language
Shell
Categories
Repo
Alternatives To Sate Vi
Select To Compare
Puppeteer ⭐ 86,608
Node.js API for Chrome
dependent packages 15,686total releases 851most recent commit a month agonpm puppeteer} Downloads
Bitcoin ⭐ 73,537
Bitcoin Core integration/staging tree
total releases 2most recent commit 4 months ago
Hoppscotch ⭐ 59,845
👽 Open source API development ecosystem - https://hoppscotch.io
dependent packages 2total releases 11most recent commit a month agonpm @hoppscotch/cli} Downloads
Cypress ⭐ 45,684
Fast, easy and reliable testing for anything that runs in a browser.
dependent packages 6,143total releases 224most recent commit 4 months agonpm cypress} Downloads
Jest ⭐ 43,510
Delightful JavaScript Testing.
dependent packages 252,188total releases 352most recent commit a month agonpm jest} Downloads
Vault ⭐ 29,193
A tool for secrets management, encryption as a service, and privileged access management
dependent packages 2,141total releases 1,002most recent commit 4 months ago


Suggest An Alternative To SATE-VI
Popular Software Quality Categories
Testing
Code Coverage
Mock
Selenium
Jest
Tap
Mocha
Test Driven Development
Rspec
Junit

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Shell
Testing
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.