Refinement

Results: 838



#Item
61

Type Targeted Testing Eric L. Seidel, Niki Vazou, and Ranjit Jhala UC San Diego Abstract. We present a new technique called type targeted testing, which translates precise refinement types into comprehensive test-suites.

Add to Reading List

Source URL: goto.ucsd.edu

- Date: 2014-10-20 15:46:33
    62

    Refinement Types For Haskell Niki Vazou Eric L. Seidel Ranjit Jhala

    Add to Reading List

    Source URL: goto.ucsd.edu

    - Date: 2014-06-11 23:19:29
      63

      Dynamic Mesh Refinement with Quad Trees and Off-Centers Umut A. Acar† Benoˆıt Hudson

      Add to Reading List

      Source URL: reports-archive.adm.cs.cmu.edu

        64

        Automatic Refinement of Syntactic Categories in Chinese Word Structures Jianqiang Ma University of Tübingen, Department of Linguistics Wilhelmstr. 19, 72074 Tubingen, Germany

        Add to Reading List

        Source URL: www.lrec-conf.org

        - Date: 2014-05-20 12:23:20
          65

          Real-Time GPU Silhouette Refinement using adaptively blended Bézier Patches Christopher Dyken1,2 and Martin Reimers1 and Johan Seland1 1 Centre of Mathematics for Applications, University of Oslo, Norway 2

          Add to Reading List

          Source URL: heim.ifi.uio.no

          - Date: 2007-06-14 10:34:38
            66

            Dynamic Mesh Refinement Benoˆıt Hudson CMU-CSDecember 2007

            Add to Reading List

            Source URL: reports-archive.adm.cs.cmu.edu

              67

              Validating Process Refinement with Ontologies Yuan Ren1 , Gerd Groener2 , Jens Lemcke3 , Tirdad Rahmani3 , Andreas Friesen3 , Yuting Zhao1 , Jeff Z. Pan1 and Steffen Staab2 1 University of Aberdeen, 2 University of Kobl

              Add to Reading List

              Source URL: ceur-ws.org

              - Date: 2009-07-07 04:46:34
                68

                Extrapolation-based Path Invariants for Abstraction Refinement of Fifo Systems Alexander Heußner1 , Tristan Le Gall2 , and Gr´egoire Sutre1 1 LaBRI, Universit´e Bordeaux, CNRS {heussner, sutre}@labri.fr

                Add to Reading List

                Source URL: www.labri.fr

                - Date: 2016-10-07 07:54:24
                  69

                  Automated Generalization and Refinement of Code Templates with E KEKO /X Tim Molderez and Coen De Roover Software Languages Lab Vrije Universiteit Brussel, Belgium ,

                  Add to Reading List

                  Source URL: soft.vub.ac.be

                  - Date: 2016-01-19 09:57:51
                    UPDATE