@COMMENT This file was generated by bib2html.pl <https://sourceforge.net/projects/bib2html/> version 0.94
@COMMENT written by Patrick Riley <http://sourceforge.net/users/patstg/>
@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.}, 
}