by Raghothaman, Mukund, Yi Wei, Hamadi, Youssef
Published in 2016 IEEE/ACM 38th International Conference on Software Engineering (ICSE) (01.05.2016)

by Zhang, Tianyi, Upadhyaya, Ganesha, Reinhardt, Anastasia, Rajan, Hridesh, Kim, Miryung
Published in 2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE) (27.05.2018)

by Wu, Yueming, Zou, Deqing, Dou, Shihan, Yang, Wei, Xu, Duo, Jin, Hai
Published in 2022 IEEE/ACM 44th International Conference on Software Engineering (ICSE) (01.05.2022)

by Smolka, Scott, Sims, Steve, Steffen, Bernhard
Published in Formal aspects of computing (30.10.2024)

by Mahamdi, Celia, Lejeune, Jonathan, Sopena, Julien, Sens, Pierre, Makpangou, Mesaac
Published in Formal aspects of computing (19.10.2024)

by Schou, Morten Konggaard, Poese, Ingmar, Srba, Jiri
Published in Formal aspects of computing (15.10.2024)

by Marmsoler, Diego, Brucker, Achim D.
Published in Formal aspects of computing (15.10.2024)

by Belardinelli, Francesco, Boureanu, Ioana, Malvone, Vadim, Rajaona, Fortunat
Published in Formal aspects of computing (11.10.2024)

by Broy, Manfred
Published in Formal aspects of computing (30.09.2024)

by Xiao, Lili, Zhu, Huibiao, Chen, Sini, He, Mengda, Qin, Shengchao
Published in Formal aspects of computing (30.09.2024)

by Albalwe, Maram, Archibald, Blair, Sevegnani, Michele
Published in Formal aspects of computing (30.09.2024)

by Zhao, Hongyan, Zhu, Huibiao, Sheng, Feng, He, Jifeng, Bowen, Jonathan
Published in Formal aspects of computing (25.09.2024)

by Das, Susmoy, Sharma, Arpit
Published in Formal aspects of computing (21.09.2024)

by Correia, Cláudio, Prates, Rita, Fonseca, Luís, Correia, Miguel, Rodrigues, Luís
Published in Formal aspects of computing (02.08.2024)

by Wardziński, Andrzej, Jarzębowicz, Aleksander
Published in Formal aspects of computing (01.08.2024)

by Biswas, Sumon, Wardat, Mohammad, Rajan, Hridesh
Published in 2022 IEEE/ACM 44th International Conference on Software Engineering (ICSE) (01.05.2022)

by Wakigami, Kazuya, Machida, Fumio, Phung-Duc, Tuan
Published in Formal aspects of computing (27.06.2024)

by Menzies, Tim, Turhan, Burak, Bener, Ayse, Gay, Gregory, Cukic, Bojan, Jiang, Yue
Published in International Conference on Software Engineering 2008 (12.05.2008)

by Li, Yi, Wang, Shaohua, Nguyen, Tien N.
Published in 2020 IEEE/ACM 42nd International Conference on Software Engineering (ICSE) (01.10.2020)

by Vali, Kourosh, Vafi, Ata, Kasap, Begum, Ghiasi, Soheil
Published in ACM transactions on embedded computing systems (09.09.2023)