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)

P. A. Strooper , University of Queensland, Australia
A. Z. Javed , 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
Eda Marchetti , Istituto di Scienza e Tecnologie dell?Informazione, Pisa, Italy
Andrea Polini , Istituto di Scienza e Tecnologie dell?Informazione, Pisa, Italy
Jinghua Gao , Istituto di Scienza e Tecnologie dell?Informazione, Pisa, Italy
pp. 4

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

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

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

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

Coverage-Based Testing on Embedded Systems (Abstract)

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

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

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

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

Sungbong Kang , Ewha University, Seoul, Korea
Ahyoung Sung , Ewha University, Seoul, Korea
Byoungju Choi , Ewha University, Seoul, Korea
Jooyoung Seo , 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)

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

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

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

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

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