by Tyszberowicz, Shmuel, Heinrich, Robert, Liu, Bo, Liu, Zhiming
Published in Dependable Software Engineering. Theories, Tools, and Applications (2018)

by van Dijk, Tom, Hahn, Ernst Moritz, Jansen, David N., Li, Yong, Neele, Thomas, Stoelinga, Mariëlle, Turrini, Andrea, Zhang, Lijun
Published in Dependable Software Engineering: Theories, Tools, and Applications (2015)

by Xie, Tao
Published in Dependable Software Engineering. Theories, Tools, and Applications (2018)

by Guo, Zhishan, Santinelli, Luca, Yang, Kecheng
Published in Dependable Software Engineering. Theories, Tools, and Applications (2018)

by Diwan, Maithily, D’Souza, Meenakshi
Published in Dependable Software Engineering. Theories, Tools, and Applications (2017)

by Laibinis, Linas, Troubitsyna, Elena, Prokhorova, Yuliya, Iliasov, Alexei, Romanovsky, Alexander
Published in Dependable Software Engineering: Theories, Tools, and Applications (2015)

by Mizera, Andrzej, Pang, Jun, Qu, Hongyang, Yuan, Qixia
Published in Dependable Software Engineering. Theories, Tools, and Applications (2017)

by Snook, James, Butler, Michael, Hoang, Thai Son
Published in Dependable Software Engineering. Theories, Tools, and Applications (2018)

by Lin, Chung-Ling, Shen, Wuwei, Yue, Tao, Li, Guangyuan
Published in Dependable Software Engineering. Theories, Tools, and Applications (2018)

by Deutschbein, Calvin, Fleming, Tom, Burns, Alan, Baruah, Sanjoy
Published in Dependable Software Engineering. Theories, Tools, and Applications (2017)

by Sun, Quan, Zhang, Wei, Wang, Chao, Liu, Zhiming
Published in Dependable Software Engineering. Theories, Tools, and Applications (2022)

by Lu, Yuteng, Shao, Kaicheng, Sun, Weidi, Sun, Meng
Published in Dependable Software Engineering. Theories, Tools, and Applications (2022)

by Li, Ran, Zhu, Huibiao, Banach, Richard
Published in Dependable Software Engineering. Theories, Tools, and Applications (2022)

by Shi, ZhengPu, Chen, Gang
Published in Dependable Software Engineering. Theories, Tools, and Applications (2022)

by Patil, Sandeep, Dubinin, Victor, Vyatkin, Victor
Published in Dependable Software Engineering (2015)

by Gross, Dennis, Jansen, Nils, Junges, Sebastian, Pérez, Guillermo A.
Published in Dependable Software Engineering. Theories, Tools, and Applications (2022)

by Li, Siran, Wang, Lei, Hu, Keyang, Mo, Ce, Jiang, Bo
Published in Dependable Software Engineering. Theories, Tools, and Applications (2022)

by Zhu, Fengmin, Xie, Xingyu, Feng, Dongyu, Meng, Na, He, Fei
Published in Dependable Software Engineering. Theories, Tools, and Applications (2022)

by Bandukara, M. H., Tzevelekos, N.
Published in Dependable Software Engineering. Theories, Tools, and Applications (2022)

by Sun, Weidi, Xue, Xiaoyong, Lu, Yuteng, Sun, Meng
Published in Dependable Software Engineering. Theories, Tools, and Applications (2022)