Testing and verification aspects of Pascal-like languages

Miller, 1978, Program testing technology in the 1980s, 72 King, 1976, Symbolic execution and program testing, Comm. ACM, 19, 385, 10.1145/360248.360252 Clarke, 1976, A system to generate test data and symbolically execute programs, IEEE Transactions on Software Engineering, SE-2, 215, 10.1109/TSE.1976.233817 Goodenough, 1975, Toward a theory of test data selection, IEEE Transactions on Software Engineering, SE-1, 156, 10.1109/TSE.1975.6312836 Howden, 1978, Theoretical and empirical studies of program testing, IEEE Transactions on Software Engineering, SE-4, 293, 10.1109/TSE.1978.231514 Gerhart, 1978, Program verification in the 1980s, 80 Liskov, 1975, Specification techniques for data abstractions, IEEE Transactions on Software Engineering, SE-1, 7, 10.1109/TSE.1975.6312816 Goguen, 1978, An initial algebra approach to the specification, correctness, and implementation of abstract data types, vol. 4, 80 Roubine, 1976, SPECIAL reference manual Cave, 1978, Controlling the software life cycle—the project management task, IEEE Transactions on Software Engineering, SE-4, 326, 10.1109/TSE.1978.231519 Wirth, 1971, The programming language Pascal, Acta Informatica, 1, 35, 10.1007/BF00264291 Good, 1975, An interactive program verification system, IEEE Transactions on Software Engineering, SE-1, 59, 10.1109/TSE.1975.6312820 Hoare, 1973, An axiomatic definition of the programming language Pascal, Acta Informatica, 2, 335, 10.1007/BF00289504 Lampson, 1977, Report on the programming language Euclid, ACM SIGPLAN Notices, 12, 10.1145/954666.971189 London, 1978, Proof rules for the programming language Euclid, Acta Informatica, 10, 1, 10.1007/BF00260921 Wasserman, 1978, Report on the programming language PLAIN Wasserman, 1979, The design of PLAIN—support for systematic programming Brinch Hansen, 1975, The programming language Concurrent Pascal, IEEE Transactions on Software Engineering, SE-1, 199, 10.1109/TSE.1975.6312840 Hoare, 1974, Monitors: an operating system structuring concept, Comm. ACM, 17, 549, 10.1145/355620.361161 Department of Defense Advanced Research Projects Agency, 1978 1979, 14 Yourdon, 1979 Hoare, 1973, Hints on programming language design Venema, 1978, Euclid and Pascal, ACM SIGPLAN Notices, 13, 57, 10.1145/954373.954379 Wulf, 1973, Global variables considered harmful, ACM SIGPLAN Notices, 8, 28, 10.1145/953353.953355 Hoare, 1978, Data Structures, vol. 4, 1 Wasserman, 1980 Liskov, 1978, CLU reference manual Wulf, 1978, An informal description of Alphard (preliminary) Ambler, 1977, Gypsy: a language for specification and implementation of verifiable programs, 12, 1 Gannon, 1977, An experimental evaluation of data types on programming reliability, Comm. ACM, 20, 584, 10.1145/359763.359800