製品のクラッシュや誤動作、セキュリティ脆弱性の原因などにつながるソフトウェア不具合を、開発段階で自動検出するテストソリューションを手掛けるコベリティ。「第16回 組込みシステム開発技術展（ESEC2013）」では、強健な製品を予定通りに出荷するために役立つソリューションを展示する。