%0 Journal Article %1 journals/cluster/FrajtakBJ17 %A Frajták, Karel %A Bures, Miroslav %A Jelínek, Ivan %D 2017 %J Clust. Comput. %K dblp %N 1 %P 855-865 %T Exploratory testing supported by automated reengineering of model of the system under test. %U http://dblp.uni-trier.de/db/journals/cluster/cluster20.html#FrajtakBJ17 %V 20

@article{journals/cluster/FrajtakBJ17, added-at = {2020-09-29T00:00:00.000+0200}, author = {Frajták, Karel and Bures, Miroslav and Jelínek, Ivan}, biburl = {https://www.bibsonomy.org/bibtex/26beca20c46b1add2026fe013970452b8/dblp}, ee = {https://doi.org/10.1007/s10586-017-0773-z}, interhash = {40e9afcb1006eb1b83db98a1567cae1d}, intrahash = {6beca20c46b1add2026fe013970452b8}, journal = {Clust. Comput.}, keywords = {dblp}, number = 1, pages = {855-865}, timestamp = {2020-09-30T11:47:47.000+0200}, title = {Exploratory testing supported by automated reengineering of model of the system under test.}, url = {http://dblp.uni-trier.de/db/journals/cluster/cluster20.html#FrajtakBJ17}, volume = 20, year = 2017 }