3889 search results - page 344 / 778 » The Use of Program Dependence Graphs in Software Engineering |
153
click to vote
VMCAI
2009
Springer
16 years 28 days ago
2009
Springer
We present the first shape analysis for multithreaded programs that avoids the explicit enumeration of execution-interleavings. Our approach is to automatically infer a resource ...
162
click to vote
KBSE
2010
IEEE
15 years 4 months ago
2010
IEEE
Variability models represent the common and variable features of products in a product line. Several variability modeling languages have been proposed in academia and industry; ho...
158
click to vote
SIGSOFT
2005
ACM
16 years 6 months ago
2005
ACM
Online testing is a technique in which test derivation from a model program and test execution are combined into a single algorithm. We describe a practical online testing algorit...
188
Voted
IUI
2009
ACM
16 years 3 months ago
2009
ACM
Mashups are an increasingly popular way to integrate data from multiple web sites to fit a particular need, but it often requires substantial technical expertise to create them. T...
170
click to vote
FSEN
2009
Springer
16 years 21 days ago
2009
Springer
We introduce a Hoare logic for higher-order functional languages with control operators such as callcc. The key idea is to build the assertion language and proof rules around an e...