Marko Dimjasevic, Falk Howar, Kasper Søe Luckow, Zvonimir Rakamaric
Study of Integrating Random and Symbolic Testing for Object-Oriented Software
IFM, 2018.
@inproceedings{IFM-2018-DimjasevicHLR,
author = "Marko Dimjasevic and Falk Howar and Kasper Søe Luckow and Zvonimir Rakamaric",
booktitle = "{Proceedings of the 14th International Conference on Integrated Formal Methods}",
doi = "10.1007/978-3-319-98938-9_6",
isbn = "['978-3-319-98937-2', '978-3-319-98938-9']",
pages = "89--109",
publisher = "{Springer}",
title = "{Study of Integrating Random and Symbolic Testing for Object-Oriented Software}",
year = 2018,
}
Tags: