The symbolic execution of software

The symbolic execution of software1995
Details
- First published
- 1995
- OL Work ID
- OL12864078W
Subjects
Computer programsTestingCOBOL (Computer program language)Quality controlSoftware engineeringComputer softwareCase studiesComputer ScienceSystems analysis & designComputers - General InformationComputer science