Predicting program execution times by analyzing static and dynamic program paths

This publication has 15 references indexed in Scilit:

• Real-time Concurrent C: A language for programming dynamic real-time systems
  Real-Time Systems, 1991
• Building a real-time kernel: First steps in validating a pure process/ADT model
  Software: Practice and Experience, 1991
• Automated software test data generation
  IEEE Transactions on Software Engineering, 1990
• State constraints and pathwise decomposition of programs
  IEEE Transactions on Software Engineering, 1990
• Cecil: a sequencing constraint language for automatic static analysis generation
  IEEE Transactions on Software Engineering, 1990
• Experiments with a program timing tool based on source-level timing schema
  1990
• Constrained expressions: Adding analysis capabilities to design methods for concurrent software systems
  IEEE Transactions on Software Engineering, 1986
• Procedure Call
  1981
• An axiomatic basis for computer programming
  Communications of the ACM, 1969
• Regular Expressions and State Graphs for Automata
  IEEE Transactions on Electronic Computers, 1960