AdaCore

150 W. 30th Street, 16th floor
New York, NY 10001
[email protected]
+1 212 620 7300
https://www.adacore.com/
AdaCore
Articles related to AdaCore
AI & Machine Learning

An AI on Embedded Safety & Security Vulnerabilities - Podcast

October 28, 2022

On this episode of Embedded Insiders, we’re joined by Paul Butcher, Senior Software Engineer at AdaCore, to discuss how AI can make fuzz testing even more robust through the integration of techniques like symbolic execution and input-to-state correspondence that optimize test data sets against scenarios a system might encounter in the real world

Security

Implementing AI in Fuzz Testing: A Q & A with Paul Butcher, Senior Software Engineer at AdaCore Ltd - Story

October 28, 2022

There are many challenges that come with AI testing in safety-critical applications, as well as a variety of processes that can be used to find and fix security vulnerabilities using AI. We interviewed Paul Butcher, Senior Software Engineer at AdaCore Ltd, to discuss the most common security vulnerabilities impacting today's developers when integrating AI and ML in testing processes like fuzz testing, and what solutions AdaCore provides to help combat these concerns.

Debug & Test

Embedded Toolbox: Fuzzing Out Bugs in Safety-Critical Embedded Software - Video

September 01, 2022

On average, software engineers spend 20-25 percent of the development lifecycle on testing, and potentially much more when working on safety-critical systems. The worst part may be that your standard unit tests aren’t able to provide 100% code coverage.

Software & OS

Embedded Executive: Quentin Ochem, Product Management Lead, AdaCore and Florian Gilcher, Managing Director, Ferrous Systems - Podcast

March 09, 2022

AdaCore is one of the leaders in the Ada programming language. Ada has been around for a long time, and is time tested.

Debug & Test

AdaCore Launches GNAT Dynamic Analysis Suite - News

February 23, 2022

AdaCore announced the availability of its new GNAT Dynamic Analysis Suite - a bundle of analysis, testing, verification, and code coverage technologies to help Ada developers build safe, secure software as well as meet internal security and quality procedures. 

Software & OS

Embedded Insiders: How Much Are You Willing to Pay for Bad Software? - Podcast

February 26, 2021

With time to market pressures constantly increasing, technology organizations are moving away from traditional waterfall development workflows and towards Agile/DevOps software development practices.

Debug & Test

Embedded Toolbox: Prove It! Proofs Start Where Static Analysis Stops - Blog

February 25, 2021

 

Static analysis tools are widely used in safety- and security-critical applications as a means of finding and remediating coding errors. In fact, they are the de facto software testing tool in these industries.