randoop

Software Analysis Course Study (Build With Gradle or Maven). course materials: notes, two assignments projects, reading reports. technologies included: randoop, soot, janala, gzoltar

A simple benchmark comparing two popular automatic test generation tools

A tool for extracting literal values from Java source code for use by Randoop test generator

Randoop-based automated test generation for Go-to-Java translated data structures (List & AVL Tree) with repOK invariants. Includes coverage analysis and debugging guide.

Parking Server: Meticulously crafted with UML-designed graphical user interface (GUI), flexible customer rates, and streamlined admin approval workflows. Underwent comprehensive testing with EvoSuite and Randoop, showcasing not only Java proficiency but also a commitment to robust software design practices and user-centered solutions.

Module that connects a llm repOK generator with a randoop verifier to generate representation invariants for Java classes.

Software Engineering-EECS3311 Presents country data's with several type of charts and years.

Software testing course project

A simple framework to run Randoop or EvoSuite to generate tests, JaCoCo to measure coverage, and other scripts to run EvoSuite and Randoop (soon) for a whole benchmark.

Projeto utilizado no TCC para estudo de ferramentas de geração automática de suites de testes automatizados

A Unix-like bash shell and several relevant applications are designed and implemented to simulate the behaviour of Bash shell in GNU/Linux and Mac OS.

Eleventh assignment for Software Engineering course @USI19/20.

Assignments and projects from the Software Testing offered at the University of Tehran.

Judy-generator tool experiment for master-thesis

Here are the source codes for List.java and AvlTree.java translated from Go