Rafael-Baltazar/jmlcute Rafael-Baltazar/jmlcute

  • Stars
    star
    4
  • Rank 3,304,323 (Top 66 %)
  • Language
    Java
  • Created over 9 years ago
  • Updated about 9 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
Rafael-Baltazar/jmlcute
github

Rafael-Baltazar

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Generate unit test cases from Java files annotated with JML.

More Repositories

1

NLP-MP2-3

System that recognizes the language of a given text.
C++
1
star
2

rpg-first

Battle game for a command line interface.
Java
1
star
3

cpd

Parallel and distributed computing badass project.
C
1
star
4

PAva-Java-Inspector

The Java Inspector is a command line application to inspect Java code.
Java
1
star
5

Safety-Verification-for-C

Bounded model checker for C programs. Receives verification conditions as input and uses Microsoft's Z3 SMT Solver for constraint solving.
C++
1
star