Sarfraz Khurshid

发表

Sarfraz Khurshid, Allison Sullivan, Kaiyuan Wang, 2018, 2018 IEEE 11th International Conference on Software Testing, Verification and Validation (ICST).

Sarfraz Khurshid, Adnan Aziz, Fadi A. Zaraket, 2007, 29th International Conference on Software Engineering (ICSE'07).

Sarfraz Khurshid, Junaid Haroon Siddiqui, S. Khurshid, 2010, 2010 2nd International Conference on Software Technology and Engineering.

Sarfraz Khurshid, Iván García, Yuk Lai Suen, 2005, SPIN.

Sarfraz Khurshid, Dewayne E. Perry, Svetoslav Ganov, 2007 .

Sarfraz Khurshid, Daniel Jackson, S. Khurshid, 2004 .

Sarfraz Khurshid, Razieh Nokhbeh Zaeem, S. Khurshid, 2010, ECOOP.

Sarfraz Khurshid, Miryung Kim, Lingming Zhang, 2011, 2011 27th IEEE International Conference on Software Maintenance (ICSM).

Sarfraz Khurshid, Cong Liu, Yuqun Zhang, 2018, ArXiv.

Sarfraz Khurshid, Allison Sullivan, Kaiyuan Wang, 2018, 2018 IEEE/ACM 40th International Conference on Software Engineering: Companion (ICSE-Companion).

Sarfraz Khurshid, Guowei Yang, Corina S. Pasareanu, 2013, 2013 35th International Conference on Software Engineering (ICSE).

Sarfraz Khurshid, Jinru Hua, S. Khurshid, 2017, SPIN.

Sarfraz Khurshid, Kaiyuan Wang, Mengshi Zhang, 2018, ESEC/SIGSOFT FSE.

Sarfraz Khurshid, Margarida F. Jacome, Adnan Aziz, 2007, Formal Methods in Computer Aided Design (FMCAD'07).

Sarfraz Khurshid, Darko Marinov, Alex Gyori, 2017, SOEN.

Sarfraz Khurshid, Guowei Yang, Suzette Person, 2011, PLDI '11.

Sarfraz Khurshid, Nazareno Aguirre, Marcelo F. Frias, 2013, 2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE).

Sarfraz Khurshid, Kaiyuan Wang, Divya Gopinath, 2019, 2019 IEEE 30th International Symposium on Software Reliability Engineering (ISSRE).

Sarfraz Khurshid, Satish Chandra, Diptikalyan Saha, 2014, ICSE.

Sarfraz Khurshid, Darko Marinov, Daniel Jackson, 2003, SAT.

Sarfraz Khurshid, Don S. Batory, Chang Hwan Peter Kim, 2012, 2012 IEEE 23rd International Symposium on Software Reliability Engineering.

Sarfraz Khurshid, Lei Ma, Jianjun Zhao, 2019, 2019 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW).

Sarfraz Khurshid, Darko Marinov, Jiayi Yang, 2020, ESEC/SIGSOFT FSE.

Sarfraz Khurshid, Don S. Batory, Chang Hwan Peter Kim, 2011, AOSD '11.

Sarfraz Khurshid, Dewayne E. Perry, Divya Gopinath, 2010, 2010 IEEE 21st International Symposium on Software Reliability Engineering.

Sarfraz Khurshid, Junaid Haroon Siddiqui, S. Khurshid, 2009, ICFEM.

Sarfraz Khurshid, Kaiyuan Wang, Mengshi Zhang, 2018, 2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE).

Sarfraz Khurshid, Koushik Sen, Cyrille Artho, 2005 .

Sarfraz Khurshid, Shadi Abdul Khalek, S. Khurshid, 2011, 2011 IEEE 22nd International Symposium on Software Reliability Engineering.

Sarfraz Khurshid, Dewayne E. Perry, Danhua Shao, 2007, 2007 IEEE International Conference on Software Maintenance.

Sarfraz Khurshid, Bassem Elkarablieh, S. Khurshid, 2008, ICSE.

Sarfraz Khurshid, Dewayne E. Perry, Julia L. Lawall, 2015, 2015 IEEE/ACM 12th Working Conference on Mining Software Repositories.

Sarfraz Khurshid, Darko Marinov, S. Khurshid, 2003 .

Sarfraz Khurshid, Patrice Godefroid, Patrice Godefroid, 2004, International Journal on Software Tools for Technology Transfer.

Sarfraz Khurshid, Junaid Haroon Siddiqui, S. Khurshid, 2009, 2009 International Conference on Software Testing Verification and Validation.

Sarfraz Khurshid, Mizuhito Ogawa, Indradeep Ghosh, 2008, APLAS.

Marc Frappier, Régine Laleau, Sarfraz Khurshid, 2010, ABZ 2010.

Sarfraz Khurshid, David Soloveichik, Marko Vasic, 2018, Natural Computing.

Daniel Jackson, Sarfraz Khurshid, Darko Marinov, 2002 .

Sarfraz Khurshid, Dewayne E. Perry, Ripon K. Saha, 2015, 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering.

Sarfraz Khurshid, Allison Sullivan, Kaiyuan Wang, 2019, 2019 IEEE/ACM 41st International Conference on Software Engineering: Companion Proceedings (ICSE-Companion).

Sarfraz Khurshid, Miryung Kim, Lingming Zhang, 2013, J. Softw. Evol. Process..

Yuriy Brun, Sarfraz Khurshid, Sven Apel, 2017, Commun. ACM.

Sarfraz Khurshid, Viktor Kuncak, Darko Marinov, 2008 .

Sarfraz Khurshid, Darko Marinov, Sasa Misailovic, 2007, 29th International Conference on Software Engineering (ICSE'07).

Sarfraz Khurshid, Darko Marinov, Yun Young Lee, 2013, 2013 35th International Conference on Software Engineering (ICSE).

Sarfraz Khurshid, Darko Marinov, Junaid Haroon Siddiqui, 2012, 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation.

Sarfraz Khurshid, Qaiser S. Durrani, Farooq Ahmed, 2007, ICSE 2007.

Sarfraz Khurshid, Dewayne E. Perry, Divya Gopinath, 2010, ASM.

Sarfraz Khurshid, Kaiyuan Wang, Milos Gligoric, 2019, TACAS.

Sarfraz Khurshid, Adnan Aziz, Fadi A. Zaraket, 2007 .

Sarfraz Khurshid, Darko Marinov, Farah Hariri, 2016, 2016 IEEE 27th International Symposium on Software Reliability Engineering (ISSRE).

Sarfraz Khurshid, Junaid Haroon Siddiqui, 2013, Innovations in Systems and Software Engineering.

Sarfraz Khurshid, Muhammad Zubair Malik, Aman Pervaiz, 2022 .

Sarfraz Khurshid, Dewayne E. Perry, Svetoslav R. Ganov, 2012, ICFEM.

Sarfraz Khurshid, Allison Sullivan, Darko Marinov, 2014, SPIN.

Sarfraz Khurshid, Shikhar Singh, S. Khurshid, 2020, ICFEM.

Sarfraz Khurshid, Corina S. Pasareanu, Willem Visser, 2018, ISSTA.

Sarfraz Khurshid, Marcelo d'Amorim, Darko Marinov, 2008, 2008 ACM/IEEE 30th International Conference on Software Engineering.

Sarfraz Khurshid, Junaid Haroon Siddiqui, Muhammad Zubair Malik, 2011, 2011 Fourth IEEE International Conference on Software Testing, Verification and Validation.

Sarfraz Khurshid, Kathryn S. McKinley, Razieh Nokhbeh Zaeem, 2012, TACAS.

Sarfraz Khurshid, Yuk Lai Suen, S. Khurshid, 2005, PASTE '05.

Sarfraz Khurshid, Milos Gligoric, Sasa Misailovic, 2017, 2017 IEEE/ACM 39th International Conference on Software Engineering: New Ideas and Emerging Technologies Results Track (ICSE-NIER).

Christine Julien, Sarfraz Khurshid, Miryung Kim, 2013 .

Sarfraz Khurshid, Dewayne E. Perry, Svetoslav R. Ganov, 2009, ICFEM.

Sarfraz Khurshid, Junaid Haroon Siddiqui, S. Khurshid, 2012, OOPSLA '12.

Sarfraz Khurshid, David Coppit, Kevin J. Sullivan, 2004, IEEE Transactions on Software Engineering.

Sarfraz Khurshid, Shadi Abdul Khalek, S. Khurshid, 2010, ASE.

Sarfraz Khurshid, Guowei Yang, Corina S. Pasareanu, 2012, ISSTA 2012.

Sarfraz Khurshid, Marcelo d'Amorim, Darko Marinov, 2013, ESEC/FSE 2013.

Sarfraz Khurshid, Razieh Nokhbeh Zaeem, Mukul R. Prasad, 2014, 2014 IEEE Seventh International Conference on Software Testing, Verification and Validation.

Sarfraz Khurshid, Daniel Jackson, S. Khurshid, 2000, Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering.

Sarfraz Khurshid, Dewayne E. Perry, Ripon K. Saha, 2015, Inf. Softw. Technol..

Sarfraz Khurshid, Kaiyuan Wang, Zijiang Yang, 2018, 2018 IEEE 11th International Conference on Software Testing, Verification and Validation (ICST).

Sarfraz Khurshid, Don S. Batory, Chang Hwan Peter Kim, 2010, ASE.

Sarfraz Khurshid, Darko Marinov, Nemanja Petrovic, 2007, ESEC-FSE '07.

Sarfraz Khurshid, Wenxi Wang, Muhammad Usman, 2020, 2020 35th IEEE/ACM International Conference on Automated Software Engineering (ASE).

Nima Dini, Cagdas Yelen, Sarfraz Khurshid, 2020, 2020 IEEE/ACM 42nd International Conference on Software Engineering: New Ideas and Emerging Results (ICSE-NIER).

Sarfraz Khurshid, Darko Marinov, Bassem Elkarablieh, 2008, ISSTA '08.

Sarfraz Khurshid, Miryung Kim, Guowei Yang, 2012, FM.

Sarfraz Khurshid, Darko Marinov, Chandrasekhar Boyapati, 2012, KDD 2012.

Sarfraz Khurshid, Darko Marinov, Konstantine Arkoudas, 2003, RelMiCS.

Sarfraz Khurshid, Shadi Abdul Khalek, S. Khurshid, 2011, 2011 Fourth IEEE International Conference on Software Testing, Verification and Validation.

Sarfraz Khurshid, Daniel Jackson, S. Khurshid, 2003 .

Xia Li, Sarfraz Khurshid, Lingming Zhang, 2017, ISSTA.

Sarfraz Khurshid, Dewayne E. Perry, Rodion Podorozhny, 2006 .

Sarfraz Khurshid, Yuk Lai Suen, Ivan Garcia, 2007, ASE.

Sarfraz Khurshid, Bassem Elkarablieh, Muhammad Zubair Malik, 2009, 2009 IEEE/ACM International Conference on Automated Software Engineering.

Sarfraz Khurshid, S. Khurshid, 2001, TACAS.

Sarfraz Khurshid, Shounak Roychowdhury, 2012, 2012 6th IEEE International Conference Intelligent Systems.

Sarfraz Khurshid, Koushik Sen, Hiroaki Yoshida, 2018, 2018 IEEE 11th International Conference on Software Testing, Verification and Validation (ICST).

Sarfraz Khurshid, Patrice Godefroid, Patrice Godefroid, 2004, International Journal on Software Tools for Technology Transfer.

Sarfraz Khurshid, Bassem Elkarablieh, Yehia Zayour, 2007, ECOOP.

Sarfraz Khurshid, Kaiyuan Wang, Hayes Converse, 2019, SOEN.

Sarfraz Khurshid, Lu Zhang, Lingming Zhang, 2018, ECOOP.

Sarfraz Khurshid, Adnan Aziz, Fadi A. Zaraket, 2007, ASE '07.

Sarfraz Khurshid, David Soloveichik, Marko Vasić, 2020, Natural Computing.

Sarfraz Khurshid, Xiaoqin Zhang, Dewayne E. Perry, 2007, IFM.

Sarfraz Khurshid, Martin Rinard, Alexandr Andoni, 2003 .

Sarfraz Khurshid, Divya Gopinath, Muhammad Zubair Malik, 2011, TACAS.

Sarfraz Khurshid, Don S. Batory, Daniel Garcia, 2007, ESEC-FSE '07.

Sarfraz Khurshid, Dewayne E. Perry, Svetoslav R. Ganov, 2011, 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011).

