Huimin Lin, T.H. Tse
págs. 987-988
Optimal and adaptive testing for software reliability assessment
Ke Liu, Kai-Yuan Cai, Yong-Chao Li
págs. 989-1000
Mirror adaptive random testing
F.-C. Kuo, S.P. Ng, R.G. Merkel, T.Y. Chen
págs. 1001-1010
Verifying Haskell programs by combining testing, model checking and interactive theorem proving
Qiao Haiyan, Makoto Takeyama, Peter Dybjer
págs. 1011-1025
Instrumenting scenarios in a model-driven development environment
Margus Veanes, Nikolai Tillmann, Wolfgang Grieskamp
págs. 1027-1036
The software evaluation framework `SEF¿ extended
Bernard Wong
págs. 1037-1047
pág. 1049
págs. 1051-1052
págs. 1053-1060
págs. 1061-1063
© 2001-2024 Fundación Dialnet · Todos los derechos reservados