|
Journals in DBLP
- 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]
- 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]
- 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]
- 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]
- 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]
- 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]
|