×

Symbolic execution and program testing. (English) Zbl 0329.68018


MSC:

68N01 General topics in the theory of software
68W30 Symbolic computation and algebraic computation
68T15 Theorem proving (deduction, resolution, etc.) (MSC2010)
PDF BibTeX XML Cite
Full Text: DOI