Works matching IS 00985589 AND DT 2004 AND VI 30 AND IP 6
Results: 6
BDD-Based Safety-Analysis of Concurrent Software with Pointer Data Structures Using Graph Automorphism Symmetry Reduction.
- Published in:
- IEEE Transactions on Software Engineering, 2004, v. 30, n. 6, p. 403, doi. 10.1109/TSE.2004.15
- By:
- Publication type:
- Article
Modular Verification of Software Components in C.
- Published in:
- IEEE Transactions on Software Engineering, 2004, v. 30, n. 6, p. 388, doi. 10.1109/TSE.2004.22
- By:
- Publication type:
- Article
Fragment Class Analysis for Testing of Polymorphism in Java Software.
- Published in:
- IEEE Transactions on Software Engineering, 2004, v. 30, n. 6, p. 372, doi. 10.1109/TSE.2004.20
- By:
- Publication type:
- Article
Scaling Step-Wise Refinement.
- Published in:
- IEEE Transactions on Software Engineering, 2004, v. 30, n. 6, p. 355, doi. 10.1109/TSE.2004.23
- By:
- Publication type:
- Article
Guest Editors' Introduction: 2003 International Conference on Software Engineering.
- Published in:
- 2004
- By:
- Publication type:
- Editorial
Software Fault Interactions and Implications for Software Testing.
- Published in:
- IEEE Transactions on Software Engineering, 2004, v. 30, n. 6, p. 418, doi. 10.1109/TSE.2004.24
- By:
- Publication type:
- Article