2019 Book Chapter Advances in symbolic executionYang, Guowei, Filieri, Antonio, Borges, Mateus, Clun, Donato and Wen, Junye (2019). Advances in symbolic execution. Advances in Computers. (pp. 225-287) edited by Memon, A. M.. San Diego, CA, United States: Academic Press. doi: 10.1016/bs.adcom.2018.10.002 |
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 |