ISSTA
1998
ACM
14 years 6 days ago
1998
ACM
Program dependence information is useful for a variety of software testing and maintenance tasks. Properly defined, control and data dependencies can be used to identify semantic...
ISSTA
1998
ACM
14 years 6 days ago
1998
ACM
Symbolic model checking has proved highly successful for large nite-state systems, in which states can be compactly encoded using binary decision diagrams (BDDs) or their variants...
ISSTA
1998
ACM
14 years 6 days 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...
ISSTA
1998
ACM
14 years 6 days ago
1998
ACM
Automated analyses for regression test selection (RTS) attempt to determine if a modified program, when run on a test t, will have the same behavior as an old version of the prog...
ARES
1998
Springer
14 years 6 days ago
1998
Springer
Distributed programming environments commonly restrict programmers to one form of intercomponent interaction. This forces programmers to emulate other interaction styles in terms o...
ARES
1998
Springer
14 years 6 days ago
1998
Springer
The product line for software systems (PL) approach has been touted recently as one of the most promising development approach for gains in product quality, time to market and cost...
ARES
1998
Springer
14 years 6 days ago
1998
Springer
The realization of software projects can be significantly eased by extending the focus of reuse to architectural aspects instead of concentrating on separate software elements. Ye...
AMAST
1998
Springer
14 years 6 days ago
1998
Springer
AMAST
1998
Springer
14 years 6 days ago
1998
Springer
AMAST
1998
Springer
14 years 6 days ago
1998
Springer