Proceedings of the 3rd international workshop on Automation of software test - AST '08
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

9781605580302

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Generating security tests in addition to functional tests

Proceedings of the 3rd international workshop on Automation of software test - AST '08 ◽

10.1145/1370042.1370051 ◽

2008 ◽

Cited By ~ 17

Author(s):

Jacques Julliand ◽

Pierre-Alain Masson ◽

Regis Tissot

Keyword(s):

Functional Tests

Download Full-text

Qr-model based testing

Proceedings of the 3rd international workshop on Automation of software test - AST '08 ◽

10.1145/1370042.1370046 ◽

2008 ◽

Cited By ~ 1

Author(s):

Harald Brandl ◽

Gordon Fraser ◽

Franz Wotawa

Keyword(s):

Model Based ◽

Model Based Testing

Download Full-text

Using model transformation to support model-based test coverage measurement

Proceedings of the 3rd international workshop on Automation of software test - AST '08 ◽

10.1145/1370042.1370044 ◽

2008 ◽

Author(s):

Leila Naslavsky ◽

Hadar Ziv ◽

Debra J. Richardson

Keyword(s):

Model Transformation ◽

Test Coverage ◽

Model Based ◽

Coverage Measurement ◽

Support Model

Download Full-text

Automated instrumentation of contracts and scenarios for requirements validation in .net

Proceedings of the 3rd international workshop on Automation of software test - AST '08 ◽

10.1145/1370042.1370056 ◽

2008 ◽

Cited By ~ 1

Author(s):

Dave Arnold ◽

Jean-Pierre Corriveau

Keyword(s):

Requirements Validation

Download Full-text

A strategy for evaluating feasible and unfeasible test cases for the evolutionary testing of object-oriented software

Proceedings of the 3rd international workshop on Automation of software test - AST '08 ◽

10.1145/1370042.1370061 ◽

2008 ◽

Cited By ~ 5

Author(s):

José Carlos Bregieiro Ribeiro ◽

Mário Zenha Rela ◽

Francisco Fernandéz de Vega

Keyword(s):

Object Oriented ◽

Test Cases ◽

Evolutionary Testing

Download Full-text

Test generation for graphical user interfaces based on symbolic execution

Proceedings of the 3rd international workshop on Automation of software test - AST '08 ◽

10.1145/1370042.1370050 ◽

2008 ◽

Cited By ~ 11

Author(s):

Svetoslav R. Ganov ◽

Chip Killmar ◽

Sarfraz Khurshid ◽

Dewayne E. Perry

Keyword(s):

User Interfaces ◽

Test Generation ◽

Symbolic Execution ◽

Graphical User Interfaces

Download Full-text

Requirements-based test case specification by using information from model construction

Proceedings of the 3rd international workshop on Automation of software test - AST '08 ◽

10.1145/1370042.1370045 ◽

2008 ◽

Cited By ~ 3

Author(s):

Christian Pfaller

Keyword(s):

Model Construction ◽

Test Case

Download Full-text

An automatically-generated run-time instrumenter to reduce coverage testing overhead

Proceedings of the 3rd international workshop on Automation of software test - AST '08 ◽

10.1145/1370042.1370054 ◽

2008 ◽

Cited By ~ 5

Author(s):

J. Jenny Li ◽

David M. Weiss ◽

Howell Yee

Keyword(s):

Coverage Testing ◽

Run Time

Download Full-text

An automated technique for risk-based test case generation and prioritization

Proceedings of the 3rd international workshop on Automation of software test - AST '08 ◽

10.1145/1370042.1370057 ◽

2008 ◽

Cited By ~ 38

Author(s):

Heiko Stallbaum ◽

Andreas Metzger ◽

Klaus Pohl

Keyword(s):

Test Case Generation ◽

Test Case ◽

Automated Technique

Download Full-text

An EFSM-based test generation for validation of SDL specifications

Proceedings of the 3rd international workshop on Automation of software test - AST '08 ◽

10.1145/1370042.1370049 ◽

2008 ◽

Cited By ~ 2

Author(s):

W. Eric Wong ◽

Andy Restrepo ◽

Yu Qi ◽

Byoungju Choi

Keyword(s):

Test Generation

Download Full-text

Proceedings of the 3rd international workshop on Automation of software test - AST '08Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Generating security tests in addition to functional tests

Qr-model based testing

Using model transformation to support model-based test coverage measurement

Automated instrumentation of contracts and scenarios for requirements validation in .net

A strategy for evaluating feasible and unfeasible test cases for the evolutionary testing of object-oriented software

Test generation for graphical user interfaces based on symbolic execution

Requirements-based test case specification by using information from model construction

An automatically-generated run-time instrumenter to reduce coverage testing overhead

An automated technique for risk-based test case generation and prioritization

An EFSM-based test generation for validation of SDL specifications

Proceedings of the 3rd international workshop on Automation of software test - AST '08
Latest Publications