Sarfraz Khurshid, Allison Sullivan, Kaiyuan Wang, 2018, ESEC/SIGSOFT FSE.

Sarfraz Khurshid, Razieh Nokhbeh Zaeem, 2010, ASM.

Sarfraz Khurshid, Corina S. Pasareanu, Willem Visser, 2003, TACAS.

Sarfraz Khurshid, Dewayne E. Perry, Danhua Shao, 2007 .

Sarfraz Khurshid, Darko Marinov, Lingming Zhang, 2013, 2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE).

Sarfraz Khurshid, Guowei Yang, Corina S. Pasareanu, 2017, 2017 IEEE/ACM 39th International Conference on Software Engineering Companion (ICSE-C).

Sarfraz Khurshid, David Coppit, Kevin J. Sullivan, 2005, IEEE Trans. Software Eng..

Sarfraz Khurshid, Darko Marinov, Chandrasekhar Boyapati, 2002, ISSTA '02.

Sarfraz Khurshid, Hayes Converse, Oswaldo Olivo, 2017, 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST).

Sarfraz Khurshid, Koushik Sen, Cyrille Artho, 2004 .

Sarfraz Khurshid, Nastaran Shafiei, Sarvesh Nagarajan, 2017, SOEN.

Sarfraz Khurshid, Don S. Batory, Engin Uzuncaova, 2010, IEEE Transactions on Software Engineering.

Sarfraz Khurshid, Dewayne E. Perry, Danhua Shao, 2009, FM.

Sarfraz Khurshid, Darko Marinov, Xiaoming Li, 2006, Electron. Notes Theor. Comput. Sci..

Sarfraz Khurshid, Ji Wang, Koushik Sen, 2020, ACM SIGSOFT Softw. Eng. Notes.

Sarfraz Khurshid, Eric Bodden, Don S. Batory, 2010, RV.

Sarfraz Khurshid, Hayes Converse, Milos Gligoric, 2019, SOEN.

Sarfraz Khurshid, Kaiyuan Wang, Corina S. Pasareanu, 2019, 2019 IEEE/ACM 41st International Conference on Software Engineering: Companion Proceedings (ICSE-Companion).

Sarfraz Khurshid, Kaiyuan Wang, Kuldeep S. Meel, 2020, TACAS.

Sarfraz Khurshid, Allison Sullivan, Kaiyuan Wang, 2017, 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST).

Sarfraz Khurshid, Corina S. Pasareanu, Willem Visser, 2004, ISSTA '04.

Sarfraz Khurshid, Koushik Sen, Nikolai Tillmann, 2011, 2011 33rd International Conference on Software Engineering (ICSE).

Christine Julien, Sarfraz Khurshid, Miryung Kim, 2017, IEEE Systems Journal.

Sarfraz Khurshid, Dewayne E. Perry, Svetoslav R. Ganov, 2008, AST '08.

Sarfraz Khurshid, Guowei Yang, Darko Marinov, 2011, 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011).

Sarfraz Khurshid, Engin Uzuncaova, S. Khurshid, 2008, FM.

Sarfraz Khurshid, Allison Sullivan, Kaiyuan Wang, 2017, SQAMIA.

Sarfraz Khurshid, Engin Uzuncaova, S. Khurshid, 2008 .

Sarfraz Khurshid, Lingming Zhang, Oswaldo Olivo, 2015, 2015 IEEE 26th International Symposium on Software Reliability Engineering (ISSRE).

Sarfraz Khurshid, Muhammad Zubair Malik, S. Khurshid, 2012, 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation.

Sarfraz Khurshid, Shounak Roychowdhury, 2012, 2012 International Symposium on Information Theory and its Applications.

Sarfraz Khurshid, Guowei Yang, Corina S. Pasareanu, 2018, NFM.

Sarfraz Khurshid, Farah Hariri, Owolabi Legunsen, 2018, 2018 IEEE 11th International Conference on Software Testing, Verification and Validation (ICST).

Sarfraz Khurshid, Allison Sullivan, Kaiyuan Wang, 2018, ABZ.

Sarfraz Khurshid, Razieh Nokhbeh Zaeem, S. Khurshid, 2012, SIGSOFT FSE.

Sarfraz Khurshid, Cong Liu, Yuqun Zhang, 2018, 2018 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE).

Sarfraz Khurshid, Junaid Haroon Siddiqui, S. Khurshid, 2012, SAC '12.

Sarfraz Khurshid, Marcelo d'Amorim, Darko Marinov, 2015, SPLC.

Sarfraz Khurshid, David Soloveichik, Marko Vasic, 2019, ArXiv.

Marc Frappier, Régine Laleau, Sarfraz Khurshid, 2013, Sci. Comput. Program..

Sarfraz Khurshid, Corina S. Pasareanu, Rui Qiu, 2016, ATVA.

Sarfraz Khurshid, Dewayne E. Perry, Danhua Shao, 2007, LCSD '07.

Sarfraz Khurshid, Nazareno Aguirre, Marcelo F. Frias, 2014, OOPSLA 2014.

Sarfraz Khurshid, Muhammad Zubair Malik, Engin Uzuncaova, 2006, Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006).

Sarfraz Khurshid, Junaid Haroon Siddiqui, Diego Funes, 2012, SOEN.

Sarfraz Khurshid, Viktor Kuncak, Darko Marinov, 2010, 2010 ACM/IEEE 32nd International Conference on Software Engineering.

Sarfraz Khurshid, Darko Marinov, S. Khurshid, 2001, Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001).

Sarfraz Khurshid, Ahmet Çelik, Milos Gligoric, 2017, Proc. ACM Program. Lang..

Sarfraz Khurshid, Allison Sullivan, Kaiyuan Wang, 2018, ABZ.

Sarfraz Khurshid, Guowei Yang, Junye Wen, 2019, Innovations in Systems and Software Engineering.

Sarfraz Khurshid, Dewayne E. Perry, Ripon K. Saha, 2014, 2014 Software Evolution Week - IEEE Conference on Software Maintenance, Reengineering, and Reverse Engineering (CSMR-WCRE).

Sarfraz Khurshid, Matthew Lease, Dewayne E. Perry, 2013, 2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE).

Sarfraz Khurshid, Darko Marinov, Junaid Haroon Siddiqui, 2009, 2009 IEEE/ACM International Conference on Automated Software Engineering.

Sarfraz Khurshid, David Soloveichik, Marko Vasic, 2018, DNA.

Sarfraz Khurshid, Kaiyuan Wang, Corina S. Pasareanu, 2018, ArXiv.

Sarfraz Khurshid, Cyrille Artho, Corina S. Pasareanu, 2007 .

