Default Cover Image

Automation of Software Test, Second International Workshop on

May 20 2007 to May 26 2007

Minneapolis Minnesota

ISBN: 0-7695-2971-2

Table of Contents

Introduction
Program Co-Chairs MessageFreely available from IEEE.pp. 1
Keynote Address
Automated Test Data Generation using Search Based Software EngineeringFull-text access may be available. Sign in or learn about subscription options.pp. 2-2
Test Generation and Execution
Automated Generation of Test Cases Using Model-Driven ArchitectureFull-text access may be available. Sign in or learn about subscription options.pp. 3
Test Generation and Execution
Automatic Test Data Generation for XML Schema-based Partition TestingFull-text access may be available. Sign in or learn about subscription options.pp. 4
Test Generation and Execution
Towards a Framework for Differential Unit Testing of Object-Oriented ProgramsFull-text access may be available. Sign in or learn about subscription options.pp. 5
Domain Specific Techniques
An Improved Approach to Passive Testing of FSM-based SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 6
Domain Specific Techniques
Coverage-Based Testing on Embedded SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 7
Domain Specific Techniques
MobileTest: A Tool Supporting Automatic Black Box Test for Software on Smart Mobile DevicesFull-text access may be available. Sign in or learn about subscription options.pp. 8
Domain Specific Techniques
Automating Embedded Software Testing on an Emulated Target BoardFull-text access may be available. Sign in or learn about subscription options.pp. 9
Domain Specific Techniques
Testing Dynamic Adaptation in Distributed SystemsFull-text access may be available. Sign in or learn about subscription options.pp. 10
Case Studies and Experiments
Automated Testing of Timeliness : A Case StudyFull-text access may be available. Sign in or learn about subscription options.pp. 11
Case Studies and Experiments
Automated Measure of Structural Coverage for LUSTRE Programs: a Case StudyFull-text access may be available. Sign in or learn about subscription options.pp. 12
Case Studies and Experiments
Random Generation of Test Inputs for Implicitly Defined SubdomainsFull-text access may be available. Sign in or learn about subscription options.pp. 13
Showing 14 out of 14