[Lecture Notes in Computer Science] Integrated Formal Methods Volume 11023 (14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings) || Study of Integrating Random and Symbolic Testing for Object-Oriented Software
Furia, Carlo A., Winter, KirstenVolume:
10.1007/97
Year:
2018
Language:
english
DOI:
10.1007/978-3-319-98938-9_6
File:
PDF, 1.12 MB
english, 2018