Journals in DBLP

IEEE Trans. Software Eng.
1994, volume: 20, number: 12

1. Antonia Bertolino, Martina Marré
   Automatic Generation of Path Covers Based on the Control Flow Analysis of Computer Programs. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1994, v:20, n:12, pp:885-899 [Journal]
   
2. Michel Diaz, Guy Juanole, Jean-Pierre Courtiat
   Observer-A Concept for Formal On-Line Validation of Distributed Systems. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1994, v:20, n:12, pp:900-913 [Journal]
   
3. Ying Liu, Ambuj K. Singh, Rajive Bagrodia
   A Decompositional Approach to the Design of Parallel Programs. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1994, v:20, n:12, pp:914-932 [Journal]
   
4. Farnam Jahanian, Aloysius K. Mok
   Modechart: A Specification Language for Real-Time Systems. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1994, v:20, n:12, pp:933-947 [Journal]
   
5. David Lorge Parnas, Jan Madey, Michal Iglewski
   Precise Documentation of Well-Structured Programs. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1994, v:20, n:12, pp:948-976 [Journal]
   
6. Tsong Yueh Chen, Yuen-Tak Yu
   On the Relationship Between Partition and Random Testing. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 1994, v:20, n:12, pp:977-980 [Journal]