Nikolas Havrikov's repositories
covering-input-structure
Replication package for the paper "Systematically Covering Input Structure" published at ASE 2019
text-processing-java-projects
A collection of java applications that process structured text inputs.
mexcounter
A simple java agent that counts method executions
codeine
Associating input coverage to code coverage for targeted fuzzing
Language:Python000
kotlin-java-annotation-issue
This project reproduces this issue in the Kotlin compiler: https://youtrack.jetbrains.com/issue/KT-43422
kotlin-scala-interop-issue
This project demonstrates an issue I found with Kotlin-Scala interop