|
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 |
|
2007 Conference Publication 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. International Conference on Software Process, Minneapolis Mn, May 19-20, 2007. BERLIN: SPRINGER-VERLAG BERLIN. |
|
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 |
