Publications
Export 337 results:
Author [ Title] Type Year Filters: First Letter Of Title is T [Clear All Filters]
2008. Test case generator for GUITAR. Companion of the 30th international conference on Software engineering. :959-960.
2007. Test suite prioritization by interaction coverage. Workshop on Domain specific approaches to software test automation: in conjunction with the 6th ESEC/FSE joint meeting. :1-7.
2009. A Testing Based Empirical Study of Dynamic Software Update Safety Restrictions. Technical Reports of the Computer Science Department.
1990. Testing equivalence as a bisimulation equivalence. Automatic Verification Methods for Finite State Systems. :11-23.
2009. TESTING EVENT-DRIVEN SOFTWARE–THE NEXT QA CHALLENGE? Software Engineering and DevelopmentSoftware Engineering and Development. :187-187.
2009. Tests to the left of me, types to the right: how not to get stuck in the middle of a ruby execution. Proceedings for the 1st workshop on Script to Program Evolution. :14-16.
1999. Text Enhancement in Digital Video. Proceedings of SPIE - Conference on Document Recognition and Retrieval VI. :2-9.
1999. Text enhancement in digital video using multiple frame integration. Proceedings of the seventh ACM international conference on Multimedia (Part 1). :19-22.
1998. Text Extraction and Recognition in Digital Video. Proceedings of Third IAPRWorkshop on Document Analysis Systems. :119-128.
1999. Text in 1D. Readings in information visualizationReadings in information visualization. :411-412.
1999. Text in 2D. Readings in information visualizationReadings in information visualization. :431-431.
1999. Text in 3D. Readings in information visualizationReadings in information visualization. :440-441.
1999. Text in 3D+ time. Readings in information visualizationReadings in information visualization. :451-451.
2002. Text Quality Estimation in Digital Video. SPIE Conf. on Document Recognition and Information Retrieval. :232-243.
2000. Textual data mining to support science and technology management. Journal of Intelligent Information Systems. 15(2):99-119.
1998. A Thematic Hierarchy for Efficient Generation from Lexical-Conceptual Structure. Machine Translation and the Information SoupMachine Translation and the Information Soup. 1529:333-343.
2002. Theoretical and Empirical Aspects of a Planner in a Multi-agent Environment. Logics in Artificial Intelligence. 2424:173-185.
2007. A theoretical model of children's storytelling using physically-oriented technologies (SPOT). Journal of Educational Multimedia and Hypermedia. 16(4):389-389.
2003. Theories for Understanding Information Visualization. The craft of information visualization: readings and reflections. :349-349.