Performance estimation using symbolic data

DOI10.1007/978-3-642-39698-4_21MaRDI QIDQ2842645zbMATH OpenOpenAlexFDO

Authors Jian Zhang

Publication date 16 August 2013

Published in Theories of Programming and Formal Methods (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-39698-4_21

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Searching and sorting (68P10)

Recommendations

• Symbolic execution: A semantic approach
• Efficient loop navigation for symbolic execution
• Concolic execution in functional programming by program instrumentation
• Symbolic execution formally explained
• scientific article; zbMATH DE number 5997244

Cites work

• A fast string searching algorithm
• scientific article; zbMATH DE number 432823 (Why is no real title available?)
• scientific article; zbMATH DE number 704893 (Why is no real title available?)
• Proof of a program
• Symbolic execution and program testing
• Volume Computation for Boolean Combination of Linear Arithmetic Constraints

Cited in

(1)

• Constraints in dynamic symbolic execution: bitvectors or integers?

Describes a project that uses

Uses Software

• Find
• GraphBase

This page was built for publication: Performance estimation using symbolic data

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2842645)