Journals in DBLP

Electr. Notes Theor. Comput. Sci.
2007, volume: 174, number: 4

1. Roderick Bloem, Marco Roveri, Fabio Somenzi
   Preface. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:174, n:4, pp:1- [Journal]
   
2. John Moondanos
   From Error to Error: Logic Debugging in the Many-Core Era. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:174, n:4, pp:3-7 [Journal]
   
3. Alper Sen
   Error Diagnosis in Equivalence Checking of High Performance Microprocessors. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:174, n:4, pp:9-18 [Journal]
   
4. Lionel van den Berg, Paul A. Strooper, Wendy Johnston
   An Automated Approach for the Interpretation of Counter-Examples. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:174, n:4, pp:19-35 [Journal]
   
5. Jooyong Lee
   Dynamic Reverse Code Generation for Backward Execution. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:174, n:4, pp:37-54 [Journal]
   
6. Andreas Zeller
   Where Do Bugs Come From? [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:174, n:4, pp:55-59 [Journal]
   
7. Wolfgang Mayer, Markus Stumptner
   Model-Based Debugging - State of the Art And Future Challenges. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:174, n:4, pp:61-82 [Journal]
   
8. Irith Pomeranz, Sudhakar M. Reddy
   On the Use of Functional Test Generation in Diagnostic Test Generation for Synchronous Sequential Circuits. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:174, n:4, pp:83-93 [Journal]
   
9. Andreas Griesmayer, Stefan Staber, Roderick Bloem
   Automated Fault Localization for C Programs. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:174, n:4, pp:95-111 [Journal]
   
10. Martin C. Rinard
    Automated Techniques for Surviving (Otherwise) Fatal Software Errors. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:174, n:4, pp:113-116 [Journal]
    
11. Juan Carlos López Pimentel, Raul Monroy, Dieter Hutter
    A Method for Patching Interleaving-Replay Attacks in Faulty Security Protocols. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:174, n:4, pp:117-130 [Journal]