THE LIVING ARCHIVE

From punched cards to autonomous collaborators: the ideas, people, languages and systems that taught machines to follow—and increasingly interpret—human intent.

PAST / PRESENT / NEXT

Collection

Tag: symbolic-execution

The Minds Behind Symbolic Execution – 7 People Redefining Software

Seven researchers helped turn symbolic execution from a theoretical path-analysis idea into a practical engine for generating tests and finding deep software bugs.

↗