Using Formal Specifications to Support Model Based Testing ASDSpec: A Tool Combining the Best of Two Techniques

Electronic Proceedings in Theoretical Computer Science ◽

10.4204/eptcs.141.1 ◽

2014 ◽

Vol 141 ◽

pp. 1-13 ◽

Cited By ~ 1

Author(s):

A.P. van der Meer ◽

R. Kherrazi ◽

M. Hamilton

Keyword(s):

Formal Specifications ◽

Model Based ◽

Model Based Testing ◽

Support Model

Download Full-text

A Tool to Support Model-Based Testing Activities

2011 Brazilian Symposium on Computing System Engineering ◽

10.1109/sbesc.2011.12 ◽

2011 ◽

Author(s):

Gilson Doi Junior ◽

Adilson Luiz Bonifacio

Keyword(s):

Model Based ◽

Model Based Testing ◽

Support Model

Download Full-text

Towards leveraging model transformation to support model-based testing

Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering - ASE '07 ◽

10.1145/1321631.1321721 ◽

2007 ◽

Cited By ~ 1

Author(s):

Leila Naslavsky ◽

Hadar Ziv ◽

Debra J. Richardson

Keyword(s):

Model Transformation ◽

Model Based ◽

Model Based Testing ◽

Support Model

Download Full-text

Using Feature Model to Support Model-Based Testing of Product Lines: An Industrial Case Study

2013 13th International Conference on Quality Software ◽

10.1109/qsic.2013.51 ◽

2013 ◽

Cited By ~ 7

Author(s):

Shuai Wang ◽

Shaukat Ali ◽

Tao Yue ◽

Marius Liaaen

Keyword(s):

Feature Model ◽

Product Lines ◽

Industrial Case Study ◽

Model Based ◽

Model Based Testing ◽

Support Model

Download Full-text

Using tabular notation to support model based testing: A practical experience using STTSpec and Spec Explorer

2020 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) ◽

10.1109/icstw50294.2020.00021 ◽

2020 ◽

Author(s):

Rachid Kherrazi

Keyword(s):

Practical Experience ◽

Model Based ◽

Model Based Testing ◽

Support Model

Download Full-text

A Product Line Modeling and Configuration Methodology to Support Model-Based Testing: An Industrial Case Study

Model Driven Engineering Languages and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-642-33666-9_46 ◽

2012 ◽

pp. 726-742 ◽

Cited By ~ 7

Author(s):

Shaukat Ali ◽

Tao Yue ◽

Lionel Briand ◽

Suneth Walawege

Keyword(s):

Product Line ◽

Industrial Case Study ◽

Model Based ◽

Model Based Testing ◽

Configuration Methodology ◽

Support Model

Download Full-text

Model generation to support model-based testing applied on the NASA DAT Web-application - An experience report

2015 IEEE 26th International Symposium on Software Reliability Engineering (ISSRE) ◽

10.1109/issre.2015.7381801 ◽

2015 ◽

Cited By ~ 3

Author(s):

Christoph Schulze ◽

Mikael Lindvall ◽

Sigurthor Bjorgvinsson ◽

Robert Wiegand

Keyword(s):

Web Application ◽

Experience Report ◽

Model Generation ◽

Model Based ◽

Model Based Testing ◽

Support Model

Download Full-text

Putting Formal Specifications under the Magnifying Glass: Model-based Testing for Validation

2009 International Conference on Software Testing Verification and Validation ◽

10.1109/icst.2009.20 ◽

2009 ◽

Cited By ~ 5

Author(s):

Emine G. Aydal ◽

Richard F. Paige ◽

Mark Utting ◽

Jim Woodcock

Keyword(s):

Formal Specifications ◽

Model Based ◽

Model Based Testing ◽

Glass Model

Download Full-text

Model-Based Testing for Web Applications

Chinese Journal of Computers ◽

10.3724/sp.j.1016.2011.01012 ◽

2011 ◽

Vol 34 (6) ◽

pp. 1012-1028 ◽

Cited By ~ 6

Author(s):

Huai-Kou MIAO ◽

Sheng-Bo CHEN ◽

Hong-Wei ZENG

Keyword(s):

Web Applications ◽

Model Based ◽

Model Based Testing

Download Full-text

Model-based testing of software product lines: Mapping study and research roadmap

Journal of Systems and Software ◽

10.1016/j.jss.2020.110608 ◽

2020 ◽

Vol 167 ◽

pp. 110608

Author(s):

Kleber L. Petry ◽

Edson OliveiraJr ◽

Avelino F. Zorzo

Keyword(s):

Software Product Lines ◽

Mapping Study ◽

Product Lines ◽

Model Based ◽

Model Based Testing ◽

Software Product

Download Full-text

A decision support model based on the Analytic Hierarchy Process for the Make or Buy decision in manufacturing

Journal of Purchasing and Supply Management ◽

10.1016/j.pursup.2007.01.003 ◽

2006 ◽

Vol 12 (5) ◽

pp. 258-271 ◽

Cited By ~ 35

Author(s):

Henny van de Water ◽

Heleen P. van Peet

Keyword(s):

Decision Support ◽

Analytic Hierarchy Process ◽

Decision Support Model ◽

Analytic Hierarchy ◽

Model Based ◽

The Analytic Hierarchy Process ◽

Hierarchy Process ◽

Support Model

Download Full-text