An executable model and testing for Web software based on live sequence charts. - Liping Li; Honghao Gao; Tang Shan (ICIS, 2016)