Modeling and Verifying Web Browser Interactions.

Zhong-sheng Qian Shengbo Chen Huaikou Miao Zhong-sheng Qian Modeling and Verifying Web Browser Interactions. 351-358 2008 APSEC https://doi.org/10.1109/APSEC.2008.34 https://doi.ieeecomputersociety.org/10.1109/APSEC.2008.34 conf/apsec/2008 db/conf/apsec/apsec2008.html#ChenMQ08 Huaikou Miao Tao He 0004 Zhong-sheng Qian Modeling and Analyzing Composite Semantic Web Service Using Petri Nets. 660-664 2008 ICEBE https://doi.org/10.1109/ICEBE.2008.51 https://doi.ieeecomputersociety.org/10.1109/ICEBE.2008.51 conf/icebe/2008 db/conf/icebe/icebe2008.html#MiaoHQ08 Liping Li Huaikou Miao Zhong-sheng Qian A UML-Based Approach to Testing Web Applications. 397-401 2008 ISCSCT (2) https://doi.org/10.1109/ISCSCT.2008.186 https://doi.ieeecomputersociety.org/10.1109/ISCSCT.2008.186 conf/iscsct/2008 db/conf/iscsct/iscsct2008-2.html#LiMQ08 Huaikou Miao Xiaoxia Cao Zhong-sheng Qian Refining Service-Oriented Model Using Interpretation Mapping. 85-90 2008 SOSE https://doi.org/10.1109/SOSE.2008.20 https://doi.ieeecomputersociety.org/10.1109/SOSE.2008.20 conf/sose/2008 db/conf/sose/sose2008.html#MiaoCQ08 Huaikou Miao Zhong-sheng Qian Bo Song Towards Automatically Generating Test Paths for Web Application Testing. 211-218 2008 TASE https://doi.org/10.1109/TASE.2008.26 https://doi.ieeecomputersociety.org/10.1109/TASE.2008.26 conf/tase/2008 db/conf/tase/tase2008.html#MiaoQS08 Huaikou Miao Zhong-sheng Qian Tao He 0004 Modeling Web Browser Interactions Using FSM. 211-217 2007 APSCC https://doi.org/10.1109/APSCC.2007.13 https://doi.ieeecomputersociety.org/10.1109/APSCC.2007.13 conf/apscc/2007 db/conf/apscc/apscc2007.html#MiaoQH07 Huaikou Miao Shengbo Chen Zhong-sheng Qian A Formal Open Framework Based on Agent for Testing Web Applications. 281-285 2007 CIS https://doi.org/10.1109/CIS.2007.200 https://doi.ieeecomputersociety.org/10.1109/CIS.2007.200 conf/cis/2007 db/conf/cis/cis2007.html#MiaoCQ07 Zhong-sheng Qian Huaikou Miao Tao He 0004 An Approach to Modeling Hypermedia Web Applications. 847-854 2007 conf/gcc/2007 GCC https://doi.org/10.1109/GCC.2007.41 https://doi.ieeecomputersociety.org/10.1109/GCC.2007.41 db/conf/gcc/gcc2007.html#QianMH07 Shengbo Chen Huaikou Miao Zhong-sheng Qian Location Transparent Communications in Mobile Agent Systems. 200-205 2007 conf/iita/2007 IITA https://doi.org/10.1109/IITA.2007.58 https://doi.ieeecomputersociety.org/10.1109/IITA.2007.58 db/conf/iita/iita2007.html#ChenMQ07 Huaikou Miao Shengbo Chen Huanzhou Liu Zhong-sheng Qian An Approach to Generating Test Cases for Testing Component-based Web Applications. 264-269 2007 conf/iita/2007 IITA https://doi.org/10.1109/IITA.2007.54 https://doi.ieeecomputersociety.org/10.1109/IITA.2007.54 db/conf/iita/iita2007.html#MiaoCLQ07 Zhong-sheng Qian Huaikou Miao Shengbo Chen Towards Modeling Web Navigation Using FSM and Z. 371-376 2007 conf/iita/2007 IITA https://doi.org/10.1109/IITA.2007.51 https://doi.ieeecomputersociety.org/10.1109/IITA.2007.51 db/conf/iita/iita2007.html#QianMC07 Zhong-sheng Qian Huaikou Miao Hongwei Zeng A Practical Web Testing Model for Web Application Testing. 434-441 2007 SITIS https://doi.org/10.1109/SITIS.2007.16 https://doi.ieeecomputersociety.org/10.1109/SITIS.2007.16 conf/sitis/2007 db/conf/sitis/sitis2007.html#QianMZ07 Xiaoxia Cao Shengbo Chen Tao He 0004 Liping Li Huanzhou Liu Huaikou Miao Bo Song Hongwei Zeng