Testing the results of static worst-case execution-time analysis
- 27 November 2002
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- Vol. 220, 134-143
- https://doi.org/10.1109/real.1998.739738
Abstract
No abstract availableKeywords
This publication has 19 references indexed in Scilit:
- Cache modeling for real-time software: beyond direct mapped instruction cachesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Supporting the specification and analysis of timing constraintsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- A comparison of static analysis and evolutionary testing for the verification of timing constraintsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Integrating the timing analysis of pipelining and instruction cachingPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Testing real-time systems using genetic algorithmsSoftware Quality Journal, 1997
- A user's guide to tabu searchAnnals of Operations Research, 1993
- Automated software test data generationIEEE Transactions on Software Engineering, 1990
- Real-Time Euclid: A language for reliable real-time systemsIEEE Transactions on Software Engineering, 1986
- Optimization by Simulated AnnealingScience, 1983
- Automatic Generation of Floating-Point Test DataIEEE Transactions on Software Engineering, 1976