Adobe Research
People
Research
Publications
News
Careers
Programs
Videos
About
Search
Publications
Research Area
AI & Machine Learning
AR, VR & 360 Photography
Audio
Computer Vision, Imaging & Video
Conferences
Content Intelligence
Data Intelligence
Document Intelligence
Graphics (2D & 3D)
Human Computer Interaction
Intelligent Agents & Assistants
Natural Language Processing
Researcher Spotlights
Systems & Languages
Year
2025
2024
2023
2022
2021
2020
2019
2018
2017
2016
2015
2014
2013
2012
2011
2010
2009
2008
2007
2006
2005
2004
2003
2002
2001
2000
1999
1998
1997
1996
1995
1994
1993
1992
1991
1990
1989
1988
1987
1986
1981
1980
1976
Publication date: February 15, 1976
Symbolic execution and program testing
Commun. ACM , 19(7), 385–394
J. King
1
…
112
113
114
115
