The Qualified Function Approach to Analysis of Program Behavior and Performance

DOI10.1109/TSE.1985.232525zbMath0563.68011OpenAlexW2048270564MaRDI QIDQ3677147

A. Gabrielian, David J. Trawick, Lawrence P. McNamee

Publication date: 1985

Published in: IEEE Transactions on Software Engineering (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1109/tse.1985.232525

zbMATH Keywords

performance evaluationsymbolic executionsymbolic evaluationprogram behaviorprogram execution times

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication: The Qualified Function Approach to Analysis of Program Behavior and Performance