KLEE

Results: 293



#Item
31

How is Dynamic Symbolic Execution Different from Manual Testing?
 An Experience Report on KLEE Xiaoyin Wang, Lingming Zhang, Philip Tanofsky University of Texas at San Antonio

Add to Reading List

Source URL: issta2015.cs.uoregon.edu

Language: English - Date: 2015-07-17 15:27:25
    32

    4. SEB Symposium Verstehen und Handeln: Von der Gesellschaftsdiagnose zum Therapieerfolg Zentrum Paul Klee, Bern Donnerstag, 5. November 2015, 10.00 bisUhr

    Add to Reading List

    Source URL: www.burnoutexperts.ch

    Language: German - Date: 2015-12-15 09:18:00
      33

      Call for Abstracts Music, Art and Philosophy in Dialogue Zentrum Paul Klee, Bern, Switzerland 20th - 21th May 2016

      Add to Reading List

      Source URL: www.philosophie.unibe.ch

      Language: German - Date: 2016-06-02 03:13:13
        34

        Die Augmented Reality App für die Ausstellung „Paul Klee – Mythos Fliegen“ in Augsburg MAI-TagungMai 2014, Völklinger Hütte

        Add to Reading List

        Source URL: www.mai-tagung.lvr.de

        Language: German - Date: 2014-08-07 07:30:12
          35

          MENÜ ZUCKERERBSEN Zu c kerer bsen m i t K no l len S au er klee, Meyer Zi trone & Lei ndotter Ö l �� 2013 O l a szriz li ng „ Si ralomvágó“ , Jásd i / Balaton od er

          Add to Reading List

          Source URL: www.steirereck.at

          Language: German - Date: 2016-06-16 09:43:35
            36

            SIMPLICIAL MOVES ON BALANCED COMPLEXES IVAN IZMESTIEV, STEVEN KLEE, AND ISABELLA NOVIK Abstract. We introduce a notion of cross-flips: local moves that transform a balanced (i.e., properly (d + 1)-colored) triangulation

            Add to Reading List

            Source URL: www.math.washington.edu

            Language: English - Date: 2016-01-27 23:19:46
              37

              Centrally symmetric manifolds with few vertices Steven Klee ∗ Department of Mathematics

              Add to Reading List

              Source URL: www.math.washington.edu

              Language: English - Date: 2011-09-08 21:44:23
                38

                From flag complexes to banner complexes ∗ Steven Klee Isabella Novik

                Add to Reading List

                Source URL: www.math.washington.edu

                Language: English - Date: 2013-04-05 15:41:36
                  39

                  FÖRDERVEREIN MEISTERHÄUSER DESSAU e.V. Meisterhaus Kandinsky/Klee EbertalleeDDessau-Roßlau Ansprechpartner:

                  Add to Reading List

                  Source URL: www.anhalt-dessau-wittenberg.de

                  Language: German - Date: 2016-01-28 02:55:56
                    40

                    Press Contact: Meredith Klee Inner Circle Labs for Luidia Inc. +

                    Add to Reading List

                    Source URL: www.luidia.com

                    Language: English
                      UPDATE