| CARVIEW |
Select Language
HTTP/2 302
content-type: text/html; charset=utf-8
location: //fmv.jku.at/fuzzasp/
vary: Origin
x-request-id: 01KF81B1XXQWJYP0FDHMT67G7P
content-length: 44
date: Sun, 18 Jan 2026 07:50:30 GMT
HTTP/2 200
accept-ranges: bytes
cache-control: max-age=600
content-type: text/html; charset=utf-8
etag: "6eb996eab52cf1ece84e8bcdf0c9098455aa98f8d4214cdc612732cacd3708a8"
expires: Sun, 18 Jan 2026 09:00:30 CET
last-modified: Thu, 25 Sep 2025 14:38:37 GMT
vary: Origin
x-request-id: 01KF81B22FNE4R03ZJ4RJ4TW3S
content-length: 5777
date: Sun, 18 Jan 2026 07:50:30 GMT
FuzzASP
|
team
|
FuzzASPFuzzASP is a grammar-based blackbox fuzzer that generates random answer set programs. It can be used to to fuzz-test answer set solvers and to generate benchmarks. The supported format is the lparse format. FuzzASP was written in Python 2. See the README for more information about FuzzASP. DownloadLicenseWe use the GPL license version 3. The license can be found in the file COPYING which comes with the tool. |
