Frank Mueller, Joachim Wegener  Home/Search
Context Related
| informatik.huberlin.de/...rtas98.ps.gz fsu.edu/~mueller/ftp/pub...rtas98.ps.gz ncsu.edu/~mueller/ftp/pu...rtas98.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: informatik.huberl...publications (more) From: fsu.edu/~mueller/publications (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This paper contrasts two methods to verify timing constraints of real-time applications. The method of static analysis predicts the worst-case and best-case execution times of a task's code by analyzing execution paths and simulating processor characteristics without ever executing the program or requiring the program's input. Evolutionary testing is an iterative testing procedure, which approximates the extreme execution times within several generations. By executing the test object... (Update)
Cited by: More
Analysis and Visualization of - Predicate Dependence On (Correct)
Metrics Are Fitness Functions Too - Mark Harman John (Correct)
Evolutionary Testing in the Presence of Loop-Assigned Flags.. - Baresel, Harman (2004) (Correct)
Similar documents (at the sentence level):
52.7%: A Comparison of Static Analysis and Evolutionary Testing for .. - Wegener, Mueller (1998) (Correct)
5.6%: Generalizing Timing Predictions to Set-Associative Caches - Mueller (1996) (Correct)
Active bibliography (related documents): More All
0.8: Testing the Temporal Behavior of Real-Time Software Modules.. - Pohlheim, Wegener (1999) (Correct)
0.8: Testing the Temporal Behavior of Real-Time Engine.. - Pohlheim, Wegener.. (2000) (Correct)
0.4: Timing Analysis for Instruction Caches - Mueller (2000) (Correct)
Similar documents based on text: More All
0.4: Evolutionary Testing Supported by Slicing and.. - Harman, Hu, Hierons.. (2002) (Correct)
0.3: Improving Evolutionary Testing by Flag Removal - Harman, Hu, Hierons, Baresel, .. (2002) (Correct)
Related documents from co-citation: More All
8: A strategy for using genetic algorithms to automate branch and fault-based testi.. (context) - Jones, Eyres et al. - 1998
7: Testdata generation using genetic algorithms - PARGAS, HARROLD et al. - 1999
7: The way forward for unifying dynamic test-case generation: The optimisationbased.. (context) - Tracey, Clark et al. - 1998
BibTeX entry: (Update)
F. Mueller and J. Wegener. A comparison of static analysis and evolutionary testing for the verification of timing constraints. In IEEE Real-Time Technology and Applications Symposium, pages 179--188, June 1998. http://citeseer.ist.psu.edu/mueller98comparison.html More
@inproceedings{ mueller98comparison,
author = "F. Mueller and J. Wegener",
title = "A Comparison of Static Analysis and Evolutionary Testing for the Verification of Timing Constraints",
booktitle = "{IEEE} Real Time Technology and Applications Symposium",
pages = "144-",
year = "1998",
url = "citeseer.ist.psu.edu/mueller98comparison.html" }
Citations (may not include all citations):296 Free Software Foundation (context) - Stallman, Porting - 1995
206 The Art of Software Testing (context) - Myers - 1979
167 Calculating the maximum execution time of real-time programs (context) - Puschner, Koza - 1989
114 Reducing bias and inefficiency in the selection algorithm (context) - Baker - 1987
114 Predictive models for the breeder genetic algorithm (context) - Schlierkamp-Vossen - 1993
85 Predicting program execution times by analyzing static and d.. (context) - Park - 1993
83 Bounding worst-case instruction cache performance (context) - Arnold, Mueller et al. - 1994
79 A portable global optimizer and linker (context) - Benitez, Davidson - 1988
61 Integrating the timing analysis of pipelining and instructio.. (context) - Healy, Whalley et al. - 1995
59 Timing constraints of real-time systems: Constructs for expr.. (context) - Dasarathy - 1985
49 Cache modeling for realtime software: Beyond direct mapped i.. (context) - Li, Malik et al. - 1996
42 strategic memory allocation for realtime) cache design (context) - Kirk - 1989
40 Timing analysis for data caches and set-associative caches - White, Mueller et al. - 1997
32 Analysis of cache-related preemption delay in fixed-priority.. - Lee, Hahn et al. - 1996
31 Os-controlled cache predictability for real-time systems - Liedke, Hartig et al. - 1997
31 Efficient worst case timing analysis of data caching - Kim, Min et al. - 1996
24 Static Cache Simulation and its Applications - Mueller - 1994
20 Adding instruction cache effect to schedulability analysis o.. (context) - Busquets-Matraix - 1996
20 Classification trees for partition testing (context) - Grochtmann, Grimm - 1993
12 Testing real-time systems using genetic algorithms (context) - Wegener, Sthamer et al. - 1997
12 Timing predictions for multi-level caches - Mueller - 1997
7 The Automatic Generation of Software Test Data Using Genetic.. (context) - Sthamer - 1996
6 real-time software systems (context) - Davis - 1979
6 GEATbx: Genetic and evolutionary algorithm toolbox for use w.. (context) - Pohlheim - 1996
5 Testing real-time constraints in a process algebraic setting - Clarke, Lee - 1995
4 Applying compiler techiniques to cache behavior prediction (context) - Ferdinand, Martin et al. - 1997
4 Real-Time Software Techniques (context) - Heath - 1991
4 Tessy - yet another computeraided software testing tool (context) - Wegener, Pitschinetz - 1994
3 Testing timing behavior of real-time software - Braberman, Felder et al. - 1997
3 Functional test case generation for real-time systems (context) - Mandrioli, Morasca et al. - 1992
1 Available by anonymous FTP from cs (context) - University, NYU et al.
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.informatik.hu-berlin.de/~mueller/publications.html): More
Timing Predictions for Multi-Level Caches - Mueller (1997) (Correct)
Real-Time Debugging by Minimal Hardware Simulation - Mueller, Whalley, Harmon (1994) (Correct)
Supporting Ada 95 Passive Partitions in a Distributed Environment - Mueller (1997) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC