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

by Scalas, Alceste, Yoshida, Nobuko
Published in Proceedings of ACM on programming languages (02.01.2019)

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

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 Garcia, Ronald, Tanter, Éric, Wolff, Roger, Aldrich, Jonathan
Published in ACM transactions on programming languages and systems (28.10.2014)

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 Fisman, Dana, Rosu, Grigore
Year of Publication 2022

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 Kaiser, Alexander, Kroening, Daniel, Wahl, Thomas
Published in ACM transactions on programming languages and systems (28.10.2014)

by Blanchette, Jasmin Christian, Gheri, Lorenzo, Popescu, Andrei, Traytel, Dmitriy
Published in Proceedings of ACM on programming languages (02.01.2019)

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 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 Disney, Tim, Flanagan, Cormac
Published in 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (01.07.2015)

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

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 Rémy, Didier, Yakobowski, Boris
Published in Proceedings of the 10th international conference on Functional and Logic Programming (19.04.2010)

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

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

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)