by Garcia, Ronald, Tanter, Éric, Wolff, Roger, Aldrich, Jonathan
Published in ACM transactions on programming languages and systems (28.10.2014)

by Xu, Xiangzhe, Xuan, Zhou, Feng, Shiwei, Cheng, Siyuan, Ye, Yapeng, Shi, Qingkai, Tao, Guanhong, Yu, Le, Zhang, Zhuo, Zhang, Xiangyu
Year of Publication 29.08.2023

by Xu, Xiangzhe, Zhou, Xuan, Feng, Shiwei, Cheng, Siyuan, Ye, Yapeng, Shi, Qingkai, Guanhong Tao, Le, Yu, Zhang, Zhuo, Zhang, Xiangyu
Published in arXiv.org (30.08.2023)

by Beadle, L., Johnson, C.G.
Published in 2008 IEEE Congress on Evolutionary Computation (IEEE World Congress on Computational Intelligence) (01.06.2008)

by Nguyen, Hoang Duong Thien, Qi, Dawei, Roychoudhury, Abhik, Chandra, Satish
Published in Proceedings of the 2013 International Conference on Software Engineering (18.05.2013)

by Rewitzky, Ingrid, Brink, Chris
Published in Formal aspects of computing (01.09.1998)

by Disney, Tim, Flanagan, Cormac
Published in 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (01.07.2015)

by Rémy, Didier, Yakobowski, Boris
Published in Proceedings of the 10th international conference on Functional and Logic Programming (19.04.2010)

by Kannengiesser, Udo, Radmayr, Markus, Heininger, Richard, Meyer, Nils
Published in 2014 IEEE/WIC/ACM International Joint Conferences on Web Intelligence (WI) and Intelligent Agent Technologies (IAT) (01.08.2014)

by El-Ghali, M., Masri, W.
Published in 2009 ICSE Workshop on Software Engineering for Secure Systems (19.05.2009)

by Hehner, Eric C. R.
Published in Communications of the ACM (01.02.1984)

by Ceresa, Martín A., Jaskelioff, Mauro J.
Published in Science of computer programming (01.05.2022)

by Pang, Ka Man
Year of Publication 2020

by Schreiner, Wolfgang
Published in Electronic proceedings in theoretical computer science (21.02.2012)

by Back, Ralph-Johan, Wright, J. (Joakim) von
Year of Publication 1998

by Nimal, Vincent P. J
Year of Publication 2014

by Zhang, Mu, Yin, Heng
Published in Android Application Security (2016)

by Schreiner, Wolfgang
Published in arXiv.org (22.02.2012)

by Cousot, Patrick, Cousot, Radhia
Published in Electronic notes in theoretical computer science (01.11.2001)

by Hayden, Christopher M., Saur, Karla, Smith, Edward K., Hicks, Michael, Foster, Jeffrey S.
Published in ACM transactions on programming languages and systems (28.10.2014)