Proceeding of the 6th international workshop on Automation of software test - AST '11
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

9781450305921

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Abstracting timing information in UML state charts via temporal ordering and LOTOS

Proceeding of the 6th international workshop on Automation of software test - AST '11 ◽

10.1145/1982595.1982598 ◽

2011 ◽

Cited By ~ 3

Author(s):

Valentine Chimisliu ◽

Franz Wotawa

Keyword(s):

Timing Information ◽

State Charts ◽

Temporal Ordering

Download Full-text

Automated testing of industrial control devices

Proceeding of the 6th international workshop on Automation of software test - AST '11 ◽

10.1145/1982595.1982611 ◽

2011 ◽

Cited By ~ 1

Author(s):

Nate Kube ◽

Kevin Yoo ◽

Daniel Hoffman

Keyword(s):

Automated Testing ◽

Industrial Control ◽

Control Devices

Download Full-text

Scalable graph analyzing approach for software fault-localization

Proceeding of the 6th international workshop on Automation of software test - AST '11 ◽

10.1145/1982595.1982599 ◽

2011 ◽

Cited By ~ 3

Author(s):

Zaynab Mousavian ◽

Mojtaba Vahidi-Asl ◽

Saeed Parsa

Keyword(s):

Fault Localization ◽

Software Fault

Download Full-text

Towards automated testing of web service choreographies

Proceeding of the 6th international workshop on Automation of software test - AST '11 ◽

10.1145/1982595.1982621 ◽

2011 ◽

Cited By ~ 1

Author(s):

Felipe M. Besson ◽

Pedro M.B. Leal ◽

Fabio Kon ◽

Alfredo Goldman ◽

Dejan Milojicic

Keyword(s):

Web Service ◽

Automated Testing

Download Full-text

A comparative evaluation of state-of-the-art web service composition testing approaches

Proceeding of the 6th international workshop on Automation of software test - AST '11 ◽

10.1145/1982595.1982602 ◽

2011 ◽

Cited By ~ 8

Author(s):

Hazlifah Mohd Rusli ◽

Mazidah Puteh ◽

Suhaimi Ibrahim ◽

Sayed Gholam Hassan Tabatabaei

Keyword(s):

Web Service ◽

Service Composition ◽

Comparative Evaluation ◽

State Of The Art ◽

Web Service Composition

Download Full-text

A framework for automatic functional testing based on formal specifications

Proceeding of the 6th international workshop on Automation of software test - AST '11 ◽

10.1145/1982595.1982619 ◽

2011 ◽

Author(s):

Shaoying Liu ◽

Shin Nakajima

Keyword(s):

Functional Testing ◽

Formal Specifications

Download Full-text

Metamorphic testing of a Monte Carlo modeling program

Proceeding of the 6th international workshop on Automation of software test - AST '11 ◽

10.1145/1982595.1982597 ◽

2011 ◽

Cited By ~ 6

Author(s):

Joshua Ding ◽

Tong Wu ◽

Dianxiang Wu ◽

Jun Q. Lu ◽

Xin-Hua Hu

Keyword(s):

Monte Carlo ◽

Monte Carlo Modeling ◽

Metamorphic Testing

Download Full-text

Automatically testing interactive multimodal systems using task trees and fusion models

Proceeding of the 6th international workshop on Automation of software test - AST '11 ◽

10.1145/1982595.1982605 ◽

2011 ◽

Cited By ~ 3

Author(s):

Laya Madani ◽

Ioannis Parissis

Keyword(s):

Multimodal Systems

Download Full-text

Using conditional mutation to increase the efficiency of mutation analysis

Proceeding of the 6th international workshop on Automation of software test - AST '11 ◽

10.1145/1982595.1982606 ◽

2011 ◽

Cited By ~ 15

Author(s):

René Just ◽

Gregory M. Kapfhammer ◽

Franz Schweiggert

Keyword(s):

Mutation Analysis

Download Full-text

Test data to reduce the complexity of unit test automation

Proceeding of the 6th international workshop on Automation of software test - AST '11 ◽

10.1145/1982595.1982618 ◽

2011 ◽

Author(s):

Guy Collins Ndem ◽

Abbas Tahir ◽

Andreas Ulrich ◽

Helmut Goetz

Keyword(s):

Test Data ◽

Test Automation ◽

Unit Test

Download Full-text

Proceeding of the 6th international workshop on Automation of software test - AST '11Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Abstracting timing information in UML state charts via temporal ordering and LOTOS

Automated testing of industrial control devices

Scalable graph analyzing approach for software fault-localization

Towards automated testing of web service choreographies

A comparative evaluation of state-of-the-art web service composition testing approaches

A framework for automatic functional testing based on formal specifications

Metamorphic testing of a Monte Carlo modeling program

Automatically testing interactive multimodal systems using task trees and fusion models

Using conditional mutation to increase the efficiency of mutation analysis

Test data to reduce the complexity of unit test automation

Proceeding of the 6th international workshop on Automation of software test - AST '11
Latest Publications