Hardware emulation to debug embedded system software

Lauro Rizzatti

February 10, 2016

Use Benchmarks to Assess Static Analysis Tools

Paul Anderson

December 22, 2015

Scenes from Embedded World 2015 - Matteo Bordin, AdaCore

OpenSystems Media

February 26, 2015

Embedded World Preview: Test and analysis

Rory Dear

February 13, 2015

Static analysis-enabled advanced program visualization eases the development process

OpenSystems Media

May 1, 2013

Advanced static analysis meets contract-based programming

OpenSystems Media

March 1, 2013

Getting down to business: Leveraging the right static analysis

OpenSystems Media

March 1, 2013

Static analysis helps manage risk in Java

OpenSystems Media

March 1, 2013

The value of usability: Getting developers to 'push the button' on static analysis - Q&A with Gwyn Fisher, CTO, Klocwork

OpenSystems Media

March 1, 2012

Pitfalls of multicore software: Why data races are never benign

OpenSystems Media

March 1, 2012

Integrating error-detection techniques to find more bugs in embedded C software

OpenSystems Media

November 1, 2011

Test-Driven Development: Designing high quality from the start

July 1, 2008

Feeling secure

Jerry Gipper

July 1, 2008

Virtual hardware platforms: Productivity-proven for software development

May 1, 2008

Improving reliability and security by analyzing executables

GrammaTech

April 1, 2008