A system to generate test data and symbolically execute programs
IEEE Transactions on software engineering, 1976 - ieeexplore.ieee.org
This paper describes a system that attempts to generate test data for programs written in
ANSI Fortran. Given a path, the system symbolically executes the path and creates a set of …
ANSI Fortran. Given a path, the system symbolically executes the path and creates a set of …
A System to Generate Test Data and Symbolically Execute Programs
LA Clarke - IEEE Transactions on Software Engineering, 1976 - dl.acm.org
This paper describes a system that attempts to generate test data for programs written in
ANSI Fortran. Given a path, the system symbolically executes the path and creates a set of …
ANSI Fortran. Given a path, the system symbolically executes the path and creates a set of …
[PDF][PDF] A System to Generate Test Data and Symbolically Execute Programs
LA CLARKE - IEEE TRANSACTIONS ON SOFTWARE …, 1976 - hiper.cis.udel.edu
This paper describes a system that attempts to generate test data for programs written in
ANSI Fortran. Given a path, thesystem symbolically executes the path and creates a set of …
ANSI Fortran. Given a path, thesystem symbolically executes the path and creates a set of …
[PDF][PDF] A System to Generate Test Data and Symbolically Execute Programs
LA CLARKE - IEEE TRANSACTIONS ON SOFTWARE …, 1976 - academia.edu
This paper describes a system that attempts to generate test data for programs written in
ANSI Fortran. Given a path, thesystem symbolically executes the path and creates a set of …
ANSI Fortran. Given a path, thesystem symbolically executes the path and creates a set of …
A System to Generate Test Data and Symbolically Execute Programs
LA Clarke - IEEE Transactions on Software Engineering, 1976 - search.proquest.com
This paper describes a system that attempts to generate test data for programs written in
ANSI Fortran. Given a path, the system symbolically executes the path and creates a set of …
ANSI Fortran. Given a path, the system symbolically executes the path and creates a set of …
[PDF][PDF] A System to Generate Test Data and Symbolically Execute Programs
LA CLARKE - IEEE TRANSACTIONS ON SOFTWARE …, 1976 - Citeseer
This paper describes a system that attempts to generate test data for programs written in
ANSI Fortran. Given a path, thesystem symbolically executes the path and creates a set of …
ANSI Fortran. Given a path, thesystem symbolically executes the path and creates a set of …
A System to Generate Test Data and Symbolically Execute Programs
LA Clarke - IEEE Transactions on Software Engineering, 1976 - computer.org
This paper describes a system that attempts to generate test data for programs written in
ANSI Fortran. Given a path, the system symbolically executes the path and creates a set of …
ANSI Fortran. Given a path, the system symbolically executes the path and creates a set of …
[引用][C] A System to Generate Test Data and Symbolically Execute Programs
LA Clarke - IEEE Transactions on Software Engineering, 1976 - cir.nii.ac.jp
A System to Generate Test Data and Symbolically Execute Programs | CiNii Research CiNii
国立情報学研究所 学術情報ナビゲータ[サイニィ] 詳細へ移動 検索フォームへ移動 論文・データを …
国立情報学研究所 学術情報ナビゲータ[サイニィ] 詳細へ移動 検索フォームへ移動 論文・データを …
[引用][C] A system to generate test data and symbolically execute programs
L CLARKE - IEEE Trans. Softw. Eng., 1976 - cir.nii.ac.jp
[PDF][PDF] A System to Generate Test Data and Symbolically Execute Programs
LA CLARKE - IEEE TRANSACTIONS ON SOFTWARE …, 1976 - hiper.cis.udel.edu
This paper describes a system that attempts to generate test data for programs written in
ANSI Fortran. Given a path, thesystem symbolically executes the path and creates a set of …
ANSI Fortran. Given a path, thesystem symbolically executes the path and creates a set of …