References

  1. Peter Altenbernd, Andreas Ermedahl, B Lisper & Jan Gustafsson (2011): Automatic Generation of Timing Models for Timing Analysis of High-Level Code.. In: 19th International Conference on Real-Time and Network Systems (RTNS).
  2. G Bernat, A Colin & S M Petters (2002): WCET Analysis of Probabilistic Hard Real-Time Systems. Proc 23rd IEEE RealTime Systems Symposium RTSS 2002, pp. 279–288, doi:10.1109/REAL.2002.1181582.
  3. J. Fredriksson, T. Nolte, M. Nolin & H. Schmidt (2007): Contract-Based Reusable Worst-Case Execution Time Estimate. In: Embedded and Real-Time Computing Systems and Applications, 2007. RTCSA 2007. 13th IEEE International Conference on, pp. 39–46.
  4. Patrice Godefroid (2013): Micro Execution. Technical Report. Microsoft Research.
  5. Patrice Godefroid, Nils Klarlund & Koushik Sen (2005): DART: Directed Automated Random Testing. In: Proceedings of the 2005 ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI '05. ACM, New York, NY, USA, pp. 213–223, doi:10.1145/1065010.1065036.
  6. T. Harmon, M. Schoeberl, R. Kirner, R. Klefstad, K.H.K. Kim & M.R. Lowry (2012): Fast, Interactive Worst-Case Execution Time Analysis With Back-Annotation. Industrial Informatics, IEEE Transactions on 8(2), pp. 366–377, doi:10.1109/TII.2012.2187457.
  7. Y.-T.S. Li & S. Malik (1997): Performance Analysis of Embedded Software using Implicit Path Enumeration. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 16, doi:10.1109/43.664229.
  8. IBY Lu, Thomas Nolte, I Bate & L Cucu-Grosjean (2012): A statistical response-time analysis of real-time embedded systems. IEEE Real-Time Systems, doi:10.1109/RTSS.2012.85.
  9. Thomas Lundqvist & Per Stenström (1999): An Integrated Path and Timing Analysis Method based on Cycle-Level Symbolic Execution. Real-Time Systems 17(2-3), pp. 183–207, doi:10.1023/A:1008138407139.
  10. Barton P. Miller & Andrew R. Bernat (2011): Anywhere, Any Time Binary Instrumentation. In: ACM SIGPLAN-SIGSOFT workshop on Program Analysis for Software Tools and Engineering (PASTE), Szeged, Hungary, doi:10.1145/2024569.2024572.
  11. Carlos Pacheco & Michael D. Ernst (2007): Randoop: Feedback-directed Random Testing for Java. In: Companion to the 22Nd ACM SIGPLAN Conference on Object-oriented Programming Systems and Applications Companion, OOPSLA '07. ACM, New York, NY, USA, pp. 815–816, doi:10.1145/1297846.1297902.
  12. Andreas Sæbjørnsen, Jeremiah Willcock, Thomas Panas, Daniel Quinlan & Zhendong Su (2009): Detecting Code Clones in Binary Executables. In: Proceedings of the eighteenth international symposium on Software testing and analysis - ISSTA '09 634, pp. 117–127, doi:10.1145/1572272.1572287.
  13. Henrik Theiling, Christian Ferdinand & Reinhard Wilhelm (2000): Fast and Precise WCET Prediction by Separated Cache and Path Analyses. Real-Time Systems 18(2-3), pp. 157–179, doi:10.1023/A:1008141130870.
  14. Reinhard Wilhelm, Tulika Mitra, Frank Mueller, Isabelle Puaut, Peter Puschner, Jan Staschulat, Per Stenström, Jakob Engblom, Andreas Ermedahl, Niklas Holsti, Stephan Thesing, David Whalley, Guillem Bernat, Christian Ferdinand & Reinhold Heckmann (2008): The Worst-Case Execution-Time Problem – Overview of Methods and Survey of Tools. ACM Transactions on Embedded Computing Systems 7(3), pp. 1–53, doi:10.1145/1347375.1347389.
  15. Dmitrijs Zaparanuks (2009): Accuracy of performance counter measurements. In: Performance Analysis of Systems and Software, 2009. ISPASS 2009. IEEE International Symposium on September, doi:10.1109/ISPASS.2009.4919635.
  16. Yina Zhang (2005): Evaluation of Methods for Dynamic Time Analysis for CC-Systems AB. Master thesis. Mälardalen University.

Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org