pansot2 Goto Github PK

addlinesautomatically

codeparser

codestructure

A structure to describe code dependencies

cortex-tool

Cortex -- Production-guided Concurrency Debugging

dejavu

A framework for generating tests based on your production bugs

eap-additional-testsuite

THE JBOSS TESTSUITE TO DEVELOP TESTS AGAINST INFINITE NUMBER OF JBOSS SERVERS

eclipse.jdt.core

JDT/Core project repository (eclipse.jdt.core)

fcrepo

Fedora Commons Repository Service (Current)

intermittentfaultdetectioncorrection

intermittentfaults

jacoco

:microscope: JaCoCo Java Code Coverage Library

jam-metrics

JAM-Metrics are created to facilitate the creation, record and monitoring of metrics for any deployment.

java-webserver

A simple multi-threaded web server written in Java and implementing the HTTP/1.1 specification.

jpf

jpf-core

Mirror of http://babelfish.arc.nasa.gov/hg/jpf/jpf-core on github

jpf-core-1

JPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to install it. It contains the basic VM and model checking infrastructure, and can be used to check for concurrency defects like deadlocks, and unhandled exceptions like NullPointerExceptions and AssertionErrors.

jpf-nhandler

nar-maven-plugin

Native ARchive plugin for Maven

narat

nikoladipl2

osv

OSv, a new operating system for the cloud.

padcms-backend

PadCMS - backend

symbiosis

Symbiosis - Concurrency Debugging via Differential Schedule Projections

z3

The Z3 Theorem Prover