Performance Estimation Using Symbolic Data

DOI10.1007/978-3-642-39698-4_21zbMath1390.68191OpenAlexW134187840MaRDI QIDQ2842645

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

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

Uses Software

• GraphBase
• Find

Cites Work

• Unnamed Item
• Unnamed Item
• A fast string searching algorithm
• Symbolic execution and program testing
• Volume Computation for Boolean Combination of Linear Arithmetic Constraints
• Proof of a program

This page was built for publication: Performance Estimation Using Symbolic Data