Journals in DBLP

IEEE Trans. Software Eng.
2001, volume: 27, number: 8

1. Lamia Labed Jilani, Jules Desharnais, Ali Mili
   Defining and Applying Measures of Distance Between Specifications. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 2001, v:27, n:8, pp:673-703 [Journal]
   
2. Sridhar Alagar, Subbarayan Venkatesan
   Techniques to Tackle State Explosion in Global Predicate Detection. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 2001, v:27, n:8, pp:704-714 [Journal]
   
3. Shyh-Kwei Chen, W. Kent Fuchs, Jen-Yao Chung
   Reversible Debugging Using Program Instrumentation. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 2001, v:27, n:8, pp:715-727 [Journal]
   
4. Enrico Vicario
   Static Analysis and Dynamic Steering of Time-Dependent Systems. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 2001, v:27, n:8, pp:728-748 [Journal]
   
5. Klaus Havelund, Michael R. Lowry, John Penix
   Formal Analysis of a Space-Craft Controller Using SPIN. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 2001, v:27, n:8, pp:749-765 [Journal]
   
6. Paloma Díaz, Ignacio Aedo, Fivos Panetsos
   Erratum Corrections to 'Modeling the Dynamic Behavior of Hypermedia Applications'. [Citation Graph (0, 0)][DBLP]
   IEEE Trans. Software Eng., 2001, v:27, n:8, pp:766-767 [Journal]