• Q
  • QSIC
  • 2007
  • Seventh International Conference on Quality Software (QSIC 2007)
Advanced Search 
Seventh International Conference on Quality Software (QSIC 2007)
Portland, Oregon, USA
October 11-October 12
ISBN: 0-7695-3035-4
Table of Contents
Papers
Introduction
Position Papers by Distinguished Plenary Panel
Session 1A: Software Testing 1
Jani Mets?, Nokia Corporation Technology Platforms, Finland
Mika Katara, Tampere University of Technology, Finland
Tommi Mikkonen, Tampere University of Technology, Finland
pp. 5-14
Xiaofang Zhang, Southeast University, China
Changhai Nie, Southeast University, China
Baowen Xu, Southeast University, China
Bo Qu, Southeast University, China
pp. 15-24
Gordon Fraser, Graz University of Technology
Franz Wotawa, Graz University of Technology
pp. 25-31
Donglin Liang, University of Minnesota, Minneapolis, MN 55455, USA
Kai Xu, University of Minnesota, Minneapolis, MN 55455, USA
pp. 32-39
Session 1B: Distributed Systems
Wei Wang, Chinese Academy of Science, Beijing 100080, P.R. C
Wenbo Zhang, Chinese Academy of Science, Beijing 100080, P.R. C
Jun Wei, Chinese Academy of Science, Beijing 100080, P.R. C
Tao Huang, Chinese Academy of Science, Beijing 100080, P.R. C
pp. 40-49
Lin Song, Shanghai Jiao Tong University, China
Yuxin Deng, Shanghai Jiao Tong University, China
Xiaojuan Cai, Shanghai Jiao Tong University, China
pp. 50-59
Qianxiang Wang, Peking University
Min Li, Peking University
Na Meng, Peking University
Yonggang Liu, Peking University
Hong Mei, Peking University
pp. 60-69
Session 2A: Software Security and Model Checking
Jing Dong, University of Texas at Dallas
Tu Peng, University of Texas at Dallas
Yajing Zhao, University of Texas at Dallas
pp. 80-89
Xianli Jin, Beijing University of Posts and Telecommunications, Beijing 100876, China
Huadong Ma, Beijing University of Posts and Telecommunications, Beijing 100876, China
Zonghua Gu, Hong Kong University of Science and Technology, Hong Kong, China
pp. 90-99
Michael Jiang, Motorola Labs, Motorola, Schaumburg, IL 60196, USA
Zhihui Yang, Mobile Device, Motorola, Libertyville, IL 60092, USA
pp. 100-106
Session 3A: Software Testing 3
Gordon Fraser, Graz University of Technology
Franz Wotawa, Graz University of Technology
pp. 107-116
M. F. Lau, Swinburne University of Technology
Y. Liu, Swinburne University of Technology
Y. T. Yu, City University of Hong Kong
pp. 117-126
Lihua Duan, Univ. of Windsor, Canada
Jessica Chen, Univ. of Windsor, Canada
pp. 127-136
Session 3B: Embedded Systems
Masahiko Watanabe, Kyushu University
Akira Fukuda, Kyushu University
Michihiro Matsumoto, CATS Corporation
Hirokazu Yatsu, CATS Corporation
Ichiro Hosotani, Toyota Motor Corporation
Shigeyuki Kido, Toyota Motor Corporation
pp. 137-142
Hong Zhou, De Montfort University, Leicester, UK
Jian Kang, De Montfort University, Leicester, UK
Feng Chen, De Montfort University, Leicester, UK
Hongji Yang, De Montfort University, Leicester, UK
pp. 143-152
Sylvain Chevillard, LIP (CNRS/ENS Lyon/INRIA/Univ. Lyon 1), France
Christoph Lauter, LIP (CNRS/ENS Lyon/INRIA/Univ. Lyon 1), France
pp. 153-160
Session 4A: Component-Based Systems
Session 4B: Software Quality
Young Lee, Texas A&M University-Kingsville, Kingsville, TX
Jeong Yang, Auburn University
Kai H. Chang, Auburn University,
pp. 191-197
Junguo Li, Peking University
Gang Huang, Peking University
Jian Zou, Peking University
Hong Mei, Peking University
pp. 198-208
Ishrar Hussain, Concordia University, Montreal, Canada
Olga Ormandjieva, Concordia University, Montreal, Canada
Leila Kosseim, Concordia University, Montreal, Canada
pp. 209-218
Session 1C: Short Papers Software Quality and Reliability
Klaus-Dieter Schewe, Massey University
Jane Zhao, Massey University
Bernhard Thalheim, Christian-Albrechts University Kiel
pp. 219-224
Congwu Chen, Chinese Academy of Sciences
Lei Li, University of Science & Technology of China
Jun Wei, Chinese Academy of Sciences
pp. 225-230
Ang?lica Caro, University of Bio Bio, Chill?n, Chile
Coral Calero, University of Castilla-La Mancha, Spain
Juan Enriquez de Salamanca, University of Castilla-La Mancha, Spain
Mario Piattini, University of Castilla-La Mancha, Spain
pp. 238-243
Lipo Chan, University of Melbourne, Australia
Shanika Karunasekera, University of Melbourne, Australia
pp. 250-255
Session 2B: Short Papers Software Testing 2
Najla Raza, Mohammad Ali Jinnah University, Islamabad, Pakistan
Aamer Nadeem, Mohammad Ali Jinnah University, Islamabad, Pakistan
Muhammad Zohaib Z. Iqbal, International Islamic University Islamabad, Pakistan
pp. 256-261
Nor Laily Hashim, Monash University, Australia
Sita Ramakrishnan, Monash University, Australia
Heinz W. Schmidt, RMIT University, Australia
pp. 262-267
Tsong Yueh Chen, Swinburne University of Technology, Australia
Fei-Ching Kuo, Swinburne University of Technology, Australia
Huai Liu, Swinburne University of Technology, Australia
pp. 274-279
Matthieu Petit, IRISA / INRIA Campus Beaulieu 35042 Rennes cedex, FRANCE
Arnaud Gotlieb, IRISA / INRIA Campus Beaulieu 35042 Rennes cedex, FRANCE
pp. 280-285
Jangbok Kim, Ajou University, Suwon, Korea
Kyunghee Choi, Ajou University, Suwon, Korea
Daniel M. Hoffman, University of Victoria, Victoria, BC, Canada
Gihyun Jung, Ajou University, Suwon, Korea
pp. 286-291
Guowei Dong, Southeast University, China
Changhai Nie, Southeast University, China
Baowen Xu, Southeast University, China
Lulu Wang, Southeast University, China
pp. 292-297
Session 2C: Short Papers Software Architecture and Components
Alexandre Alvaro, Federal University of Pernambuco and C.E.S.A.R, Brazil
Eduardo Santana de Almeida, Federal University of Pernambuco and C.E.S.A.R, Brazil
Silvio Lemos Meira, Federal University of Pernambuco and C.E.S.A.R, Brazil
pp. 298-303
Xin Peng, Fudan University, Shanghai, China
Wenyun Zhao, Fudan University, Shanghai, China
pp. 309-315
Anne Immonen, VTT Technical Research Centre of Finland
Marko Palviainen, VTT Technical Research Centre of Finland
pp. 316-321
Lian Yu, Peking University, Beijing, 102600, PRC
Lifeng Xu, Peking University, Beijing, 102600, PRC
Guanzhu Wang, Peking University, Beijing, 102600, PRC
Changyan Chi, China Research Center, IBM, Beijing, 100094, PRC
Wenping Xiao, China Research Center, IBM, Beijing, 100094, PRC
Hui Su, China Research Center, IBM, Beijing, 100094, PRC
pp. 322-327
Session 5: Short Papers Systems Modeling, Model Construction and Checking
Ebrahim Bagheri, University of New Brunswick
Ali A. Ghorbani, University of New Brunswick
pp. 336-341
Kristian Marius Furulund, Department of Informatics, P.O.Box 1080 Blindern, 0316 Oslo, Norway
Kjetil Molkken-stvold, Simula Research Laboratory, P.O.Box 134, 1325 Lysaker, Norway
pp. 342-347
Hamdi Yahyaoui, University Of Sharjah, Sharjah, UAE.
Mourad Debbabi, Concordia University, Quebec, Canada.
Nadia Tawbi, Laval University, Quebec, Canada.
pp. 348-355
Farid Mokhati, University of Oum-El-Bouaghi
Patrice Gagnon, University of Qu?bec at Trois-Riv
Mourad Badri, University of Qu?bec at Trois-Riv
pp. 356-362
Yan Sun, University of Missouri-Rolla
Bruce McMillin, University of Missouri-Rolla
Xiaoqing (Frank) Liu, University of Missouri-Rolla
David Cape, University of Missouri-Rolla
pp. 363-369
First International Workshop on Software Test Evaluation (STEV 2007)
Workshop Papers
Sara Sprenkle, Washington & Lee University
Emily Hill, University of Delaware
Lori Pollock, University of Delaware
pp. 372-379
Harry M. Sneed, Anecon GmbH, Vienna, Austria
pp. 380-387
Kurt J. Maly, Old Dominion University
Steven J. Zeil, Old Dominion University
Mohammad Zubair, Old Dominion University
Ashraf Amrou, Old Dominion University
Ali Aazhar, Old Dominion University
Naveen Ratkal, Old Dominion University
pp. 396-403
Yoonsik Cheon, University of Texas at El Paso
pp. 410-414
Workshop Position Paper
Patricia D. L. Machado, Federal University of Campina Grande, Campina Grande, Brazil
Wilkerson L. Andrade, Federal University of Campina Grande, Campina Grande, Brazil
pp. 415-418
Author Index
Usage of this product signifies your acceptance of the Terms of Use.