Yang Zhou, Cyrille Artho. TC4JPF: Using Trace Compass to Visualize JPF Traces. ACM SIGSOFT Software Engineering Notes, 46(3):42-46, 2021. [doi]
@article{ZhouA21,
title = {TC4JPF: Using Trace Compass to Visualize JPF Traces},
author = {Yang Zhou and Cyrille Artho},
year = {2021},
doi = {10.1145/3468744.3468757},
url = {https://doi.org/10.1145/3468744.3468757},
researchr = {https://researchr.org/publication/ZhouA21},
cites = {0},
citedby = {0},
journal = {ACM SIGSOFT Software Engineering Notes},
volume = {46},
number = {3},
pages = {42-46},
}