Sarfraz Khurshid, Guowei Yang, Suzette Person, 2014, ISSTA 2014.

Sarfraz Khurshid, Shikhar Singh, Marko Vasic, 2020, 2020 IEEE 31st International Symposium on Software Reliability Engineering (ISSRE).

Sarfraz Khurshid, Darko Marinov, Chandrasekhar Boyapati, 2012, KDD 2012.

Sarfraz Khurshid, Junyi Jessy Li, Raymond J. Mooney, 2019, ESEC/SIGSOFT FSE.

Sarfraz Khurshid, David Soloveichik, Marko Vasic, 2020, DNA.

Sarfraz Khurshid, Shounak Roychowdhury, 2011, MALETS '11.

Sarfraz Khurshid, Guowei Yang, Neha Rungta, 2014, TSEM.

Sarfraz Khurshid, Don S. Batory, Daniel Garcia, 2008, 2008 19th International Symposium on Software Reliability Engineering (ISSRE).

Sarfraz Khurshid, Miryung Kim, Lingming Zhang, 2012, SIGSOFT FSE.

Nima Dini, Cagdas Yelen, Sarfraz Khurshid, 2019, 2019 12th IEEE Conference on Software Testing, Validation and Verification (ICST).

Sarfraz Khurshid, Darko Marinov, Milos Gligoric, 2009, 2009 International Conference on Software Testing Verification and Validation.

Sarfraz Khurshid, Darko Marinov, S. Khurshid, 2004, Automated Software Engineering.

Sarfraz Khurshid, Lu Zhang, Darko Marinov, 2011, 2011 IEEE 22nd International Symposium on Software Reliability Engineering.

Sarfraz Khurshid, Lu Zhang, Lingming Zhang, 2013, OOPSLA.

Sarfraz Khurshid, Junyi Jessy Li, Raymond J. Mooney, 2018, ArXiv.

Vitaly Shmatikov, Sarfraz Khurshid, Suman Jana, 2014, 2014 IEEE Symposium on Security and Privacy.

Sarfraz Khurshid, Yuqun Zhang, Jinru Hua, 2019, International Journal on Software Tools for Technology Transfer.

Sarfraz Khurshid, Shounak Roychowdhury, S. Khurshid, 2011, ECML/PKDD.

Sarfraz Khurshid, Vidya Priyadarshini Narayanan, Shadi Abdul Khalek, 2011, 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011).

Sarfraz Khurshid, Sophia Drossopoulou, Susan Eisenbach, 1999, Theory Pract. Object Syst..

Nima Dini, Cagdas Yelen, Sarfraz Khurshid, 2020, International Journal on Software Tools for Technology Transfer.

Sarfraz Khurshid, Dewayne E. Perry, Danhua Shao, 2009, 2009 Australian Software Engineering Conference.

Sarfraz Khurshid, Junaid Haroon Siddiqui, S. Khurshid, 2011, ICFEM.

Sarfraz Khurshid, Mengshi Zhang, Wenxi Wang, 2019, 2019 12th IEEE Conference on Software Testing, Validation and Verification (ICST).

Sarfraz Khurshid, Jinru Hua, S. Khurshid, 2016, ATVA.

Sarfraz Khurshid, Kathryn S. McKinley, Duy Vu, 2007, OOPSLA.

Sarfraz Khurshid, Darko Marinov, Daniel Jackson, 2002, OOPSLA '02.

Sarfraz Khurshid, Darko Marinov, S. Khurshid, 2002, FME.

Sarfraz Khurshid, Lu Zhang, Darko Marinov, 2012, ISSTA 2012.

Sarfraz Khurshid, Guowei Yang, Suzette Person, 2014, ICSE.

Sarfraz Khurshid, Dewayne E. Perry, Danhua Shao, 2009, ESEC/FSE '09.

Sarfraz Khurshid, Koushik Sen, Koushik Sen, 2011 .

