Input-Output Conformance Simulation (iocos) for Model Based Testing

Formal Techniques for Distributed Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-642-38592-6_9 ◽

2013 ◽

pp. 114-129 ◽

Cited By ~ 11

Author(s):

Carlos Gregorio-Rodríguez ◽

Luis Llana ◽

Rafael Martínez-Torres

Keyword(s):

Input Output ◽

Model Based ◽

Model Based Testing

Download Full-text

Model-Based Testing from Input Output Symbolic Transition Systems Enriched by Program Calls and Contracts

Testing Software and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-319-25945-1_3 ◽

2015 ◽

pp. 35-51 ◽

Cited By ~ 2

Author(s):

Imen Boudhiba ◽

Christophe Gaston ◽

Pascale Le Gall ◽

Virgile Prevosto

Keyword(s):

Input Output ◽

Transition Systems ◽

Model Based ◽

Model Based Testing ◽

Symbolic Transition Systems

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

AN INPUT-OUTPUT MODEL BASED ON ORIGIN-DESTINATION DATA OF FOREIGN VISITORS IN JAPAN - FOR IMPACT ANALYSIS OF INCREASING FOREIGN VISITORS BY INTERNATIONAL AIRPORT SALES

Journal of Japan Society of Civil Engineers Ser D3 (Infrastructure Planning and Management) ◽

10.2208/jscejipm.73.178 ◽

2017 ◽

Vol 73 (3) ◽

pp. 178-185

Author(s):

Takaaki OKUDA

Keyword(s):

Impact Analysis ◽

Input Output ◽

International Airport ◽

Model Based

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

AI-Based Enhancement of Test Models in an Industrial Model-Based Testing Tool

2021 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER) ◽

10.1109/saner50967.2021.00080 ◽

2021 ◽

Author(s):

Stefan Mohacsi ◽

Michael Felderer

Keyword(s):

Model Based ◽

Test Models ◽

Model Based Testing ◽

Testing Tool

Download Full-text

Multi-objective Search for Model-based Testing

2020 IEEE 20th International Conference on Software Quality, Reliability and Security (QRS) ◽

10.1109/qrs51102.2020.00029 ◽

2020 ◽

Author(s):

Rui Wang ◽

Cyrille Artho ◽

Lars Michael Kristensen ◽

Volker Stolz

Keyword(s):

Multi Objective ◽

Model Based ◽

Model Based Testing

Download Full-text

Model-based testing of end-user collaboration intensive systems

Proceedings of the Symposium on Applied Computing - SAC '17 ◽

10.1145/3019612.3019778 ◽

2017 ◽

Author(s):

Alessio Gambi ◽

Christoph Mayr-Dorn ◽

Andreas Zeller

Keyword(s):

End User ◽

Model Based ◽

Model Based Testing ◽

User Collaboration

Download Full-text

Estimating Costs for Adopting and Using Model-Based Testing in Agile SCRUM Teams

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

10.1109/icstw52544.2021.00042 ◽

2021 ◽

Author(s):

Athanasios Karapantelakis

Keyword(s):

Model Based ◽

Model Based Testing

Download Full-text

Applying model-based testing to healthcare products

Proceedings of the 13th international conference on Software engineering - ICSE '08 ◽

10.1145/1368088.1368183 ◽

2008 ◽

Cited By ~ 11

Author(s):

Marlon Vieira ◽

Xiping Song ◽

Gilberto Matos ◽

Stephan Storck ◽

Rajanikanth Tanikella ◽

...

Keyword(s):

Model Based ◽

Model Based Testing

Download Full-text

Data generation in model-based testing

Proceedings of the 2010 ACM Symposium on Applied Computing - SAC '10 ◽

10.1145/1774088.1774553 ◽

2010 ◽

Cited By ~ 1

Author(s):

Padmanabhan Krishnan ◽

Percy Pari-Salas

Keyword(s):

Data Generation ◽

Model Based ◽

Model Based Testing

Download Full-text