Inclusion of foundational Symbolic Execution research
zv opened this issue · 4 comments
Some extend the honor of "first" to a symbolic execution program called EFFIGY (1976) . Others acknowledge a program called SELECT (1976).
Both would be great additions who also contain bibliographies with lots of references to earlier work in program verification (most notably the verification of avionics in the United States Air Force - a kind of proto-cyberwarfare fear that the Russians, known for their technical prowess, could "hack" airplanes).
It's unclear how you might combine more modern innovations like "VSIDS", but it would be fantastic to see such a thing as well.
Thanks for putting this together!!
Symbolic Execution and Program Testing by J. C. King is already on the diagram. And I don't know how could I have missed SELECT paper. I should definitely add it and better investigate their bibliographies.
As for VSIDS, I'm not pretty familiar with it and need some time for research.
Thanks a lot for the suggestions! And special thanks for the “technical prowess” from Russian :-)
I didn't even see the reference to the EFFIGY paper, thank you!
Add A System to Generate Test Data and Symbolically Execute Programs.
@zhangysh1995 Why confused emoji?