GameTime: A Toolkit for Timing Analysis of Software.

Sanjit A. Seshia Jonathan Kotker

Published in: TACAS (2011)

Keyphrases

software systems
software development
commercial software
software tools
computer systems
source code
software architecture
high level
user interface
personal computer
software design
case study
test cases
multimedia
design patterns
real world
software maintenance
software package
computer software
database