Works matching IS 14332779 AND DT 2003 AND VI 5 AND IP 1

Results: 8
    1

    Automated test generation from timed automata.

    Published in:
    International Journal on Software Tools for Technology Transfer, 2003, v. 5, n. 1, p. 59, doi. 10.1007/s10009-002-0094-1
    By:
    • Nielsen, Brian;
    • Skou, Arne
    Publication type:
    Article
    2
    3

    Compositional message sequence charts.

    Published in:
    International Journal on Software Tools for Technology Transfer, 2003, v. 5, n. 1, p. 78, doi. 10.1007/s10009-002-0085-2
    By:
    • Gunter, Elsa L.;
    • Muscholl, Anca;
    • Peled, Doron
    Publication type:
    Article
    4

    Finding feasible abstract counter-examples.

    Published in:
    International Journal on Software Tools for Technology Transfer, 2003, v. 5, n. 1, p. 34, doi. 10.1007/s10009-002-0088-z
    By:
    • P&aCARON;s&aCARON;reanu, Corina S.;
    • Dwyer, Matthew B.;
    • Visser, Willem
    Publication type:
    Article
    5
    6
    7
    8

    A mutation analysis tool for Java programs.

    Published in:
    International Journal on Software Tools for Technology Transfer, 2003, v. 5, n. 1, p. 90, doi. 10.1007/s10009-002-0099-9
    By:
    • Chevalley, P.;
    • Thévenod-Fosse, P.
    Publication type:
    Article