论文信息 - Exploring the Software Trilogy - 字舞流文

Exploring the Software Trilogy

Olivier Ridoux | Daniel Le Métayer | Valérie-Anne Nicolas | D. L. Métayer | O. Ridoux | Valérie-Anne Nicolas | D. Métayer

[1] Daniel Le Métayer,et al. CASTING: a formally based software test generation method , 1997, First IEEE International Conference on Formal Engineering Methods.

[2] Francesco Bergadano,et al. Testing by means of inductive program learning , 1996, TSEM.

[3] Frank Tip,et al. A survey of program slicing techniques , 1994, J. Program. Lang..

[4] Olivier Danvy,et al. Tutorial notes on partial evaluation , 1993, POPL '93.

[5] Marie-Claude Gaudel,et al. Software testing based on formal specifications: a theory and a tool , 1991, Softw. Eng. J..

[6] A. Jefferson Offutt,et al. Constraint-Based Automatic Test Data Generation , 1991, IEEE Trans. Software Eng..

[7] Elaine J. Weyuker,et al. Assessing Test Data Adequacy through Program Inference , 2019, TOPL.

[8] C. A. R. Hoare,et al. An axiomatic basis for computer programming , 1969, CACM.

[9] Boris Beizer,et al. Software Testing Techniques , 1983 .

[10] Robin Milner,et al. A Theory of Type Polymorphism in Programming , 1978, J. Comput. Syst. Sci..

[11] Alan W. Biermann,et al. The Inference of Regular LISP Programs from Examples , 1978, IEEE Transactions on Systems, Man, and Cybernetics.

[12] Patrick Cousot,et al. Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints , 1977, POPL.

[13] Edsger W. Dijkstra,et al. Guarded commands, nondeterminacy and formal derivation of programs , 1975, Commun. ACM.