Blog
About
Search
Advanced search

11
views
59
references
 Top references
40
cited by
 Most cited
    
0 reviews
 Review
0
comments
 Comment
0
recommends
+1 Recommend
0 collections
    0
    shares
      2,415
      similar
       All similar
      • Record: found
      • Abstract: not found
      • Article: not found

      Dynamically discovering likely program invariants to support program evolution

      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 59

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

          An axiomatic basis for computer programming

           C. Hoare (1969)
          Article 0 comments Cited 291 times – based on 0 reviews     Review now
            Bookmark
            • Record: found
            • Abstract: not found
            • Article: not found

            Learning logical definitions from relations

             J. R. Quinlan (1990)
            Article 0 comments Cited 63 times – based on 0 reviews     Review now
              Bookmark
              • Record: found
              • Abstract: not found
              • Article: not found

              Discovering models of software processes from event-based data

               Jonathan Cook,  Alexander Wolf (1998)
              Article 0 comments Cited 57 times – based on 0 reviews     Review now
                Bookmark
                All references

                Author and article information

                Journal
                Title: IEEE Transactions on Software Engineering
                Abbreviated Title: IIEEE Trans. Software Eng.
                Publisher: Institute of Electrical and Electronics Engineers (IEEE)
                ISSN (Print): 00985589
                Publication date (Print): Feb. 2001
                Volume: 27
                Issue: 2
                Pages: 99-123
                Article
                DOI: 10.1109/32.908957
                Product

                Data availability:

                Comments

                Comment on this article

                Similar content 2,415

                See all similar

                Cited by 40

                See all cited by

                Most referenced authors 206

                See all reference authors