by Moran, Kevin, Palacio, David N., Bernal-Cardenas, Carlos, McCrystal, Daniel, Poshyvanyk, Denys, Shenefiel, Chris, Johnson, Jeff
Published in 2020 IEEE/ACM 42nd International Conference on Software Engineering (ICSE) (01.10.2020)

by Kaiser, Alexander, Kroening, Daniel, Wahl, Thomas
Published in ACM transactions on programming languages and systems (28.10.2014)

by Florez, Juan Manuel, Perry, Jonathan, Wei, Shiyi, Marcus, Andrian
Published in 2022 IEEE/ACM 44th International Conference on Software Engineering (ICSE) (01.05.2022)

by Kokinda, Ella, Moster, Makayla, Dominic, James, Rodeghero, Paige
Published in IEEE/ACM International Conference on Software Engineering: New Ideas and Emerging Technologies Results (Online) (01.05.2023)

by Xia, Yuanjie, Ding, Zishuo, Shang, Weiyi
Published in IEEE/ACM International Conference on Automated Software Engineering : [proceedings] (11.09.2023)

by Cha, Sungdeok, Taylor, Richard N., Kang, Kyochul
Year of Publication 2019

by Ramin, Frederike
Published in Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering: Companion Proceedings (01.10.2020)

by Frey, Sylvain, Rashid, Awais, Anthonysamy, Pauline, Pinto-Albuquerque, Maria, Naqvi, Syed Asad
Published in 2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE) (27.05.2018)

by Rubio-González, Cindy, Nguyen, Cuong, Nguyen, Hong Diep, Demmel, James, Kahan, William, Sen, Koushik, Bailey, David H., Iancu, Costin, Hough, David
Published in 2013 SC - International Conference for High Performance Computing, Networking, Storage and Analysis (SC) (17.11.2013)

by Banerjee, Abhijeet, Roychoudhury, Abhik
Published in 2016 IEEE/ACM International Conference on Mobile Software Engineering and Systems (MOBILESoft) (01.05.2016)

by Ciancarini, Paolo, Kruglov, Artem, Pedrycz, Witod, Salikhov, Dilshat, Succi, Giancarlo
Published in 2022 IEEE/ACM 44th International Conference on Software Engineering: Software Engineering in Practice (ICSE-SEIP) (01.05.2022)

by Rigby, Peter C., Robillard, Martin P.
Published in Proceedings of the 2013 International Conference on Software Engineering (18.05.2013)

by Maalej, W.
Published in 2009 IEEE/ACM International Conference on Automated Software Engineering (01.11.2009)

by Cordeiro, Lucas
Published in 2010 ACM/IEEE 32nd International Conference on Software Engineering (01.05.2010)

by Apel, Sven, Rhein, Alexander von, Wendler, Philipp, Größlinger, Armin, Beyer, Dirk
Published in Proceedings of the 2013 International Conference on Software Engineering (18.05.2013)

by Huang, Fuqun
Published in 2016 IEEE ACM Cooperative and Human Aspects of Software Engineering (CHASE) (14.05.2016)

by Hoare, C. A. R.
Published in Proceedings of the 6th international conference on Verification, Model Checking, and Abstract Interpretation (01.01.2005)

by Malik, Muhammad Zubair
Published in Proceedings of the 33rd International Conference on Software Engineering (21.05.2011)

by Maiga, Abdou, Ali, Nasir, Bhattacharya, Neelesh, Sabané, Aminata, Guéhéneuc, Yann-Gaël, Antoniol, Giuliano, Aïmeur, Esma
Published in 27th IEEE/ACM International Conference on Automated Software Engineering (ASE) : proceedings, September 3-7, 2012, Essen, Germany (03.09.2012)

by Zimmerman, Marc K., Lundqvist, Kristina, Leveson, Nancy
Published in Proceedings - International Conference on Software Engineering (01.01.2002)