Systematic Model-Based Testing of Embedded Automotive Software

Electronic Notes in Theoretical Computer Science ◽

10.1016/j.entcs.2004.12.005 ◽

2005 ◽

Vol 111 ◽

pp. 13-26 ◽

Cited By ~ 21

Author(s):

Mirko Conrad ◽

Ines Fey ◽

Sadegh Sadeghipour

Keyword(s):

Automotive Software ◽

Model Based ◽

Model Based Testing

Download Full-text

Model-based testing of automotive software

Proceedings of the 52nd Annual Design Automation Conference on - DAC '15 ◽

10.1145/2744769.2747935 ◽

2015 ◽

Cited By ~ 6

Author(s):

Alexandre Petrenko ◽

Omer Nguena Timo ◽

S. Ramesh

Keyword(s):

Automotive Software ◽

Model Based ◽

Model Based Testing

Download Full-text

Model-based Testing of Embedded Automotive Software Using Mtest

10.4271/2004-01-1593 ◽

2004 ◽

Cited By ~ 25

Author(s):

Klaus Lamberg ◽

Michael Beine ◽

Mario Eschmann ◽

Rainer Otterbach ◽

Mirko Conrad ◽

...

Keyword(s):

Automotive Software ◽

Model Based ◽

Model Based Testing

Download Full-text

Model-Based Testing Design for Embedded Automotive Software

10.4271/2009-01-0151 ◽

2009 ◽

Author(s):

Anila Mjeda ◽

Pat McElligott ◽

Kevin Ryan ◽

Steffen Thiel

Keyword(s):

Automotive Software ◽

Model Based ◽

Model Based Testing ◽

Testing Design

Download Full-text

Improving model-based testing in automotive software engineering

Proceedings of the 40th International Conference on Software Engineering Software Engineering in Practice - ICSE-SEIP '18 ◽

10.1145/3183519.3183533 ◽

2018 ◽

Cited By ~ 2

Author(s):

Stefan Kriebel ◽

Matthias Markthaler ◽

Karin Samira Salman ◽

Timo Greifenberg ◽

Steffen Hillemacher ◽

...

Keyword(s):

Software Engineering ◽

Automotive Software ◽

Model Based ◽

Model Based Testing ◽

Automotive Software Engineering

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

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