A comparison of static analysis and evolutionary testing for the verification of timing constraints

This publication has 15 references indexed in Scilit:

• SMART (strategic memory allocation for real-time) cache design
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Cache modeling for real-time software: beyond direct mapped instruction caches
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• OS-controlled cache predictability for real-time systems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Integrating the timing analysis of pipelining and instruction caching
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Bounding worst-case instruction cache performance
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1994
• Classification trees for partition testing
  Software Testing, Verification and Reliability, 1993
• Predicting program execution times by analyzing static and dynamic program paths
  Real-Time Systems, 1993
• Predictive Models for the Breeder Genetic Algorithm I. Continuous Parameter Optimization
  Evolutionary Computation, 1993
• Calculating the maximum execution time of real-time programs
  Real-Time Systems, 1989
• A portable global optimizer and linker
  Published by Association for Computing Machinery (ACM) ,1988