by Orchard, Dominic, Liepelt, Vilem-Benjamin, Eades III, Harley
Published in Proceedings of ACM on programming languages (01.08.2019)

by Kucuk, Yigit, Henderson, Tim A. D., Podgurski, Andy
Published in Proceedings / International Conference on Software Engineering (01.05.2021)

by Karthein, Bjorn, Staicu, Cristian-Alexandru, Zeller, Andreas
Published in IEEE/ACM International Conference on Automated Software Engineering : [proceedings] (27.10.2024)

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

by Melo, Leandro T. C., Ribeiro, Rodrigo G., Guimarães, Breno C. F., Pereira, Fernando Magno Quintão
Published in ACM transactions on programming languages and systems (01.12.2020)

by Mudduluru, Rashmi, Waataja, Jason, Millstein, Suzanne, Ernst, Michael
Published in 2021 IEEE/ACM 43rd International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) (01.05.2021)

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

by Elder, Matt, Lim, Junghee, Sharma, Tushar, Andersen, Tycho, Reps, Thomas
Published in ACM transactions on programming languages and systems (28.10.2014)

by Reisner, Elnatan, Song, Charles, Ma, Kin-Keung, Foster, Jeffrey S., Porter, Adam
Published in 2010 ACM/IEEE 32nd International Conference on Software Engineering (01.05.2010)

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 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 Erni, Nicolas, Mohammed, Al-Ameen Mohammed Ali, Birchler, Christian, Derakhshanfar, Pouria, Lukasczyk, Stephan, Panichella, Sebastiano
Published in 2024 IEEE/ACM International Workshop on Search-Based and Fuzz Testing (SBFT) (14.04.2024)

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

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

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 Malik, Muhammad Zubair
Published in Proceedings of the 33rd International Conference on Software Engineering (21.05.2011)

by Shar, Lwin Khin, Tan, Hee Beng Kuan
Published in 27th IEEE/ACM International Conference on Automated Software Engineering (ASE) : proceedings, September 3-7, 2012, Essen, Germany (03.09.2012)

by Jones, Cliff, Misra, Jayadev
Published in Theories of Programming (04.10.2021)

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