-
Artifact For "Meminsight: Platform-Independent Memory Debugging For Javascript"
Artifact for FSE'15 paper "MemInsight: Platform-independent memory debugging for JavaScript". For instructions on how to use, see... -
Artifact for "Verifying Object Construction"
This is the replication package for the ICSE 2020 technical paper "Verifying Object Construction". See the file ~/icse2020-verifying-object-construction-aec/README.md...