Symbolic

Results: 1438



#Item
121

Efficient State Merging in Symbolic Execution Volodymyr Kuznetsov Johannes Kinder Stefan Bucur

Add to Reading List

Source URL: dslab.epfl.ch

- Date: 2016-12-02 10:07:53
    122

    Targeted Program Transformations for Symbolic Execution Cristian Cadar Imperial College London

    Add to Reading List

    Source URL: www.doc.ic.ac.uk

    - Date: 2016-12-06 14:12:25
      123

      The Three Symbolic Supports of the Dharma: Teaching on the Benefits of Constructing Statues and Stupas A Teaching by

      Add to Reading List

      Source URL: 029e714.netsolstores.com

      - Date: 2015-10-01 05:46:47
        124

        Multi-solver Support in Symbolic Execution Hristina Palikareva and Cristian Cadar Department of Computing, Imperial College London London, United Kingdom {h.palikareva, c.cadar}@imperial.ac.uk

        Add to Reading List

        Source URL: srg.doc.ic.ac.uk

        - Date: 2013-05-01 10:35:53
          125

          PLACESA Symbolic Semantics for a Calculus for Service-Oriented Computing 1 Rosario Pugliese2

          Add to Reading List

          Source URL: rap.dsi.unifi.it

          - Date: 2008-10-14 10:59:30
            126

            Fast and Precise Symbolic Analysis of Concurrency Bugs in Device Drivers Pantazis Deligiannis Alastair F. Donaldson

            Add to Reading List

            Source URL: www.doc.ic.ac.uk

            - Date: 2015-08-24 18:36:19
              127

              Symbolic vs. Concrete Testing Mooly Sagiv Program Path • Program Path – A path in the control flow of the program

              Add to Reading List

              Source URL: www.cs.tau.ac.il

              - Date: 2015-04-28 09:10:31
                128

                SCSS2016 The 7th International Symposium on Symbolic Computation in Software Science Ochanomizu University | March, 2016, science bldg. 3, room 701 The program March 28, 2016 (Monday)

                Add to Reading List

                Source URL: 54.200.129.9

                - Date: 2016-03-27 05:02:02
                  129

                  Symbolic Execution Joe Hendrix Galois, Inc SMT Summer School 2015 | galois |

                  Add to Reading List

                  Source URL: www.cs.nyu.edu

                  - Date: 2015-07-17 18:21:51
                    130

                    Computationally Sound Symbolic Anonymity of a Ring Signature Yusuke Kawamoto † Hideki Sakurada ‡

                    Add to Reading List

                    Source URL: www.cs.bham.ac.uk

                    - Date: 2013-08-01 12:14:39
                      UPDATE