Second International Workshop on Automation of Software Test (AST '07)
Latest Publications

TOTAL DOCUMENTS

11

(FIVE YEARS 0)

H-INDEX

6

(FIVE YEARS 0)

Published By IEEE

9780769529712

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Automated Testing of Timeliness : A Case Study

Second International Workshop on Automation of Software Test (AST '07) ◽

10.1109/ast.2007.5 ◽

2007 ◽

Author(s):

Robert Nilsson ◽

Jeff Offutt

Keyword(s):

Automated Testing

Download Full-text

Coverage-Based Testing on Embedded Systems

Second International Workshop on Automation of Software Test (AST '07) ◽

10.1109/ast.2007.8 ◽

2007 ◽

Author(s):

X. Wu ◽

J. Jenny Li ◽

D. Weiss ◽

Y. Lee

Keyword(s):

Embedded Systems

Download Full-text

Automating Embedded Software Testing on an Emulated Target Board

Second International Workshop on Automation of Software Test (AST '07) ◽

10.1109/ast.2007.7 ◽

2007 ◽

Author(s):

Jooyoung Seo ◽

Ahyoung Sung ◽

Byoungju Choi ◽

Sungbong Kang

Keyword(s):

Software Testing ◽

Embedded Software

Download Full-text

Automatic Test Data Generation for XML Schema-based Partition Testing

Second International Workshop on Automation of Software Test (AST '07) ◽

10.1109/ast.2007.6 ◽

2007 ◽

Author(s):

Antonia Bertolino ◽

Jinghua Gao ◽

Eda Marchetti ◽

Andrea Polini

Keyword(s):

Test Data ◽

Test Data Generation ◽

Data Generation ◽

Automatic Test ◽

Partition Testing ◽

Automatic Test Data Generation

Download Full-text

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

Second International Workshop on Automation of Software Test (AST '07) ◽

10.1109/ast.2007.3 ◽

2007 ◽

Author(s):

Abdesselam Lakehal ◽

Ioannis Parissis

Keyword(s):

Structural Coverage

Download Full-text

Testing Dynamic Adaptation in Distributed Systems

Second International Workshop on Automation of Software Test (AST '07) ◽

10.1109/ast.2007.14 ◽

2007 ◽

Author(s):

Karun N. Biyani ◽

Sandeep S. Kulkarni

Keyword(s):

Distributed Systems ◽

Dynamic Adaptation

Download Full-text

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

Second International Workshop on Automation of Software Test (AST '07) ◽

10.1109/ast.2007.9 ◽

2007 ◽

Author(s):

Jiang Bo ◽

Long Xiang ◽

Gao Xiaopeng

Keyword(s):

Mobile Devices ◽

Black Box ◽

Smart Mobile ◽

Smart Mobile Devices

Download Full-text

Random Generation of Test Inputs for Implicitly Defined Subdomains

Second International Workshop on Automation of Software Test (AST '07) ◽

10.1109/ast.2007.11 ◽

2007 ◽

Author(s):

John A. Murphy ◽

David Coppit

Keyword(s):

Random Generation

Download Full-text

Automated Generation of Test Cases Using Model-Driven Architecture

Second International Workshop on Automation of Software Test (AST '07) ◽

10.1109/ast.2007.2 ◽

2007 ◽

Author(s):

A. Z. Javed ◽

P. A. Strooper ◽

G. N. Watson

Keyword(s):

Model Driven Architecture ◽

Automated Generation ◽

Download Full-text

An Improved Approach to Passive Testing of FSM-based Systems

Second International Workshop on Automation of Software Test (AST '07) ◽

10.1109/ast.2007.1 ◽

2007 ◽

Author(s):

Hasan Ural ◽

Zhi Xu ◽

Fan Zhang

Keyword(s):

Passive Testing

Download Full-text