Journals in DBLP

IEEE Trans. Software Eng.
2004, volume: 30, number: 6

1. Laura K. Dillon, Walter F. Tichy
   Guest Editors' Introduction: 2003 International Conference on Software Engineering. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 2004, v:30, n:6, pp:353-354 [Journal]
   
2. Don S. Batory, Jacob Neal Sarvela, Axel Rauschmayer
   Scaling Step-Wise Refinement. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 2004, v:30, n:6, pp:355-371 [Journal]
   
3. Atanas Rountev, Ana Milanova, Barbara G. Ryder
   Fragment Class Analysis for Testing of Polymorphism in Java Software. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 2004, v:30, n:6, pp:372-387 [Journal]
   
4. Sagar Chaki, Edmund M. Clarke, Alex Groce, Somesh Jha, Helmut Veith
   Modular Verification of Software Components in C. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 2004, v:30, n:6, pp:388-402 [Journal]
   
5. Farn Wang, Karsten Schmidt, Fang Yu, Geng-Dian Huang, Bow-Yaw Wang
   BDD-Based Safety-Analysis of Concurrent Software with Pointer Data Structures Using Graph Automorphism Symmetry Reduction. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 2004, v:30, n:6, pp:403-417 [Journal]
   
6. D. Richard Kuhn, Dolores R. Wallace, Albert M. Gallo
   Software Fault Interactions and Implications for Software Testing. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 2004, v:30, n:6, pp:418-421 [Journal]