2212 search results - page 207 / 443 » Automated software wrapping |
158
click to vote
APSEC
1998
IEEE
15 years 9 months ago
1998
IEEE
This paper describes an automated approach to generating test cases for an object-oriented class. The approach is derived from state-based testing methods and refers to a state ma...
108
click to vote
PEPM
1998
ACM
15 years 9 months ago
1998
ACM
Abstract. Source-program modifications can make a partial evaluator yield dramatically better results. For example, eta-redexes can preserve static data flow by acting as an interf...
134
Voted
IUI
1997
ACM
15 years 9 months ago
1997
ACM
This paper describes ActionStreams, a system for inducing task models from observations of user activity. The model can represent several task structures: hierarchy, variable sequ...
152
click to vote
AOSE
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. One of the most critical problems in software maintenance and evolution is propagating changes. Although many approaches have been proposed, automated change propagation ...
162
click to vote
APAQS
2001
IEEE
15 years 8 months ago
2001
IEEE
Infinite looping is a common type of program error. This paper studies the detection of infinite loops in imperative programs. A sufficient condition is given, which is based on p...