QUALITY IMPROVEMENT AND VALIDATION TECHNIQUES ON SOFTWARE SPECIFICATION AND DESIGN

by LIU SHUANG
Published 2015

Distributed feedback fiber laser

by Liu, Shuang.
Published 2011

Mobile learning assistant: design and development of a smart measurement application for iPhone

by Liu, Shuang.
Published 2011

Towards using concurrent Java API correctly

by LIU, Shuang, BAI, Guangdong, SUN, Jun, DONG, Jin Song
Published 2016

Adaptive randomized scheduling for concurrency bug detection

by WANG, Zan, ZHANG, Dongdi, LIU, Shuang, SUN, Jun, ZHAO, Yingquan
Published 2019

Fibre-based devices for optical subsystem applications

by Shum, Ping, Dong, Xinyong, Xia, Li, Tang, Ming, Yu, Xia, Liu, Shuang
Published 2008

MAP-Coverage: A novel coverage criterion for testing thread-safe classes

by WANG, Zan, ZHAO, Yingquan, LIU, Shuang, SUN, Jun, CHEN, Xiang, LIN, Huarui
Published 2019

PFix: Fixing concurrency bugs based on memory access patterns

by LIN, Huarui, WANG, Zan, LIU, Shuang, SUN, Jun, ZHANG, Dongdi, WEI, Guangning
Published 2018

Formalizing UML state machines for automated verification: A survey

by ETIENE, Andre, LIU, Shuang, LIU, Yang, CHOPPY, Christine, SUN, Jun, DONG, Jinsong
Published 2023

IFIX: Fixing concurrency bugs while they are introduced

by WANG, Zan, WANG, Haichi, LIU, Shuang, SUN, Jun, WANG, Haoyu, CHEN, Junjie
Published 2020

Achieving high MAP-coverage through pattern constraint reduction

by ZHAO, Yingquan, WANG, Zan, LIU, Shuang, SUN, Jun, CHEN, Junjie, CHEN, Xiang
Published 2023

USMMC: A self-contained model checker for UML state machines

by LIU, Shuang, LIU, Yang, SUN, Jun, ZHENG, Manchun, WADHWA, Bimlesh, DONG, Jin Song
Published 2013

Improving quality of use case documents through learning and user interaction

by LIU, Shuang, SUN, Jun, XIAO, Hao, WADHWA, Bimlesh, DONG, Jin Song, WANG, Xinyu
Published 2016

Design and optimization of a bionic-lotus root inspired shell-and-tube latent heat thermal energy storage unit

by Gao, Long, Deng, Yimin, Liu, Shuang, Ren, Fan, Wan, Man Pun, Yang, Lizhong
Published 2024

A reconfigurable in-memory-computation architecture with in-situ update and shift capability

by Liu, Yihe, Wang, Junjie, Liu, Shuang, Zhang, Xiaoyang, Sun, Mingyuan, Chen, Tupei, Liu, Yang
Published 2024

Automatic early defects detection in use case documents

by LIU, Shuang, SUN, Jun, LIU, Yang, ZHANG, Yue, WADHWA, Bimlesh, DONG, Jin Song, WANG, Xinyu
Published 2014

A formal semantics for complete UML state machines with communications

by LIU, Shuang, LIU, Yang, ANDRÉ, Étienne, CHOPPY, Christine, SUN, Jun, WADHWA, Bimlesh, DONG, Jin Song
Published 2013

sFuzz2.0: Storage-access pattern guided smart contract fuzzing

by WANG, Haoyu, WANG, Zan, LIU, Shuang, SUN, Jun, ZHAO, Yingquan, WAN, Yan, NGUYEN, Duy Tai
Published 2024

Automated synthesis of local time requirement for service composition

by André, Étienne, Tan, Tian Huat, Chen, Manman, Liu, Shuang, Sun, Jun, Liu, Yang, Dong, Jin Song
Published 2021

Automated synthesis of local time requirement for service composition

by ANDRÉ, Étienne, TAN, Tian Huat, CHEN, Manman, LIU, Shuang, SUN, Jun, LIU, Yang, DONG, Jin Song
Published 2020