News Publications Research Areas

Careers

GEM Fellowship India AI Research Fellowship Internships Full-Time Positions

People

Commun. ACM , 19(7), 385–394

Symbolic execution and program testing

February 15, 1976

J. King

Read Research Paper

News Publications Research Areas People

Careers Internships Full Time Positions India AI Fellowship GEM Fellowship

Products Downloads Learn & Support Terms of Use Privacy Cookies Copyright © 2026 Adobe. All rights reserved.