%0 Conference Paper %1 conf/kbse/PengLHLDWYZ23 %A Peng, Bo %A Liang, Pingjia %A Han, Tingchen %A Luo, Weilin %A Du, Jianfeng %A Wan, Hai %A Ye, Rongzhen %A Zheng, Yuhang %B ASE %D 2023 %I IEEE %K dblp %P 1766-1770 %T PURLTL: Mining LTL Specification from Imperfect Traces in Testing. %U http://dblp.uni-trier.de/db/conf/kbse/ase2023.html#PengLHLDWYZ23 %@ 979-8-3503-2996-4

@inproceedings{conf/kbse/PengLHLDWYZ23, added-at = {2023-11-16T00:00:00.000+0100}, author = {Peng, Bo and Liang, Pingjia and Han, Tingchen and Luo, Weilin and Du, Jianfeng and Wan, Hai and Ye, Rongzhen and Zheng, Yuhang}, biburl = {https://www.bibsonomy.org/bibtex/22212ffe6b8808639910d016eb97d5741/dblp}, booktitle = {ASE}, crossref = {conf/kbse/2023}, ee = {https://doi.org/10.1109/ASE56229.2023.00202}, interhash = {09d5f96ea21eed50b13752a662798ced}, intrahash = {2212ffe6b8808639910d016eb97d5741}, isbn = {979-8-3503-2996-4}, keywords = {dblp}, pages = {1766-1770}, publisher = {IEEE}, timestamp = {2024-04-09T23:52:01.000+0200}, title = {PURLTL: Mining LTL Specification from Imperfect Traces in Testing.}, url = {http://dblp.uni-trier.de/db/conf/kbse/ase2023.html#PengLHLDWYZ23}, year = 2023 }