The Community for Technology Leaders
RSS Icon
Subscribe
2007 7th International Conference on Quality Software (2007)
Portland, OR
Oct. 11, 2007 to Oct. 12, 2007
ISBN: 978-0-7695-3035-2
TABLE OF CONTENTS
Introduction
pp. xviii
pp. xix
Position Papers by Distinguished Plenary Panel
Phillip C.-Y. Sheu , University of California, Irvine
pp. 3
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
Bashar Gharaibeh , Iowa State University
Tien N. Nguyen , Iowa State University
J. Morris Chang , Iowa State University
pp. 171-180
Zhenyu Zhang , University of Hong Kong
W. K. Chan , University of Hong Kong
T. H. Tse , University of Hong Kong
pp. 181-190
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
Burak Turhan , Bogazici University
Ayse Bener , Bogazici University
pp. 231-237
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
Jin-Hyun Kim , Korea University
Jae-Hwan Sim , Korea University
Chang-Jin Kim , Korea University
Jin-Young Choi , Korea University
pp. 244-249
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
Zhe (Jessie) Li , McMaster University
Tom Maibaum , McMaster University
pp. 268-273
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
Robert A. Tefft , Central Michigan University
Roger Y. Lee , Central Michigan University
pp. 304-308
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
Mikhail Perepletchikov , RMIT University
Caspar Ryan , RMIT University
Keith Frampton , RMIT University
pp. 328-335
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)
Johannes Mayer , Ulm University
Sami Beydeda , ZIVIT Germany
pp. 370-371
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
Dick Hamlet , Portland State University
pp. 388-395
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
Author Index (PDF)
pp. 419
45 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool