Journals in DBLP

Information & Software Technology
2004, volume: 46, number: 15

1. Huimin Lin, Hans-Dieter Ehrich, T. H. Tse
   Editorial. [Citation Graph (0, 0)][DBLP]
   Information & Software Technology, 2004, v:46, n:15, pp:987-988 [Journal]
   
2. Kai-Yuan Cai, Yong-Chao Li, Ke Liu
   Optimal and adaptive testing for software reliability assessment. [Citation Graph (0, 0)][DBLP]
   Information & Software Technology, 2004, v:46, n:15, pp:989-1000 [Journal]
   
3. Tsong Yueh Chen, Fei-Ching Kuo, Robert G. Merkel, Sebastian P. Ng
   Mirror adaptive random testing. [Citation Graph (0, 0)][DBLP]
   Information & Software Technology, 2004, v:46, n:15, pp:1001-1010 [Journal]
   
4. Peter Dybjer, Qiao Haiyan, Makoto Takeyama
   Verifying Haskell programs by combining testing, model checking and interactive theorem proving. [Citation Graph (0, 0)][DBLP]
   Information & Software Technology, 2004, v:46, n:15, pp:1011-1025 [Journal]
   
5. Wolfgang Grieskamp, Nikolai Tillmann, Margus Veanes
   Instrumenting scenarios in a model-driven development environment. [Citation Graph (0, 0)][DBLP]
   Information & Software Technology, 2004, v:46, n:15, pp:1027-1036 [Journal]
   
6. Bernard Wong
   The software evaluation framework 'SEF' extended. [Citation Graph (0, 0)][DBLP]
   Information & Software Technology, 2004, v:46, n:15, pp:1037-1047 [Journal]