[. Abrial, B. A. The, D. Budd, . F. Angluin, D. G. Bergadano et al., Assigning Programs to Meanings Testing by means of inductive program learning The inference of regular LISP programs from examples Protocol Testing: Review of Methods and Relevance for Software Testing Proceedings of ISSTA,A u gust 1994 Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints Constraint-Based Automatic Test Data Generation Using onthe-fly verification techniques for the generation of test suites Testability of Software Components Toward a Theory of Test Data Selection Larch: languages and tools for formal specification. Texts and Monographs in Computer Science Systematic software development using VDM.P r e n t i c eH a l l International Program analysis for software engineering: new applications , new requirements, new tools Exploring the Software Development Trilogy, Two Notions of Correctness and Their Relation to Testing. Acta Informatica Software Testing Techniques Proceedings of the 4 th POPL Proceedings of the Conference on Computer-Aided Verification GAUDEL. Testing can be formal, too. Proceedings of TAPSOFT Preuves de Propriétés de Classes de Programmes par Dérivation Systématique de Jeux de TestNTA88] S.C. NTAFOS. A Comparison of Some Structural Testing Strategies. IEEE Transactions on Software EngineeringOW91] T.J. OSTRAND and E.J. WEYUKER. Data Flow-Based Test Adequacy Analysis for Languages with Pointers. Proceedings of POPLPDM89] B. PIERCE, S. DIETZEN, and S. MICHAYLOV. Programming in Higher- Order Typed Lambda-Calculi. Research report CMU-CS-89-111, p.14, 1975.

D. J. Richardson, L. A. Clarke-[-rw85-]-s, E. J. Rapps, . J. Weyukerwey83-]-e, and . Weyuker, Partition Analysis: A Method Combining Testing and Verification Selecting Software Test Data Using Dataflow Information The Z notation -A reference manual. International Series in Computer Science Assessing test data adequacy through program inference, IEEE Transactions on Software Engineering IEEE Transactions on Software Engineering ACM Transactions on Programming Languages and Systems, vol.11, issue.54, 1983.