|
2024 Journal Article An empirical study on compatibility issues in Android API field evolutionMahmud, Tarek, Che, Meiru and Yang, Guowei (2024). An empirical study on compatibility issues in Android API field evolution. Information and Software Technology, 175 107530, 107530. doi: 10.1016/j.infsof.2024.107530 |
|
2024 Journal Article Compatible Branch Coverage Driven Symbolic Execution for Efficient Bug FindingYi, Qiuping, Yu, Yifan and Yang, Guowei (2024). Compatible Branch Coverage Driven Symbolic Execution for Efficient Bug Finding. Proceedings of the ACM on Programming Languages, 8 (PLDI) 213, 1633-1655. doi: 10.1145/3656443 |
|
2023 Journal Article Detecting android API compatibility issues with API differencesMahmud, Tarek, Che, Meiru and Yang, Guowei (2023). Detecting android API compatibility issues with API differences. IEEE Transactions on Software Engineering, 49 (7), 3857-3871. doi: 10.1109/tse.2023.3274153 |
|
2023 Journal Article Analyzing the impact of API changes on Android appsMahmud, Tarek, Che, Meiru and Yang, Guowei (2023). Analyzing the impact of API changes on Android apps. Journal of Systems and Software, 200 111664, 1-19. doi: 10.1016/j.jss.2023.111664 |
|
2021 Journal Article An IoT edge computing framework using Cordova Accessor HostNgu, Anne H. H., Eyitayo, Jesuloluwa, Yang, Guowei, Campbell, Colin, Sheng, Quan Z. and Ni, Jianyuan (2021). An IoT edge computing framework using Cordova Accessor Host. IEEE Internet of Things Journal, 9 (1), 671-683. doi: 10.1109/jiot.2021.3086043 |
|
2020 Journal Article Message from TAIC PART ChairsAbreu, Rui, Amorim, Marcelod and Yang, Guowei (2020). Message from TAIC PART Chairs. Proceedings - 2020 IEEE 13th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2020 9156052, xxiii-xxiii. doi: 10.1109/ICSTW50294.2020.00014 |
|
2019 Journal Article A synergistic approach to improving symbolic execution using test rangesYang, Guowei, Qiu, Rui, Khurshid, Sarfraz, Pasareanu, Corina S. and Wen, Junye (2019). A synergistic approach to improving symbolic execution using test ranges. Innovations in Systems and Software Engineering, 15 (3-4), 325-342. doi: 10.1007/s11334-019-00331-9 |
|
2017 Journal Article Staged Symbolic Execution for Parallel Property CheckingWen, Junye and Yang, Guowei (2017). Staged Symbolic Execution for Parallel Property Checking. ACM SIGSOFT Software Engineering Notes, 41 (6), 1-5. doi: 10.1145/3011286.3011297 |
|
2015 Journal Article Distributed Assertion Checking Using Symbolic ExecutionYang, Guowei, Do, Quan Chau Dong and Wen, Junye (2015). Distributed Assertion Checking Using Symbolic Execution. ACM SIGSOFT Software Engineering Notes, 40 (6), 1-5. doi: 10.1145/2830719.2830729 |
|
2015 Journal Article Evaluating architectural design decision paradigms in global software developmentChe, Meiru, Perry, Dewayne E. and Yang, Guowei (2015). Evaluating architectural design decision paradigms in global software development. International Journal of Software Engineering and Knowledge Engineering, 25 (9-10), 1677-1692. doi: 10.1142/S0218194015400380 |
|
2015 Journal Article Verification of Architectural Constraints on Sequences of Method InvocationsSiroky, Stuart, Podorozhny, Rodion and Yang, Guowei (2015). Verification of Architectural Constraints on Sequences of Method Invocations. ACM SIGSOFT Software Engineering Notes, 40 (1), 1-4. doi: 10.1145/2693208.2693246 |
|
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 |
