|
 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
|
B~GE, C., Theory of graphs and Its applicatzons, John Wiley & Sons, New York, 1962.
|
| |
4
|
HARXRY, F., Graph theory, Addison-Wesley, Reading, Mass., 1969.
|
| |
5
|
KRAUSE, K. W., Ew AL., "Optimal software test planmng through automated network analysis," Proc 1973 IEEE Symposium on Computer Software Relzab~lzty, New York, April-May 1973.
|
| |
6
|
HOWDEN, W. E., "Methodology for the generation of program test data," IEEE Transactzons on Computers, C-24, 5 (May 1975), 554-560.
|
| |
7
|
Fortran automated verification system Level i --user's guide, Program Validation Project, General Research Corp., October 1974.
|
| |
8
|
MILLER, E. F., ET AL. "Structurally based automatic program testing," presented at EASCON-74, Washington, D C, October 1974
|
| |
9
|
CLARKE, L., "A system to generate test data and symbolically execute programs," Tech. Report #CU-CS-060-75, Dept. Computer Science, University of Colorado, Boulder, February 1975.
|
| |
10
|
SLOANE, N J.A., "On finding the paths through a network," Bell System Tech. J., 51, 2 (February 1972).
|
| |
11
|
HOFFMAN, R. H., Automated verification system user's guzde, TRW Note No. 72-FMT- 891, 1972.
|
| |
12
|
CoPI, I. M., Symbolic logic, Macmillan, New York, 1965.
|
| |
13
|
|
| |
14
|
HETZEL, W. C., Program test methods, Prentice-Hall, Englewood Cliffs, N. J., 1972.
|
| |
15
|
RAMAMOOR~HY, C. V., ET AL., "Design and construction of an automated software evaluation system," Proc 1978 IEEE Sympossum on Computer Software Reliab~hty, New York, April-May 1973.
|
| |
16
|
PAIGE, M. R.; AND BALKOVICH, E E., "On testing programs," Proc. 197~ IEEE Symp osium on Computer Software Reliability, ew York, April-May 1973.
|
| |
17
|
OSTERWEIL, L. J.; AND FOSDICK, L. D., "Data flow analysis as an aide in documentation, assertion generation, validation, and error detection," Tech Report #CU-CS- 055-74, Dept Computer Science, University of Colorado, Boulder, September 1974.
|
| |
18
|
Proc. 1975 Internatl Conf. on Reliable Software, Los Angeles, Calif., April 1975. IEEE Cat. No. 75CH0940-7CSR.
|
| |
19
|
Fortran automaled vemfi~ation system Level ! --system summary, Program Validation Project, General Research Corp., October 1974.
|
CITED BY 40
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Paul Piwowarski , Mitsuru Ohba , Joe Caruso, Coverage measurement experience during function test, Proceedings of the 15th international conference on Software Engineering, p.287-301, May 17-21, 1993, Baltimore, Maryland, United States
|
|
|
|
|
|
Farokh B. Bastani , Giuseppe DiMarco , Alberto Pasquini, Experimental evaluation of a fuzzy-set based measure of software correctness using program mutation, Proceedings of the 15th international conference on Software Engineering, p.45-54, May 17-21, 1993, Baltimore, Maryland, United States
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Monica Hutchins , Herb Foster , Tarak Goradia , Thomas Ostrand, Experiments of the effectiveness of dataflow- and controlflow-based test adequacy criteria, Proceedings of the 16th international conference on Software engineering, p.191-200, May 16-21, 1994, Sorrento, Italy
|
|
|
Phyllis G. Frankl , Stewart N. Weiss, An experimental comparison of the effectiveness of the all-uses and all-edges adequacy criteria, Proceedings of the symposium on Testing, analysis, and verification, p.154-164, October 08-10, 1991, Victoria, British Columbia, Canada
|
|
|
|
|
|
|
|
|
Timothy A. Budd , Richard A. DeMillo , Richard J. Lipton , Frederick G. Sayward, Theoretical and empirical studies on using program mutation to test the functional correctness of programs, Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.220-233, January 28-30, 1980, Las Vegas, Nevada
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Cyrille Artho , Howard Barringer , Allen Goldberg , Klaus Havelund , Sarfraz Khurshid , Mike Lowry , Corina Pasareanu , Grigore Rosu , Koushik Sen , Willem Visser , Rich Washington, Combining test case generation and runtime verification, Theoretical Computer Science, v.336 n.2-3, p.209-234, 26 May 2005
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
J. C. Huang , Peter Valdes , Raymond T. Yeh, A tool-based approach for software testing and validation, Proceedings of the July 9-12, 1984, national computer conference and exposition, July 09-12, 1984, Las Vegas, Nevada
|
|
|
Sasa Misailovic , Aleksandar Milicevic , Nemanja Petrovic , Sarfraz Khurshid , Darko Marinov, Parallel test generation and execution with Korat, Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering, September 03-07, 2007, Dubrovnik, Croatia
|
|
Adobe Acrobat
QuickTime
Windows Media Player
Real Player
Pdf
D.2