majakusber

@diffblue

Pinned Repositories

cbmc
C Bounded Model Checker
Language:C++00
cover-github-action
GitHub Action for running Diffblue Cover from a GitHub Actions workflow
Language:TypeScript00
spring-master-class
Udemy - in28minutes / spring-master-class
Language:Java00
cbmc
C Bounded Model Checker
Language:C++827260
cover-github-action
GitHub Action for running Diffblue Cover from a GitHub Actions workflow
Language:TypeScript262
java-demo
Demonstration project for Java analysis
Language:Java1428
ecommerce-demo
An e-commerce Java Spring demo project
Language:Java89
cover-annotations
Cover Annotations
Language:Java30
deeptest-utils
Maven package for executing tests created by Diffblue Cover
Language:Java30
TicTacToe
Example Project for E-Book Tutorial
Language:Java01

majakusber's Repositories

majakusber/cover-github-action
GitHub Action for running Diffblue Cover from a GitHub Actions workflow
majakusber/spring-master-class
Udemy - in28minutes / spring-master-class
Language:Java
majakusber/cbmc
C Bounded Model Checker
Language:C++