@inproceedings{Hungar,
    doi = {10.1109/test.2003.1271084},
    url = {https://doi.org/10.1109%2Ftest.2003.1271084},
    publisher = {{IEEE}},
    author = {H. Hungar and T. Margaria and B. Steffen},
    title = {Test-based model generation for legacy systems},
    booktitle = {International Test Conference, 2003. Proceedings. {ITC} 2003.}
}

@inproceedings{Hungar, doi = {10.1109/test.2003.1271084}, url = {https://doi.org/10.1109%2Ftest.2003.1271084}, publisher = {{IEEE}}, author = {H. Hungar and T. Margaria and B. Steffen}, title = {Test-based model generation for legacy systems}, booktitle = {International Test Conference, 2003. Proceedings. {ITC} 2003.} }