6149 search results - page 89 / 1230 » Revealing the programming process |
81
Voted
GPCE
2008
Springer
15 years 1 months ago
2008
Springer
Feature modules are the building blocks of programs in software product lines (SPLs). A foundational assumption of feature-based program synthesis is that features are composed in...
103
Voted
TOPLAS
2002
15 years 9 days ago
2002
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...
114
click to vote
ISSTA
2007
ACM
15 years 2 months ago
2007
ACM
As concurrent and distributive applications are becoming more common and debugging such applications is very difficult, practical tools for automatic debugging of concurrent appl...
82
Voted
ICASSP
2011
IEEE
14 years 4 months ago
2011
IEEE
A new Bayesian model is proposed, integrating dictionary learning and topic modeling into a unified framework. The model is applied to cluster multiple images, and a subset of th...
93
Voted
AMOST
2005
ACM
15 years 6 months ago
2005
ACM
We consider the problem of generating a set of test cases from a black box specification. We focus on stress testing, i.e. picking test cases that seem most likely to reveal prog...