-
@lip6 (CNRS & Sorbonne Universitรฉ)
- Paris
Highlights
- Pro
Block or Report
Block or report romainvacheret
Contact GitHub support about this userโs behavior. Learn more about reporting abuse.
Report abuseLists (13)
Sort Name ascending (A-Z)
Stars
Language: Java
Sort by: Most stars
Desktop/Android/HTML5/iOS Java game development framework
ANTLR (ANother Tool for Language Recognition) is a powerful parser generator for reading, processing, executing, or translating structured text or binary files.
SpotBugs is FindBugs' successor. A tool for static analysis to look for bugs in Java code.
jgrapht / jgrapht
Forked from lingeringsocket/jgraphtMaster repository for the JGraphT project
MARY TTS -- an open-source, multilingual text-to-speech synthesis system written in pure java
State of the art mutation testing system for the JVM
Py4J enables Python programs to dynamically access arbitrary Java objects
EvoSuite - automated generation of JUnit test suites for Java classes
Software development bots for Github. Join the bot revolution! ๐๐ค๐๐
Generic (Java FX) Graph Visualization Library
SecHub provides a central API to test software with different security tools.
Automatic program repair for Java with generate-and-validate techniques โ๏ธโ๏ธ: jGenProg (2014) - jMutRepair (2016) - jKali (2016) - DeepRepair (2017) - Cardumen (2018) - 3sfix (2018)
Automatically fix programs by leveraging existing patches from other projects and similar code snippets from the faulty project.
Language Server for SonarLint VSCode
A High-performance, High-extensibility and High-portability APR System
FLACOCO: Fault Localization for Java based on Industry-grade Coverage
AVATAR: Fixing Semantic Bugs with Fix Patterns of Static Analysis Violations
BLIA is a statically integrated analysis approach of IR-based bug localization by utilizing texts and stack traces in bug reports, structured information of source files, and source code change hisโฆ
Open-science code of the program repair tool described in "Dynamic Patch Generation for Null Pointer Exceptions Using Metaprogramming" (SANER'17)