Bibliography for automatic test data generation for compilers

colin@luna.bris.ac.uk (Dr. C.J. Burgess)
Wed, 15 Dec 1993 12:38:18 GMT

          From comp.compilers

Related articles
Compiler testing bibliography & article flash@pobox.com (Flash Sheridan) (2007-04-28)
Bibliography for automatic test data generation for compilers colin@luna.bris.ac.uk (1993-12-15)
| List of all articles for this month |

Newsgroups: comp.compilers
From: colin@luna.bris.ac.uk (Dr. C.J. Burgess)
Keywords: testing, bibliography, question
Organization: Computer Science
Date: Wed, 15 Dec 1993 12:38:18 GMT

I am trying to construct a comprehensive bibliography for the
automatic generation of test data for compilers.


Can anyone add any additional references to the following:-




Thanking you in advance for any replies,




Dr.C.J.Burgess
Department of Compuer Science,
University of Bristol,
Bristol, BS8 1TR,
England.


Bibliography for the automatic generation of test data for compilers
---------------------------------------------------------------------




Bazzichi, F. and Spadafora, I.,
`An automatic generator for compiler testing',
IEEE transactions on Software Engineering,
Vol. SE-8,
pp. 343-353,
1982.


Bird, D.L. and Munoz, C.U.,
`Automatic generation of random self-checking test cases',
IBM Systems Journal,
Vol. 22,
pp. 229-245,
1983.


Burgess, C.J.,
`Towards the automatic generation of executable
programs to test a Pascal compiler',
Software Engineering '86,
Ed. D.Barnes and P.Brown,
IEE Computing Series Vol. 6,
Peter Peregrinus Ltd.,
pp. 304-316,
1986.


Camuffo, M., Maiocchi, M. and Morselli, M.,
`Automatic software test generation',
Information and Software Technology,
Vol. 32,
No. 5,
pp. 337-346,
1990.


Celentano, A., Crespi-Reghizzo, S.,
Della-Vigna, P. and Ghezzi, C.,
`Compiler testing using a sentence generator',
Software Practice and Experience,
Vol. 10,
pp. 897-918,
1980.


Duncan, A.G. and Hutchinson, J.S.,
`Using Attributed Grammars in Test Designs and Implementations',
Proc. of the 5th. International Conference on Software Engineering,
San Diego, California, 1981.


Hanford, K.V.,
`Automatic generation of test cases',
IBM Systems Journal,
Vol. 9,
pp. 242-257,
1970.


Homer, W. and Schooler, R.,
`Independent Testing of Compiler Phases Using a Test Case Generator',
Software Practice and Experience, Vol. 19,
pp. 53-62,
1989.


Houssais, B.,
`Verification of an Algol68 implementation',
ACM Sigplan Notices,
Vol. 12,
pp. 117-128,
1977.


Ince, D.C.,
`The Automatic Generation of Test Data',
Computer Journal,
Vol. 30,
No. 1,
pp. 63-69,
1987.


Maurer, P.M.,
`Generating Test Data with enhanced Context-Free Grammars',
IEEE Software,
pp. 50-55,
1990.


Maurer, P.M.,
`The Design and Implementation of a Grammar-based Data Generator',
Software Practice and Experience,
Vol. 22,
No. 3,
pp. 223-244,
1992.


Murali, V. and Shyamasunder, R.K.,
`A sentence generator for a compiler for PT, a Pascal subset',
Software Practice and Experience,
Vol. 13,
pp. 857-869,
1983.


Purdom, P.,
`A sentence generator for testing parsers',
BIT,
Vol. 12,
pp. 366-375,
1972.
--


Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.