5
views
0
recommends
+1 Recommend
0 collections
    0
    shares
      • Record: found
      • Abstract: not found
      • Article: not found

      On the Automated Generation of Program Test Data

      Read this article at

      ScienceOpenPublisher
      Bookmark
          There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

          Related collections

          Most cited references 9

          • Record: found
          • Abstract: not found
          • Article: not found

          A System to Generate Test Data and Symbolically Execute Programs

           L.A. Clarke (1976)
            Bookmark
            • Record: found
            • Abstract: not found
            • Article: not found

            Mechanical program analysis

             Ben Wegbreit (1975)
              Bookmark
              • Record: found
              • Abstract: not found
              • Conference Proceedings: not found

              SELECT---a formal system for testing and debugging programs by symbolic execution

                Bookmark

                Author and article information

                Journal
                IEEE Transactions on Software Engineering
                IIEEE Trans. Software Eng.
                Institute of Electrical and Electronics Engineers (IEEE)
                0098-5589
                December 1976
                December 1976
                : SE-2
                : 4
                : 293-300
                Article
                10.1109/TSE.1976.233835
                © 1976
                Product

                Comments

                Comment on this article