Open in app

Sign in

Write

Sign in

Assertions are not Exceptions!!
36
1

Alair Dias Junior

Diffblue
1 min readAug 22, 2019

--

Great article! We’re an AI startup and we use bounded model checking in the product we’ve been developing, a tool that automatically generates tests for Java code

--

--

Diffblue
Diffblue

Written by Diffblue

359 Followers
1.3K Following

Diffblue Cover is an AI agent for automating the generation, maintenance and management of java unit tests in the IDE and CI Pipelines.

Responses (1)

Help

Status

About

Careers

Press

Blog

Privacy

Terms

Text to speech

Teams