The Community for Technology Leaders
Automation of Software Test, Second International Workshop on (2007)
Minneapolis Minnesota
May 20, 2007 to May 26, 2007
ISBN: 0-7695-2971-2
TABLE OF CONTENTS
Introduction
Keynote Address
Test Generation and Execution

Automated Generation of Test Cases Using Model-Driven Architecture (Abstract)

A. Z. Javed , University of Queensland, Australia
P. A. Strooper , University of Queensland, Australia
G. N. Watson , University of Queensland, Australia
pp. 3

Automatic Test Data Generation for XML Schema-based Partition Testing (Abstract)

Antonia Bertolino , Istituto di Scienza e Tecnologie dell?Informazione, Pisa, Italy
Jinghua Gao , Istituto di Scienza e Tecnologie dell?Informazione, Pisa, Italy
Eda Marchetti , Istituto di Scienza e Tecnologie dell?Informazione, Pisa, Italy
Andrea Polini , Istituto di Scienza e Tecnologie dell?Informazione, Pisa, Italy
pp. 4

Towards a Framework for Differential Unit Testing of Object-Oriented Programs (Abstract)

Tao Xie , North Carolina State University, USA
Kunal Taneja , North Carolina State University, USA
Shreyas Kale , North Carolina State University, USA
Darko Marinov , University of Illinois at Urbana-Champaign, USA
pp. 5
Domain Specific Techniques

An Improved Approach to Passive Testing of FSM-based Systems (Abstract)

Hasan Ural , University of Ottawa
Zhi Xu , University of Ottawa
Fan Zhang , University of Ottawa
pp. 6

Coverage-Based Testing on Embedded Systems (Abstract)

X. Wu , Arizona State University
J. Jenny Li , Avaya Labs Research, 233 Mt. Airy Rd., Basking Ridge, NJ
D. Weiss , Avaya Labs Research, 233 Mt. Airy Rd., Basking Ridge, NJ
Y. Lee , Arizona State University
pp. 7

MobileTest: A Tool Supporting Automatic Black Box Test for Software on Smart Mobile Devices (Abstract)

Jiang Bo , University, Beijing, China
Long Xiang , University, Beijing, China
Gao Xiaopeng , University, Beijing, China
pp. 8

Automating Embedded Software Testing on an Emulated Target Board (Abstract)

Jooyoung Seo , Ewha University, Seoul, Korea
Ahyoung Sung , Ewha University, Seoul, Korea
Byoungju Choi , Ewha University, Seoul, Korea
Sungbong Kang , Ewha University, Seoul, Korea
pp. 9

Testing Dynamic Adaptation in Distributed Systems (Abstract)

Karun N. Biyani , Michigan State University
Sandeep S. Kulkarni , Michigan State University
pp. 10
Case Studies and Experiments

Automated Testing of Timeliness : A Case Study (Abstract)

Robert Nilsson , University of Skovde
Jeff Offutt , George Mason University
pp. 11

Automated Measure of Structural Coverage for LUSTRE Programs: a Case Study (Abstract)

Abdesselam Lakehal , Laboratoire d?Informatique de Grenoble, France
Ioannis Parissis , Laboratoire d?Informatique de Grenoble, France
pp. 12

Random Generation of Test Inputs for Implicitly Defined Subdomains (Abstract)

John A. Murphy , College of William and Mary
David Coppit , College of William and Mary
pp. 13
92 ms
(Ver 3.3 (11022016))