Testing an intentional naming scheme using genetic algorithms

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2031 LNCS, Issue , 2001, Pages 358-372

  Khurshid, Sarfraz ^a  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

GENETIC ALGORITHMS; LOCATION BASED SERVICES; SOFTWARE DESIGN; AIR NAVIGATION; ALGORITHMS;

COMPLEX DATA STRUCTURES; DESIGN AND IMPLEMENTATIONS; DYNAMIC NETWORKED ENVIRONMENTS; GENERATION TECHNIQUES; GENETIC ALGORITHM (GAS); RESOURCE DISCOVERY; SERVICE LOCATION; SOFTWARE STRUCTURES;

SOFTWARE TESTING;

EID: 84903169779     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45319-9_25     Document Type: Conference Paper

References (21)

1. W. Adjie-Winoto, E. Schwartz, H. Balakrishnan, and J. Lilley. The design and implementation of an intentional naming system. In 17th ACM Symposium on Operating Systems (SOSP 99), Kiawah Island, December 1999.
2. B. Beizer. Software Testing Techniques. International Thomson Computer Press, 1990.
3. P. M. S. Bueno and M. Jino. Identification of potentially infeasible program paths by monitoring the search for test data. In Proceedings of the Fifteenth IEEE International Conference on Automated Software Engineering (ASE 2000), Grenoble, France, September 2000.
4. K-H. Chang, J. H. Cross, W. H. Carlisle, and D. B. Brown. A framework for intelligent test data generators. In lournal of Intelligent and Robotic Systems -Theory and Applications, July 1991.
5. L. A. Clarke. A system to generate test data and symbolically execute programs. In IEEE Transactions on Software Engineering, September 1976.
6. H. Grob. Intelligent timing analysis of real-time software. Internal Report, University of Glamorgan, U.K.
7. J. Holland. Adaption in natural and artificial systems. In Ann Arbor: The University of Michigan Press, 1975.
8. D. Jackson. Alloy: A lightweight object modelling notation. Technical Report 797, MIT Laboratory for Computer Science, Cambridge, MA, February 2000.
9. D. Jackson, I. Schechter, and I. Shlyakhter. Alcoa: the alloy constraint analyzer. In Proceedings of the International Conference on Software Engineering, Limerick, Ireland, June 2000.
10. B. F. Jones, H. H. Sthamer, and D. E. Eyres. Automatic structural testing using genetic algorithms. Software Engineering lournal, pages 299-306, Sep 1996.
11. S. Khurshid. Exploring the design of an intentional naming scheme with an automatic constraint analyzer. Masters Thesis, MIT Laboratory for Computer Science, Cambridge, MA, May 2000.
12. S. Khurshid and D. Jackson. Exploring the design of an intentional naming scheme with an automatic constraint analyzer. In Proc. 15th IEEE International Conference on Automated Software Engineering (ASE 2000), Grenoble, France, September 2000.
13. B. Korel. Automated software test data generation. In IEEE Transactions on Software Engineering 16(8):870-879, August 1990.
14. G. McGraw, C. Michael, and M. Schatz. Generating software test data by evolution. Technical Report RSTR-018-97-01, RST Corporation, Sterling, VA, February 1998.
15. H. D. Mills, M. D. Dyer, and R. C. Linger. Cleanroom software engineering. In IEEE Software 4(5): 19-25, September 1999.
16. R. P. Pargas, M. J. Harrold, and R. P. Peck. Test-data generation using genetic algortihms. In Journal of Software Testing, Verification, and Reliability. Wiley, 1999.
17. C. V. Ramamoorthy, S. F. Ho, and W. T. Chen. On the automated generation of program test data. In IEEE Transactions on Software Engineering 2(4):293-300, December 1976.
18. M. Roper, I. Maclean, A. Brooks, J. Miller, and M. Wood. Genetic algorithms and the automatic generation of test data. Technical Report RR/95/195 [EFoCS-19-95], University of Strathclyde, Glasgow, U.K., 1995.
19. P. Ross and D. Brown. Applications of genetic algorithms. AISB Quaterly on Evolutionary Computation, (89):23-30, Autumn 1994.
20. A. C. Schultz, J. J. Grefenstette, and K. A. De Jong. Learning to break things: adaptive testing of intelligent controllers. In Handbook of Evolutionary Computing. IOP Publishing Ltd and Oxford University Press, 1995.
21. E. Schwartz. Design and implementation of intentional names. Masters Thesis, MIT Laboratory for Computer Science, Cambridge, MA, May 1999.