{"id":23149903,"url":"https://github.com/leduyquang753/concolic-ts","last_synced_at":"2025-07-23T04:33:18.943Z","repository":{"id":267574678,"uuid":"820942201","full_name":"leduyquang753/concolic-ts","owner":"leduyquang753","description":"Automatic unit test data generation for TypeScript using concolic method.","archived":false,"fork":false,"pushed_at":"2024-12-20T12:34:17.000Z","size":297,"stargazers_count":0,"open_issues_count":0,"forks_count":0,"subscribers_count":1,"default_branch":"main","last_synced_at":"2025-04-04T14:44:27.549Z","etag":null,"topics":["concolic-testing","typescript","unit-testing"],"latest_commit_sha":null,"homepage":"","language":"TypeScript","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":null,"status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/leduyquang753.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":null,"code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null}},"created_at":"2024-06-27T13:40:01.000Z","updated_at":"2024-12-20T12:34:21.000Z","dependencies_parsed_at":"2025-04-04T14:42:04.668Z","dependency_job_id":"2ce0d101-f4e8-4f08-8f1b-93ee1d80b885","html_url":"https://github.com/leduyquang753/concolic-ts","commit_stats":null,"previous_names":["leduyquang753/concolic-ts"],"tags_count":0,"template":false,"template_full_name":null,"purl":"pkg:github/leduyquang753/concolic-ts","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leduyquang753%2Fconcolic-ts","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leduyquang753%2Fconcolic-ts/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leduyquang753%2Fconcolic-ts/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leduyquang753%2Fconcolic-ts/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/leduyquang753","download_url":"https://codeload.github.com/leduyquang753/concolic-ts/tar.gz/refs/heads/main","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/leduyquang753%2Fconcolic-ts/sbom","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":266618772,"owners_count":23957273,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","status":"online","status_checked_at":"2025-07-23T02:00:09.312Z","response_time":66,"last_error":null,"robots_txt_status":null,"robots_txt_updated_at":null,"robots_txt_url":"https://github.com/robots.txt","online":true,"can_crawl_api":true,"host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["concolic-testing","typescript","unit-testing"],"created_at":"2024-12-17T18:15:26.920Z","updated_at":"2025-07-23T04:33:18.909Z","avatar_url":"https://github.com/leduyquang753.png","language":"TypeScript","funding_links":[],"categories":[],"sub_categories":[],"readme":"# Concolic unit test data generation for TypeScript\n\nThis is an experimental tool for automatic generation of unit test inputs for TypeScript projects, developed as part of\nLê Duy Quang's university graduation thesis.\n\nCurrently, top-level functions using number, string and object types with fixed structures are supported, along with a\nselection of statement types (`if`, `while`, C-style `for`, `break`, `return`,...). Called functions can also be mocked\nby replacing their call expressions with injected return values.\n\nTo run, after installing dependencies, write the configuration file in `src/config.ts` based on the template provided in\n`src/config.ts.template`, then compile using `tsc`. Run the compiled `dist/server.js` file to start the tool along with\nits REST API.\n\nModified experiment projects from GitHub are placed in the `experiment-projects` branch. These projects are:\n\n- [`scottbedard/utils`](https://github.com/scottbedard/utils)\n- [`SavingTool/hmrc-income-tax`](https://github.com/SavingTool/hmrc-income-tax)\n- [`taxcalcs/taxjs`](https://github.com/taxcalcs/taxjs)","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fleduyquang753%2Fconcolic-ts","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fleduyquang753%2Fconcolic-ts","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fleduyquang753%2Fconcolic-ts/lists"}