Works matching IS 00985589 AND DT 2005 AND VI 31 AND IP 4

Results: 6
    1
    2

    Software Assurance by Bounded Exhaustive Testing.

    Published in:
    IEEE Transactions on Software Engineering, 2005, v. 31, n. 4, p. 328, doi. 10.1109/TSE.2005.52
    By:
    • Coppit, David;
    • Jinlin Yang;
    • Khurshid, Sarfraz;
    • Wei Le;
    • Sullivan, Kevin
    Publication type:
    Article
    3
    4
    5

    Exploiting Purity for Atomicity.

    Published in:
    IEEE Transactions on Software Engineering, 2005, v. 31, n. 4, p. 275, doi. 10.1109/TSE.2005.47
    By:
    • Flanagan, Cormac;
    • Freund, Stephen N.;
    • Qadeer, Shaz
    Publication type:
    Article
    6