JBMC was victorious at the International Competition on Software Verification at ETAPS 2019 in Prague.
Fuzzing technology is still massively underused today, even in mature projects. Fortunately, there is a growing research community behind it. Large organizations have understood its benefits and are backing this effort, which is exciting to see.
Learn about Diffblue Microservice Testing, a Diffblue Labs product that automatically generates regression tests for service and microservice applications. In this post we highlight some exciting early test results.