TRAIL

Results: 31019



#Item
1Software testing / Software engineering / Computing / Software development / Symbolic execution / Test automation / Differential testing / Unit testing / Fuzzing / Random testing / KeY / Test harness

DeepState: Symbolic Unit Testing for C and C++ Peter Goodman Alex Groce Trail of Bits, Inc.

Add to Reading List

Source URL: www.trailofbits.com

Language: English - Date: 2018-10-25 13:17:14
2Digital currency exchange / Gemini / Stablecoin / Economy

      Trail of Bits 

Add to Reading List

Source URL: gemini.com

Language: English - Date: 2018-09-11 17:23:28
3

SMART SENSOR AND PRODUCTION SYSTEMS FOR INDUSTRIAL IOT Ein Trail im Smart Systems Hub aus dem Bereich Industrial IoT Dr. Jan Reimann (Fraunhofer IWU), Dr. Martina Vogel (Fraunhofer ENAS), Björn Schuster (N+P) Life-ID

Add to Reading List

Source URL: www.smart-systems-hub.de

Language: German - Date: 2017-12-12 13:46:00
    4

    PDF Document

    Add to Reading List

    Source URL: www.trail.abruzzo.it

    - Date: 2007-09-21 06:18:25
      5

      PDF Document

      Add to Reading List

      Source URL: www.trail.abruzzo.it

      - Date: 2007-09-21 06:18:27
        6

        PDF Document

        Add to Reading List

        Source URL: www.trail.abruzzo.it

        - Date: 2009-07-24 09:32:03
          7

          PDF Document

          Add to Reading List

          Source URL: www.trail.abruzzo.it

          - Date: 2007-09-21 06:18:10
            8

            PDF Document

            Add to Reading List

            Source URL: www.trail.abruzzo.it

            - Date: 2014-08-04 12:46:27
              9

              PDF Document

              Add to Reading List

              Source URL: www.suedthueringen-trail.de

              - Date: 2017-11-10 17:28:19
                10

                PDF Document

                Add to Reading List

                Source URL: www.trail.abruzzo.it

                - Date: 2009-07-24 09:31:23
                  UPDATE