Sciweavers

1721 search results - page 112 / 345
» On Active and Passive Testing
Sort
View
170
Voted
EMSOFT
2008
Springer
15 years 6 months ago
Active property checking
Runtime property checking (as implemented in tools like Purify or Valgrind) checks whether a program execution satisfies a property. Active property checking extends runtime check...
Patrice Godefroid, Michael Y. Levin, David A. Moln...
VLDB
2007
ACM
130views Database» more  VLDB 2007»
16 years 4 months ago
A framework for efficient regression tests on database applications
Regression testing is an important software maintenance activity to ensure the integrity of a software after modification. However, most methods and tools developed for software te...
Florian Haftmann, Donald Kossmann, Eric Lo
ICCV
2007
IEEE
15 years 11 months ago
Deformable Template As Active Basis
This article proposes an active basis model and a shared pursuit algorithm for learning deformable templates from image patches of various object categories. In our generative mod...
Ying Nian Wu, Zhangzhang Si, Chuck Fleming, Song C...
CVPR
2006
IEEE
15 years 10 months ago
Recognition of Composite Human Activities through Context-Free Grammar Based Representation
This paper describes a general methodology for automated recognition of complex human activities. The methodology uses a context-free grammar (CFG) based representation scheme to ...
Michael S. Ryoo, J. K. Aggarwal
HICSS
2006
IEEE
160views Biometrics» more  HICSS 2006»
15 years 10 months ago
Cyber Defense Competitions and Information Security Education: An Active Learning Solution for a Capstone Course
The content of information security curricula spans a wide array of topics. Because of this variety, a program needs to focus on some particular aspect and provide appropriate dep...
Art Conklin