|
|
|
|
LEADER |
01176naa a2200349 i 4500 |
001 |
NSK01001057521 |
003 |
HR-ZaNSK |
005 |
20200304112942.0 |
007 |
ta |
008 |
200304s2017 ci | |0|| ||eng |
035 |
|
|
|a (HR-ZaNSK)001057521
|
040 |
|
|
|a HR-ZaNSK
|b hrv
|c HR-ZaNSK
|e ppiak
|
041 |
0 |
|
|a eng
|b hrv
|
042 |
|
|
|a croatica
|
044 |
|
|
|a ci
|c hr
|
080 |
1 |
|
|a 004
|2 2011
|
100 |
1 |
|
|a Xing, Ying
|4 aut
|
245 |
1 |
2 |
|a A hybrid backtracking algorithm for automatic test data generation /
|c Ying Xing, Yunzhan Gong, Xiaoguang Zhou, Ludi Wang, Mengke Yang, Chi Zhang, Yukun Dong.
|
300 |
|
|
|b Ilustr.
|
504 |
|
|
|a Bibliografija: 25 jed.
|
504 |
|
|
|a Sažetak.
|
653 |
|
0 |
|a Hibridni algoritam
|a Algoritam pretraživanja
|a Provjera softvera
|
700 |
1 |
|
|a Gong, Yunzhan
|4 aut
|
700 |
1 |
|
|a Zhou, Xiaoguang
|4 aut
|
700 |
1 |
|
|a Wang, Ludi
|4 aut
|
700 |
1 |
|
|a Yang, Mengke
|4 aut
|
700 |
1 |
|
|a Zhang, Chi
|4 aut
|
700 |
1 |
|
|a Dong, Yukun
|4 aut
|
773 |
0 |
|
|t Tehnički vjesnik (Strojarski fakultet)
|x 1330-3651
|g 24 (2017), 3 ; str. 761-768
|w nsk.(HR-ZaNSK)000084915
|
981 |
|
|
|b B09/17
|
998 |
|
|
|b rpeo2003
|
856 |
4 |
1 |
|u https://hrcak.srce.hr/183035
|y Elektronička verzija članka
|