@COMMENT This file was generated by bib2html.pl version 0.94
@COMMENT written by Patrick Riley
@COMMENT This file came from Sanjit Seshia's publication pages at http://www.eecs.berkeley.edu/~sseshia
@inproceedings{seshia-tacas11,
author = {Sanjit A. Seshia and Jonathan Kotker},
title = {{GameTime}: A Toolkit for Timing Analysis of Software},
BOOKTITLE = { Proceedings of Tools and Algorithms for the Construction and Analysis of Systems (TACAS) },
pages = "388--392",
month = "March",
year = "2011",
abstract = {Timing analysis is a key step in the design of dependable real-time embedded
systems. In this paper, we present GameTime, a toolkit for execution time
analysis of software. GameTime is based on a combination of game-theoretic online
learning and systematic testing using satisfiability modulo theories (SMT)
solvers. In contrast with many existing tools for timing analysis, GameTime can
be used for a range of tasks, including estimating worst-case execution time, predicting
the distribution of execution times of a task, and finding timing-related
bugs in programs. We describe key implementation details of GameTime and illustrate
its usage through examples.},
}