|
 REFERENCES
Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.
| |
1
|
|
 |
2
|
|
| |
3
|
|
| |
4
|
|
| |
5
|
|
| |
6
|
U. Buy, A. Orso, and Pezzi. Issues in testing distributed component-based systems. In Proceedings of the First International Workshop on Testing Distributed Component-Based Systems, May 1999.
|
| |
7
|
|
| |
8
|
J. J. Chilenski and S. P. Miller. Applicability of modified condition/decision coverage to software testing. Software Engineering Journal, 9(5):191-200.
|
| |
9
|
|
| |
10
|
|
| |
11
|
|
| |
12
|
|
| |
13
|
|
| |
14
|
|
| |
15
|
|
| |
16
|
Michael D. Ernst , Jake Cockrell , William G. Griswold , David Notkin, Dynamically discovering likely program invariants to support program evolution, Proceedings of the 21st international conference on Software engineering, p.213-224, May 16-22, 1999, Los Angeles, California, United States
[doi> 10.1145/302405.302467]
|
| |
17
|
|
| |
18
|
J. B. Goodenough and S. L. Gerhart. Toward a theory of test data selection. IEEE Transactions of Software Engineering, pages 156-173, June 1975.
|
| |
19
|
M. J. Haxrold. Architecture-based regression testing of evolving systems. In International Workshop on the Role of Software Architecture in Testing and Analysis, July 1998.
|
| |
20
|
|
| |
21
|
|
| |
22
|
|
| |
23
|
Mary Jean Harrold , Gregg Rothermel , Rui Wu , Liu Yi, An empirical investigation of program spectra, Proceedings of the 1998 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering, p.83-90, June 16-16, 1998, Montreal, Quebec, Canada
|
| |
24
|
J. R. Horgan. Mining system tests to aid software maintenance. The Telcordia Software Visualization and Analysis Research Team, Telcordia Technologies.
|
| |
25
|
D. Jackson and M. Rinard. Reasoning and analysis: A roadmap. In A. Finkelstein, editor, The Future of Software Engineering. ACM Press, New York, 2000.
|
| |
26
|
D. Kung, N. Suchak, J. Gao, P. Hsia, Y. Toyoshima, and C. Chen. On object state testing. In Proceedings of COMPSAC'94, 1994.
|
| |
27
|
J. W. Laski and B. Korel. A data flow oriented program testing strategy. IEEE Transactions on Software Engineering, 9(3):347-54, May 1983.
|
| |
28
|
H. K. N. Leung and L. White. Insights Into Regression Testing. In Proceedings of the Conference on Software Maintenance, pages 60-9, October 1989.
|
| |
29
|
T. Lewis. The next 10, 0002 years, part II. IEEE Computer, pages 78-86, May 1996.
|
| |
30
|
|
| |
31
|
|
| |
32
|
G. McGraw and 3. Viega. Why COTS software increases security risks. In Proceedings of the First International Workshop on Testing Distribu ted Component- Based Systems, May 1999.
|
| |
33
|
|
| |
34
|
|
| |
35
|
|
| |
36
|
|
| |
37
|
T. J. Ostrand and E. J. Weyuker. Using datattow analysis for regression testing. In Sixth Annual Pacific Northwest Software Quality Conference, pages 233-247, September 1988.
|
| |
38
|
|
| |
39
|
|
| |
40
|
|
| |
41
|
T. Reps, T. Ball, M. Das, and J. Larus. The use of program profiling for software maintenance with applications to the year 2000 problem, pages 432-439, September 1997.
|
| |
42
|
D. Richardson, J. Stafford, and A. Woff. A formal approach to architecture-based testing. Technical report, University of California, Irvine, 1998.
|
| |
43
|
D. J. Richardson, P. Inverardi, and A. Bertolino, editors. Proceedings of the CNR-NSF International Workshop on the Role of Software Architecture in Testing and Analysis. July 1998.
|
| |
44
|
|
| |
45
|
D. S. Rosenblum. Adequate testing of component-based software. Technical Report Technical Report UCI-ICS- 97-34, August 1997.
|
| |
46
|
|
| |
47
|
|
| |
48
|
|
| |
49
|
Gregg Rothermel , Lixin Li , Christopher DuPuis , Margaret Burnett, What you see is what you test: a methodology for testing form-based visual programs, Proceedings of the 20th international conference on Software engineering, p.198-207, April 19-25, 1998, Kyoto, Japan
|
| |
50
|
|
| |
51
|
J. Stafford, D. J. Richardson, and A. L. Wolf. Chaining: A dependence analysis technique for software architecture. Technical Report CU-CS-845-97, University of Colorado, September 1.997.
|
| |
52
|
|
| |
53
|
|
CITED BY 30
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Greta Yorsh , Thomas Ball , Mooly Sagiv, Testing, abstraction, theorem proving: better together!, Proceedings of the 2006 international symposium on Software testing and analysis, July 17-20, 2006, Portland, Maine, USA
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Adobe Acrobat
QuickTime
Windows Media Player
Real Player
Pdf
D.2