Sciweavers

2631 search results - page 309 / 527
» Software Development with Code Maps
Sort
View
ENTCS
2007
86views more  ENTCS 2007»
15 years 3 months ago
Tool Support for Proof Engineering
Modern integrated development environments (IDEs) provide programmers with a variety of sophisticated tools for program visualization and manipulation. These tools assist the prog...
Anne Mulhern, Charles Fischer, Ben Liblit
ICST
2010
IEEE
15 years 1 months ago
Automated Behavioral Regression Testing
—When a program is modified during software evolution, developers typically run the new version of the program against its existing test suite to validate that the changes made ...
Wei Jin, Alessandro Orso, Tao Xie
ISSRE
2010
IEEE
15 years 1 months ago
Characterizing Failures in Mobile OSes: A Case Study with Android and Symbian
Abstract—As smart phones grow in popularity, manufacturers are in a race to pack an increasingly rich set of features into these tiny devices. This brings additional complexity i...
Amiya Kumar Maji, Kangli Hao, Salmin Sultana, Saur...
ICSE
2011
IEEE-ACM
14 years 6 months ago
Always-available static and dynamic feedback
Developers who write code in a statically typed language are denied the ability to obtain dynamic feedback by executing their code during periods when it fails the static type che...
Michael Bayne, Richard Cook, Michael D. Ernst
ICMCS
2006
IEEE
86views Multimedia» more  ICMCS 2006»
15 years 9 months ago
Format-Independent Multimedia Streaming
The Bitstream Binding Language (BBL) is a new technology developed by the authors and being standardized by MPEG, which describes how multimedia content and metadata can be mapped...
Joseph Thomas-Kerr, Ian S. Burnett, Christian Ritz