Proceedings of the 3rd international workshop on Advances in model-based testing - A-MOST '07
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

9781595938503

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Towards traceability of model-based testing artifacts

Proceedings of the 3rd international workshop on Advances in model-based testing - A-MOST '07 ◽

10.1145/1291535.1291546 ◽

2007 ◽

Cited By ~ 9

Author(s):

Leila Naslavsky ◽

Hadar Ziv ◽

Debra J. Richardson

Keyword(s):

Model Based ◽

Model Based Testing

Download Full-text

Test purpose generation in an industrial application

Proceedings of the 3rd international workshop on Advances in model-based testing - A-MOST '07 ◽

10.1145/1291535.1291547 ◽

2007 ◽

Cited By ~ 3

Author(s):

Bernhard K. Aichernig ◽

Martin Weiglhofer ◽

Bernhard Peischl ◽

Franz Wotawa

Keyword(s):

Industrial Application

Download Full-text

Model-based regression test suite generation using dependence analysis

Proceedings of the 3rd international workshop on Advances in model-based testing - A-MOST '07 ◽

10.1145/1291535.1291541 ◽

2007 ◽

Cited By ~ 23

Author(s):

Yanping Chen ◽

Robert L. Probert ◽

Hasan Ural

Keyword(s):

Test Suite ◽

Dependence Analysis ◽

Model Based ◽

Regression Test ◽

Test Suite Generation

Download Full-text

Using LTL rewriting to improve the performance of model-checker based test-case generation

Proceedings of the 3rd international workshop on Advances in model-based testing - A-MOST '07 ◽

10.1145/1291535.1291542 ◽

2007 ◽

Cited By ~ 10

Author(s):

Gordon Fraser ◽

Franz Wotawa

Keyword(s):

Test Case Generation ◽

Test Case ◽

Model Checker

Download Full-text

An approach for selective state machine based regression testing

Proceedings of the 3rd international workshop on Advances in model-based testing - A-MOST '07 ◽

10.1145/1291535.1291540 ◽

2007 ◽

Cited By ~ 30

Author(s):

Qurat-ul-ann Farooq ◽

Muhammad Zohaib Z. Iqbal ◽

Zafar I Malik ◽

Aamer Nadeem

Keyword(s):

State Machine ◽

Regression Testing

Download Full-text

A subset of precise UML for model-based testing

Proceedings of the 3rd international workshop on Advances in model-based testing - A-MOST '07 ◽

10.1145/1291535.1291545 ◽

2007 ◽

Cited By ~ 48

Author(s):

F. Bouquet ◽

C. Grandpierre ◽

B. Legeard ◽

F. Peureux ◽

N. Vacelet ◽

...

Keyword(s):

Model Based ◽

Model Based Testing

Download Full-text

Automatic generation of model based tests for a class of security properties

Proceedings of the 3rd international workshop on Advances in model-based testing - A-MOST '07 ◽

10.1145/1291535.1291537 ◽

2007 ◽

Cited By ~ 5

Author(s):

Pierre-Alain Masson ◽

Jacques Julliand ◽

Jean-Chritophe Plessis ◽

Eddie Jaffuel ◽

Georges Debois

Keyword(s):

Automatic Generation ◽

Model Based ◽

Security Properties

Download Full-text

Combining test case generation for component and integration testing

Proceedings of the 3rd international workshop on Advances in model-based testing - A-MOST '07 ◽

10.1145/1291535.1291538 ◽

2007 ◽

Cited By ~ 9

Author(s):

Sebastian Benz

Keyword(s):

Test Case Generation ◽

Test Case ◽

Integration Testing

Download Full-text

Achieving both model and code coverage with automated gray-box testing

Proceedings of the 3rd international workshop on Advances in model-based testing - A-MOST '07 ◽

10.1145/1291535.1291536 ◽

2007 ◽

Cited By ~ 14

Author(s):

Nicolas Kicillof ◽

Wolfgang Grieskamp ◽

Nikolai Tillmann ◽

Victor Braberman

Keyword(s):

Code Coverage

Download Full-text

Model-based test prioritization heuristic methods and their evaluation

Proceedings of the 3rd international workshop on Advances in model-based testing - A-MOST '07 ◽

10.1145/1291535.1291539 ◽

2007 ◽

Cited By ~ 43

Author(s):

Bogdan Korel ◽

George Koutsogiannakis ◽

Luay H. Tahat

Keyword(s):

Heuristic Methods ◽

Model Based ◽

Test Prioritization

Download Full-text

Proceedings of the 3rd international workshop on Advances in model-based testing - A-MOST '07Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Towards traceability of model-based testing artifacts

Test purpose generation in an industrial application

Model-based regression test suite generation using dependence analysis

Using LTL rewriting to improve the performance of model-checker based test-case generation

An approach for selective state machine based regression testing

A subset of precise UML for model-based testing

Automatic generation of model based tests for a class of security properties

Combining test case generation for component and integration testing

Achieving both model and code coverage with automated gray-box testing

Model-based test prioritization heuristic methods and their evaluation

Proceedings of the 3rd international workshop on Advances in model-based testing - A-MOST '07
Latest Publications