Sciweavers

1685 search results - page 221 / 337
» Commonality and Variability in Software Engineering
Sort
View
136
Voted
ACMSE
2004
ACM
15 years 9 months ago
JavaCHIME: Java class hierarchy inspector and method executer
Java has emerged as one of the most dynamic programming languages today. During the past eight years it has become a leading choice as the programming language for an introductory...
Pallavi Tadepalli, H. Conrad Cunningham
110
Voted
UIST
2003
ACM
15 years 8 months ago
Fluid interaction techniques for the control and annotation of digital video
We explore a variety of interaction and visualization techniques for fluid navigation, segmentation, linking, and annotation of digital videos. These techniques are developed with...
Gonzalo Ramos, Ravin Balakrishnan
125
Voted
TOPLAS
2002
98views more  TOPLAS 2002»
15 years 3 months ago
Data abstraction and information hiding
traction and information hiding K. RUSTAN M. LEINO and GREG NELSON Compaq Systems Research Center er describes an approach for verifying programs in the presence of data abstractio...
K. Rustan M. Leino, Greg Nelson
124
Voted
SIGSOFT
2008
ACM
16 years 4 months ago
Marple: a demand-driven path-sensitive buffer overflow detector
Despite increasing efforts in detecting and managing software security vulnerabilities, the number of security attacks is still rising every year. As software becomes more complex...
Wei Le, Mary Lou Soffa
153
Voted
ISSTA
2010
ACM
15 years 5 months ago
OCAT: object capture-based automated testing
Testing object-oriented (OO) software is critical because OO languages are commonly used in developing modern software systems. In testing OO software, one important and yet chall...
Hojun Jaygarl, Sunghun Kim, Tao Xie, Carl K. Chang