State of the art mutation testing system for the JVM

A curated list of papers, theses, datasets, and tools related to the application of Machine Learning for Software Engineering

SFI verifier of Wasm binaries

Java Bounded Model Checker

Crucible is a library for symbolic simulation of imperative programs

An LLVM-based formal verification frontend for C programs.

Release snapshots of the Frama-C platform for source code analysis

The efficient SMT-based context-bounded model checker (ESBMC)

A Hybrid Verification Tool for Finding Software Vulnerabilities in IoT Cryptographic Protocols

DIVINE model checker git mirror, https://divine.fi.muni.cz. This is a read-only mirror of the main darcs repository. Issues should be reported using https://divine.fi.muni.cz/trac/report/1. Pull re…

A verification tool for many memory models

CPAchecker, the Configurable Software-Verification Platform (read-only mirror)

C Bounded Model Checker

BRICK: A Verifier for C code

Static Analyzer and Verifier

Code for the paper "Embedding Java Classes with code2vec: Improvements from Variable Obfuscation" in MSR 2020

TensorFlow code for the neural network presented in the paper: "code2vec: Learning Distributed Representations of Code"

Satune: A Study-Driven Auto-Tuning Approach for Configurable Software Verification Tools

Texas DPS/DMV Automatic Scheduler

T.J. Watson Libraries for Analysis, with frontends for Java, Android, and JavaScript, and may common static program analyses

Solutions to all questions of the book Introduction to the Theory of Computation, 3rd edition by Michael Sipser

REST implementation of Django authentication system.

Web APIs for Django. 🎸

Developer Career Roadmap

JsonWebToken implementation for node.js http://self-issued.info/docs/draft-ietf-oauth-json-web-token.html

Working with Data and APIs in JavaScript