Sarfraz Khurshid, Kaiyuan Wang, Divya Gopinath, 2016, 2016 IEEE International Conference on Software Maintenance and Evolution (ICSME).

Michael R. Lowry, Sarfraz Khurshid, Koushik Sen, 2005, Theor. Comput. Sci..

Sarfraz Khurshid, Muhammad Zubair Malik, Aman Pervaiz, 2008, ICSE.

Sarfraz Khurshid, Darko Marinov, Lingming Zhang, 2013, ISSTA.

Sarfraz Khurshid, Hua Zhong, Lingming Zhang, 2019, 2019 12th IEEE Conference on Software Testing, Validation and Verification (ICST).

Sarfraz Khurshid, Allison Sullivan, Kaiyuan Wang, 2018, 2018 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE).

Sarfraz Khurshid, Engin Uzuncaova, S. Khurshid, 2006, SOEN.

Sarfraz Khurshid, Darko Marinov, S. Khurshid, 2001, Workshop on Software Model Checking @ CAV.

Sarfraz Khurshid, Allison Sullivan, Darko Marinov, 2019, ICFEM.

Sarfraz Khurshid, David Soloveichik, Cameron T. Chalk, 2020, ICML.

Sarfraz Khurshid, Darko Marinov, Martin C. Rinard, 2005, SAT.

Sarfraz Khurshid, Shadi Abdul Khalek, Bassem Elkarablieh, 2008, 2008 23rd IEEE/ACM International Conference on Automated Software Engineering.

Vitaly Shmatikov, Sarfraz Khurshid, Saikat Guha, 2014, IEEE Symposium on Security and Privacy.

Sarfraz Khurshid, Xia Li, Yuqun Zhang, 2021, IEEE Transactions on Software Engineering.

Sarfraz Khurshid, Engin Uzuncaova, S. Khurshid, 2007, 29th International Conference on Software Engineering (ICSE'07).

Sarfraz Khurshid, Darko Marinov, Chandrasekhar Boyapati, 2012, FSE 2012.

Sarfraz Khurshid, Razieh Nokhbeh Zaeem, Muhammad Zubair Malik, 2013, RV.

Sarfraz Khurshid, Dewayne E. Perry, Julia L. Lawall, 2014, 2014 IEEE International Conference on Software Maintenance and Evolution.

Sarfraz Khurshid, Razieh Nokhbeh Zaeem, Divya Gopinath, 2012, 2012 Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering.

Sarfraz Khurshid, Kaiyuan Wang, Milos Gligoric, 2018, SOEN.

Sarfraz Khurshid, Mengshi Zhang, Shikhar Singh, 2019, SPIN.

Nima Dini, Cagdas Yelen, Sarfraz Khurshid, 2019, SPIN.

Sarfraz Khurshid, Allison Sullivan, Kaiyuan Wang, 2018, 2020 IEEE 31st International Symposium on Software Reliability Engineering (ISSRE).

Sarfraz Khurshid, Guowei Yang, Corina S. Pasareanu, 2015, 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering.

Sarfraz Khurshid, Shikhar Singh, 2021, ArXiv.

Sarfraz Khurshid, Mohit Tiwari, Wenxi Wang, 2021, ESEC/SIGSOFT FSE.

Nima Dini, Sarfraz Khurshid, Razieh Nokhbeh Zaeem, 2021, SAC.

Sarfraz Khurshid, David Soloveichik, Austin Luchsinger, 2021, Proceedings of the National Academy of Sciences of the United States of America.

Sarfraz Khurshid, Ripon K. Saha, Mukul R. Prasad, 2021, 2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE).

Risto Miikkulainen, Sarfraz Khurshid, Mohit Tiwari, 2021, ArXiv.

Sarfraz Khurshid, Dewayne E. Perry, Charles L. Chen, 2007 .

Sarfraz Khurshid, Danhua Shao, Dewayne E Perry, 2007 .