3792 search results - page 92 / 759 » Techniques for Trusted Software Engineering |
106
Voted
SAC
2005
ACM
15 years 9 months ago
2005
ACM
This paper presents a systematic method for simultaneously defining a software architecture and selecting off-the-shelf components for reuse. The method builds upon existing tec...
117
click to vote
ISSRE
2008
IEEE
15 years 10 months ago
2008
IEEE
We present a novel specification-based approach for generating tests for products in a software product line. Given properties of features as first-order logic formulas, our app...
116
click to vote
UIST
2009
ACM
15 years 10 months ago
2009
ACM
Time-series graphs are often used to visualize phenomena that change over time. Common tasks include comparing values at different points in time and searching for specified patte...
141
click to vote
UIST
2000
ACM
15 years 8 months ago
2000
ACM
Because of its promise of natural interaction, recognition is coming into its own as a mainstream technology for use with computers. Both commercial and research applications are ...
164
Voted
ISSTA
1998
ACM
15 years 7 months ago
1998
ACM
Automatic test data generation leads to identify input values on which a selected point in a procedure is executed. This paper introduces a new method for this problem based on co...