Skip to content
View yannicnoller's full-sized avatar

Organizations

@hub-se @javapathfinder @isstac @SymbolicPathFinder

Block or report yannicnoller

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

Resources on the Artifact Evaluation (AE) Process

16 1 Updated Jan 29, 2021

FLACOCO: Fault Localization for Java based on Industry-grade Coverage http://arxiv.org/pdf/2111.12513

Java 29 15 Updated Jan 31, 2025

Public release items for the DARPA Space/Time Analysis for Cybersecurity (STAC) program

Java 26 6 Updated Apr 18, 2018

AFL-based fuzzing for Java

Java 233 54 Updated Jan 26, 2020

Symbolic PathFinder

Java 135 92 Updated Oct 7, 2024