Simple Purchase Management to demonstrate TDD and CI/CD tecniques.

This software manages a library's books, sales, and inventory with a 3level user system: Librarian, Manager, and Administrator. It tracks purchases, sales, and employee performance, while the Administrator manages employee data and access levels. Data is stored in binary and text files and a database, using proper object-oriented design.

Software Testing Project . ITSS Course, Uniba A.A. 2023/2024

unit testing your setters, getters, adders, removers, issers and whatevers

A tech lab

Java API for working with UPPAAL model files

🎓💻Software Testing Course Computer Assignment 5 - Fall 2022

In this workshop we will start with V8 from scratch and will go strait forward to the industrial parts of an project. You will learn how to work with Vaadin, how to test your app and much more.

Prototype CLI tool to perform MBMT between Networks of Timed Automata

Calcular a cobertura de nós (comandos) e arestas das classes do projeto FullTeaching considerando os casos de teste criados nos exercícios anteriores com uma ferramenta de cobertura (ex. Eclemma/ JaCoCo). Enviar print com os resultados da cobertura Criar casos de teste para conseguir ao menos 100% cobertura das classes consideradas nos exercício…

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

Condition seeding patterns (with masking) used in mBERT-nt.

Mutation and Property-Based Testing combined using .NET Core

A mutation library written in Rust

Mutation test example with pitest

Rust template that contains automatic benchmarking, automatic mutation testing, automatic fuzz testing.

Gilded Rose Kata (Java) - Achieved 100% code & mutation coverage using JUnit, JaCoCo, and PITest for a Software Quality and Testing course.

Mutation Testing workshop - Software Quality Days Vienna 2019

mutation testing for Leiningen projects