Similar to SPINモデルチェッカ

TargetLink

TestNG

Visual Studio Application Lifecycle Management

XEmacs

XPages

XUnit

Yarn (package manager)

In-circuit emulation

In-system programming

Valgrind

Widget toolkit

Machine code monitor

Disassembler

GNAT

Kross (software)

Compiler

Compiler generator

Computer-aided software engineering

Reproducible builds