|
2015 Conference Publication Compositional symbolic execution with memoized replayQiu, Rui, Yang, Guowei, Pasareanu, Corina S. and Khurshid, Sarfraz (2015). Compositional symbolic execution with memoized replay. IEEE/ACM 37th IEEE International Conference on Software Engineering (ICSE), Florence, Italy, 16-24 May 2015. New York, NY USA: Institute of Electrical and Electronics Engineers. doi: 10.1109/icse.2015.79 |
|
2014 Journal Article Directed incremental symbolic executionYang, Guowei, Person, Suzette, Rungta, Neha and Khurshid, Sarfraz (2014). Directed incremental symbolic execution. ACM Transactions on Software Engineering and Methodology, 24 (1) 2629536, 1-42. doi: 10.1145/2629536 |
|
2014 Conference Publication Feedback-driven dynamic invariant discoveryZhang, Lingming, Yang, Guowei, Rungta, Neha, Person, Suzette and Khurshid, Sarfraz (2014). Feedback-driven dynamic invariant discovery. ISSTA '14: International Symposium on Software Testing and Analysis, San Jose, CA USA, 21-25 July 2014. New York, NY USA: Association for Computing Machinery. doi: 10.1145/2610384.2610389 |
|
2014 Conference Publication Property differencing for incremental checkingYang, Guowei, Khurshid, Sarfraz, Person, Suzette and Rungta, Neha (2014). Property differencing for incremental checking. 36th International Conference on Software Engineering (ICSE), Hyderabad, India, 31 May-7 June 2014. New York, NY USA: Association for Computing Machinery. doi: 10.1145/2568225.2568319 |
|
2013 Conference Publication Memoise: a tool for memoized symbolic executionYang, Guowei, Khurshid, Sarfraz and Pasareanu, Corina S. (2013). Memoise: a tool for memoized symbolic execution. 35th International Conference on Software Engineering (ICSE), San Francisco, CA USA, 18-26 May 2013. New York, NY USA: Institute of Electrical and Electronics Engineers. doi: 10.1109/ICSE.2013.6606713 |
|
2012 Conference Publication Memoized symbolic executionYang, Guowei, Pǎsǎreanu, Corina S. and Khurshid, Sarfraz (2012). Memoized symbolic execution. 2012 International Symposium on Software Testing and Analysis, Minneapolis, MN USA, 15-20 July 2012. Piscataway, NJ USA: Institute of Electrical and Electronics Engineers. doi: 10.1145/04000800.2336771 |
|
2012 Conference Publication Specification-based test repair using a lightweight formal methodYang, Guowei, Khurshid, Sarfraz and Kim, Miryung (2012). Specification-based test repair using a lightweight formal method. FM 2012: Formal Methods: 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings, Paris, France, 27-31 August 2012. Berlin, Germany: Springer. doi: 10.1007/978-3-642-32759-9_37 |
|
2011 Conference Publication TestEra: A tool for testing Java programs using alloy specificationsKhalek, Shadi Abdul, Yang, Guowei, Zhang, Lingming, Marinov, Darko and Khurshid, Sarfraz (2011). TestEra: A tool for testing Java programs using alloy specifications. doi: 10.1109/ASE.2011.6100137 |
|
2011 Conference Publication Directed incremental symbolic executionPerson, Suzette, Yang, Guowei, Rungta, Neha and Khurshid, Sarfraz (2011). Directed incremental symbolic execution. 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 11), San Jose, CA USA, 4-8 June 2011. New York, NY USA: Association for Computing Machinery. doi: 10.1145/1993498.1993558 |
|
2009 Conference Publication Regression model checkingGuowei Yang, , Dwyer, M. B. and Rothermel, G. (2009). Regression model checking. 2009 IEEE International Conference on Software Maintenance, Edmonton, AB Canada, 20-26 September 2009. Piscataway, NJ USA: Institute of Electrical and Electronics Engineers. doi: 10.1109/icsm.2009.5306334 |
|
2007 Book Chapter An algebraic approach for managing inconsistencies in software processesYang, Qiusong, Li, Mingshu, Wang, Qing, Yang, Guowei, Zhai, Jian, Li, Juan, Hou, Lishan and Yang, Yun (2007). An algebraic approach for managing inconsistencies in software processes. Software process dynamics and agility. (pp. 121-133) edited by Qing Wang, Dietmar Pfahl and David M. Raffo. Berlin, Germany: Springer. doi: 10.1007/978-3-540-72426-1_11 |
|
2006 Book Chapter On mobility of software processesLi, Mingshu, Yang, Qiusong, Zhai, Jian and Yang, Guowei (2006). On mobility of software processes. Software process change. (pp. 105-114) edited by Qing Wang, Dietmar Pfahl, David M. Raffo and Paul Wernick. Berlin, Germany: Springer. doi: 10.1007/11754305_12 |
