- Lu Zhang, Arijit Chattopadhyay, Chao Wang:
Round-Up: Runtime Verification of Quasi Linearizability for Concurrent Data Structures. IEEE Trans. Software Eng. 41(12): 1202-1216 (2015) - Minghui Zhou, Audris Mockus:
Who Will Stay in the FLOSS Community? Modeling Participant's Initial Behavior. IEEE Trans. Software Eng. 41(1): 82-99 (2015) - Hong Zhu, Ian Bayley:
On the Composability of Design Patterns. IEEE Trans. Software Eng. 41(11): 1138-1152 (2015)