Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / sim642 / bsc-thesis
Abstraktsete domeenide omaduspõhine testimine (Property-based Testing of Abstract Domains)
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/sim642%2Fbsc-thesis
Stars: 0
Forks: 0
Open Issues: 0
License: None
Language: TeX
Repo Size: 7.31 MB
Dependencies: pending
Created: over 6 years ago
Updated: about 1 month ago
Last pushed: almost 6 years ago
Last synced: about 1 month ago
Topics: abstract-domain, abstract-interpretation, bachelor-thesis, bsc-thesis, data-flow-analysis, estonian, estonian-language, property-based-testing, static-analysis, static-code-analysis, thesis, thesis-paper