Works matching DE "SOFTWARE validation"


Results: 533
    1
    2
    3
    4
    5
    6
    7

    Rigorous examination of reactive systems.

    Published in:
    International Journal on Software Tools for Technology Transfer, 2014, v. 16, n. 5, p. 457, doi. 10.1007/s10009-014-0337-y
    By:
    • Howar, Falk;
    • Isberner, Malte;
    • Merten, Maik;
    • Steffen, Bernhard;
    • Beyer, Dirk;
    • Păsăreanu, Corina
    Publication type:
    Article
    8

    Tailored generation of concurrent benchmarks.

    Published in:
    International Journal on Software Tools for Technology Transfer, 2014, v. 16, n. 5, p. 543, doi. 10.1007/s10009-014-0339-9
    By:
    • Steffen, Bernhard;
    • Howar, Falk;
    • Isberner, Malte;
    • Naujokat, Stefan;
    • Margaria, Tiziana
    Publication type:
    Article
    9
    10

    Program verification and testing technologies.

    Published in:
    International Journal on Software Tools for Technology Transfer, 2014, v. 16, n. 4, p. 335, doi. 10.1007/s10009-014-0327-0
    By:
    • Margaria, Tiziana;
    • Qiu, Zongyan;
    • Yang, Hongli
    Publication type:
    Article
    11
    12

    Symbolic object code analysis.

    Published in:
    International Journal on Software Tools for Technology Transfer, 2014, v. 16, n. 1, p. 81, doi. 10.1007/s10009-012-0256-8
    By:
    • Mühlberg, Jan;
    • Lüttgen, Gerald
    Publication type:
    Article
    13

    Constraint-based BMC: a backjumping strategy.

    Published in:
    International Journal on Software Tools for Technology Transfer, 2014, v. 16, n. 1, p. 103, doi. 10.1007/s10009-012-0258-6
    By:
    • Collavizza, Hélène;
    • Le Vinh, Nguyen;
    • Ponsini, Olivier;
    • Rueher, Michel;
    • Rollet, Antoine
    Publication type:
    Article
    14
    15

    Formal modeling and validation of Stateflow diagrams.

    Published in:
    International Journal on Software Tools for Technology Transfer, 2012, v. 14, n. 6, p. 653, doi. 10.1007/s10009-012-0235-0
    By:
    • Chen, Chunqing;
    • Sun, Jun;
    • Liu, Yang;
    • Dong, Jin;
    • Zheng, Manchun
    Publication type:
    Article
    16
    17
    18
    19
    20
    21
    22
    23
    24
    25
    26
    27
    28
    29
    30
    31
    32
    33
    34
    35
    36
    37
    38
    39
    40
    41
    42
    43
    44
    45
    46
    47

    Authors' response.

    Published in:
    Journal of Forensic Sciences, 2024, v. 69, n. 2, p. 736, doi. 10.1111/1556-4029.15426
    By:
    • Hahn, Meinhard;
    • Courts, Cornelius;
    • Eckert, Martin;
    • Fimmers, Rolf;
    • Grethe, Stefanie;
    • Kranz, Sebastian;
    • Leuker, Christoph;
    • Oppelt, Claus;
    • Razbin, Sven;
    • Templin, Michael;
    • Vennemann, Marielle;
    • Zimmermann, Peter;
    • Anslinger, Katja
    Publication type:
    Article
    48
    49
    50