SpecGen-Artifact

(★ 22)

The prototype tool of a JML generation technique (paper accepted in ICSE'25) for Java programs.

SpecGen-Artifact 최신버젼 다운로드

최종 버전 다운로드 (.zip)

오늘의 추천 프로젝트

grafana ★ 76,340

개방적이고 조합 가능한 관측 가능성 및 데이터 시각화 플랫폼입니다. Prometheus, Loki, Elasticsearch, InfluxDB, Postgres

TypeScript
tesseract ★ 76,082

Tesseract 오픈소스 OCR 엔진 (메인 저장소)

C++
puppeteer ★ 95,481

Chrome 및 Firefox를 위한 JavaScript API

TypeScript
free-for-dev ★ 132,878

devops 및 infradev 엔지니어들에게 유용한 무료 티어(Free Tier)를 제공하는 SaaS, PaaS, IaaS 서비스 목록입니다.

HTML
freeCodeCamp ★ 454,412

freeCodeCamp.org의 오픈소스 코드베이스와 커리큘럼입니다. 수학, 프로그래밍, 컴퓨터 과학을 무료로 배우세요.

TypeScript
svelte ★ 87,980

나머지 우리를 위한 웹 개발

JavaScript
// repository documentation