This book gives a practical introduction to model-based testing, showing how to write models for testing purposes and how to use model-based testing tools to generate test suites. It is aimed at testers and software developers who wish to use model-based testing, rather than at tool-developers or academics. The book focuses on the mainstream practice of functional black-box testing and covers different styles of models, especially transition-based models (UML state machines) and pre/post models (UML/OCL specifications and B notation). The steps of applying model-based testing are demonstrated on examples and case studies from a variety of software domains, including embedded software and information systems. From this book you will learn: * The basic principles and terminology of model-based testing * How model-based testing differs from other testing processes * How model-based testing fits into typical software lifecycles such as agile methods and the Unified Process * The benefits and limitations of model-based testing, its cost effectiveness and how it can reduce time-to-market * A step-by-step process for applying model-based testing * How to write good models for model-based testing * How to use a variety of test selection criteria to control the tests that are generated from your models * How model-based testing can connect to existing automated test execution platforms such as Mercury Test Director, Java JUnit, and proprietary test execution environments * Presents the basic principles and terminology of model-based testing * Shows how model-based testing fits into the software lifecycle, its cost-effectiveness, and how it can reduce time to market * Offers guidance on how to use different kinds of modeling techniques, useful test generation strategies, how to apply model-based testing techniques to real applications using case studies
Cited By
- Asgari Araghi M, Rafe V and Khendek F (2024). Using data mining techniques to generate test cases from graph transformation systems specifications, Automated Software Engineering, 31:1, Online publication date: 1-May-2024.
- Goldstein H, Cutler J, Dickstein D, Pierce B and Head A Property-Based Testing in Practice Proceedings of the IEEE/ACM 46th International Conference on Software Engineering, (1-13)
- Fischer S, Ramler R, Assunção W, Egyed A, Gradl C and Auberger S Model-based Testing for a Family of Mobile Applications Proceedings of the 27th ACM International Systems and Software Product Line Conference - Volume A, (242-253)
- Park J, Youn D, Lee K and Ryu S (2023). Feature-Sensitive Coverage for Conformance Testing of Programming Language Implementations, Proceedings of the ACM on Programming Languages, 7:PLDI, (493-515), Online publication date: 6-Jun-2023.
- Lee S, Choi H and Chae H (2023). Augmenting a round-trip path test suite to cover all event-pairs for testing more diverse usage scenarios, Journal of King Saud University - Computer and Information Sciences, 35:6, Online publication date: 1-Jun-2023.
- Kurian E, Braione P, Briola D, D'Avino D, Modonato M and Denaro G Automated Test Case Generation for Safety-Critical Software in Scade Proceedings of the 45th International Conference on Software Engineering: Software Engineering in Practice, (483-494)
- Kurian E, Briola D, Braione P and Denaro G (2023). Automatically generating test cases for safety-critical software via symbolic execution, Journal of Systems and Software, 199:C, Online publication date: 1-May-2023.
- Fischer S, Michelon G, Assunção W, Ramler R and Egyed A Designing a Test Model for a Configurable System: An Exploratory Study of Preprocessor Directives and Feature Toggles Proceedings of the 17th International Working Conference on Variability Modelling of Software-Intensive Systems, (31-39)
- Parvizimosaed A, Roveri M, Rasti A, Amyot D, Logrippo L and Mylopoulos J Model-checking legal contracts with SymboleoPC Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems, (278-288)
- Mattiello G and Endo A (2022). Model-based testing leveraged for automated web tests, Software Quality Journal, 30:3, (621-649), Online publication date: 1-Sep-2022.
- Fernández-Izquierdo A and García-Castro R (2022). Ontology verification testing using lexico-syntactic patterns, Information Sciences: an International Journal, 582:C, (89-113), Online publication date: 1-Jan-2022.
- Hussain S, Karim I, Ishtiaq A, Chowdhury O and Bertino E Noncompliance as Deviant Behavior: An Automated Black-box Noncompliance Checker for 4G LTE Cellular Devices Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications Security, (1082-1099)
- Garousi V, Keleş A, Balaman Y, Güler Z and Arcuri A (2021). Model-based testing in practice, Journal of Systems and Software, 180:C, Online publication date: 1-Oct-2021.
- Ricca F, Mascardi V and Verri A Test’n’Mo: a collaborative platform for human testers and intelligent monitoring agents Proceedings of the 5th ACM International Workshop on Verification and mOnitoring at Runtime EXecution, (17-21)
- Godoy J, Galeotti J, Garbervetsky D and Uchitel S (2021). Enabledness-based Testing of Object Protocols, ACM Transactions on Software Engineering and Methodology, 30:2, (1-36), Online publication date: 30-Apr-2021.
- Ali S and Yue T Modeling Quantum programs: challenges, initial results, and research directions Proceedings of the 1st ACM SIGSOFT International Workshop on Architectures and Paradigms for Engineering Quantum Software, (14-21)
- Beckett R and Mahajan R A General Framework for Compositional Network Modeling Proceedings of the 19th ACM Workshop on Hot Topics in Networks, (8-15)
- Henares K, Risco-Martín J, Ayala J and Hermida R Unit testing platform to verify devs models Proceedings of the 2020 Summer Simulation Conference, (1-11)
- Narizzano M, Pulina L, Tacchella A and Vuotto S Automated Requirements-Based Testing of Black-Box Reactive Systems NASA Formal Methods, (153-169)
- Davis A, Hirschhorn M and Schvimer J (2020). Extreme modelling in practice, Proceedings of the VLDB Endowment, 13:9, (1346-1358), Online publication date: 1-May-2020.
- Soltana G, Sabetzadeh M and Briand L (2020). Practical Constraint Solving for Generating System Test Data, ACM Transactions on Software Engineering and Methodology, 29:2, (1-48), Online publication date: 30-Apr-2020.
- Nardone R, Marrone S, Gentile U, Amato A, Barberio G, Benerecetti M, De Guglielmo R, Di Martino B, Mazzocca N, Peron A, Pisani G, Velardi L and Vittorini V (2020). An OSLC-based environment for system-level functional testing of ERTMS/ETCS controllers, Journal of Systems and Software, 161:C, Online publication date: 1-Mar-2020.
- Usman M, Iqbal M and Khan M (2019). An automated model‐based approach for unit‐level performance test generation of mobile applications, Journal of Software: Evolution and Process, 32:1, Online publication date: 15-Jan-2020.
- Aichernig B A Testing Perspective on Algebraic, Denotational, and Operational Semantics Unifying Theories of Programming, (22-38)
- Diniz T, Alves E, Silva A and Andrade W Reducing the Discard of MBT Test Cases using Distance Functions Proceedings of the XXXIII Brazilian Symposium on Software Engineering, (337-346)
- Khan A and Fabian M On the Safe IOCOS relation for Testing Safety PLC Code 2019 24th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), (1449-1452)
- Ramler R, Klammer C and Wetzlmaier T Lessons learned from making the transition to model-based GUI testing Proceedings of the 10th ACM SIGSOFT International Workshop on Automating TEST Case Design, Selection, and Evaluation, (22-27)
- Bünder H and Kuchen H (2019). Towards behavior-driven graphical user interface testing, ACM SIGAPP Applied Computing Review, 19:2, (5-17), Online publication date: 15-Aug-2019.
- Ahmad T, Iqbal J, Ashraf A, Truscan D and Porres I (2019). Model-based testing using UML activity diagrams, Computer Science Review, 33:C, (98-112), Online publication date: 1-Aug-2019.
- Morgado I and Paiva A (2019). The iMPAcT Tool for Android Testing, Proceedings of the ACM on Human-Computer Interaction, 3:EICS, (1-23), Online publication date: 13-Jun-2019.
- Bünder H and Kuchen H A model-driven approach for behavior-driven GUI testing Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, (1742-1751)
- Zech P, Felderer M and Breu R (2019). Knowledge-based security testing of web applications by logic programming, International Journal on Software Tools for Technology Transfer (STTT), 21:2, (221-246), Online publication date: 1-Apr-2019.
- Meriem A and Abdelaziz M A Methodology to do Model-Based Testing using FMEA Proceedings of the 2nd International Conference on Networking, Information Systems & Security, (1-11)
- Arora C, Sabetzadeh M, Nejati S and Briand L (2019). An Active Learning Approach for Improving the Accuracy of Automated Domain Model Extraction, ACM Transactions on Software Engineering and Methodology, 28:1, (1-34), Online publication date: 23-Feb-2019.
- Al-Hajjaji M, Thüm T, Lochau M, Meinicke J and Saake G (2019). Effective product-line testing using similarity-based product prioritization, Software and Systems Modeling (SoSyM), 18:1, (499-521), Online publication date: 1-Feb-2019.
- Ray M, Patnaik S and Pradhan S (2019). Coverage Criteria for State-Based Testing, International Journal of Information Technology Project Management, 10:1, (1-20), Online publication date: 1-Jan-2019.
- Lima B Automated scenario-based integration testing of distributed systems Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, (956-958)
- Silva A, Andrade W and Alves E A Study on the Impact of Model Evolution in MBT Suites Proceedings of the III Brazilian Symposium on Systematic and Automated Software Testing, (49-56)
- Ma L, Juefei-Xu F, Zhang F, Sun J, Xue M, Li B, Chen C, Su T, Li L, Liu Y, Zhao J and Wang Y DeepGauge: multi-granularity testing criteria for deep learning systems Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, (120-131)
- Lanet J, Bouder H, Benattou M and Legay A (2018). When time meets test, International Journal of Information Security, 17:4, (395-409), Online publication date: 1-Aug-2018.
- Soltana G, Sannier N, Sabetzadeh M and Briand L (2018). Model-based simulation of legal policies, Software and Systems Modeling (SoSyM), 17:3, (851-883), Online publication date: 1-Jul-2018.
- Chimento J, Ahrendt W and Schneider G Testing meets static and runtime verification Proceedings of the 6th Conference on Formal Methods in Software Engineering, (30-39)
- Bozic J and Wotawa F Planning-based security testing of web applications Proceedings of the 13th International Workshop on Automation of Software Test, (20-26)
- Kriebel S, Markthaler M, Salman K, Greifenberg T, Hillemacher S, Rumpe B, Schulze C, Wortmann A, Orth P and Richenhagen J Improving model-based testing in automotive software engineering Proceedings of the 40th International Conference on Software Engineering: Software Engineering in Practice, (172-180)
- Julliand J, Kouchnarenko O, Masson P and Voiron G (2018). Test Generation from Event System Abstractions to Cover Their States and Transitions, Programming and Computing Software, 44:1, (1-14), Online publication date: 1-Jan-2018.
- Estaol M, Sancho M and Teniente E (2018). Ensuring the semantic correctness of a BAUML artifact-centric BPM, Information and Software Technology, 93:C, (147-162), Online publication date: 1-Jan-2018.
- Ramler R, Buchgeher G and Klammer C (2018). Adapting automated test generation to GUI testing of industry applications, Information and Software Technology, 93:C, (248-263), Online publication date: 1-Jan-2018.
- Truong H, Berardinelli L, Pavkovic I and Copil G Modeling and Provisioning IoT Cloud Systems for Testing Uncertainties Proceedings of the 14th EAI International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services, (96-105)
- de Cleva Farto G and Endo A Reuse of model-based tests in mobile apps Proceedings of the XXXI Brazilian Symposium on Software Engineering, (184-193)
- Bowen J and Reeves S (2017). Generating Obligations, Assertions and Tests from UI Models, Proceedings of the ACM on Human-Computer Interaction, 1:EICS, (1-18), Online publication date: 30-Jun-2017.
- Asteasuain F and Braberman V (2017). Declaratively building behavior by means of scenario clauses, Requirements Engineering, 22:2, (239-274), Online publication date: 1-Jun-2017.
- Lindvall M, Porter A, Magnusson G and Schulze C Metamorphic model-based testing of autonomous systems Proceedings of the 2nd International Workshop on Metamorphic Testing, (35-41)
- Mühlbacher C, Steinbauer G, Gspandl S and Reip M Model-Based Testing of an Industrial Multi-Robot Navigation System Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, (1652-1654)
- Duarte L, Kramer J and Uchitel S (2017). Using contexts to extract models from code, Software and Systems Modeling (SoSyM), 16:2, (523-557), Online publication date: 1-May-2017.
- Gambi A, Mayr-Dorn C and Zeller A Model-based testing of end-user collaboration intensive systems Proceedings of the Symposium on Applied Computing, (1213-1218)
- Arcaini P, Gargantini A and Riccobene E (2017). Rigorous development process of a safety-critical system, International Journal on Software Tools for Technology Transfer (STTT), 19:2, (247-269), Online publication date: 1-Apr-2017.
- Devroey X, Perrouin G, Cordy M, Samih H, Legay A, Schobbens P and Heymans P (2017). Statistical prioritization for software product line testing, Software and Systems Modeling (SoSyM), 16:1, (153-171), Online publication date: 1-Feb-2017.
- Zech P, Kalb P, Felderer M, Atkinson C and Breu R (2017). Model-based regression testing by OCL, International Journal on Software Tools for Technology Transfer (STTT), 19:1, (115-131), Online publication date: 1-Feb-2017.
- Damasceno A, Machado P and Andrade W (2017). Testing real-time systems from compositional symbolic specifications, International Journal on Software Tools for Technology Transfer (STTT), 19:1, (53-71), Online publication date: 1-Feb-2017.
- (2017). Dynamic state machines for modelling railway control systems, Science of Computer Programming, 133:P2, (116-153), Online publication date: 1-Jan-2017.
- Bride H, Julliand J and Masson P (2016). Tri-modal under-approximation for test generation, Science of Computer Programming, 132:P2, (190-208), Online publication date: 15-Dec-2016.
- Saeed A, Ab Hamid S and Mustafa M (2016). The experimental applications of search-based techniques for model-based testing, Applied Soft Computing, 49:C, (1094-1117), Online publication date: 1-Dec-2016.
- Lachmann R, Lity S, Al-Hajjaji M, Fürchtegott F and Schaefer I Fine-grained test case prioritization for integration testing of delta-oriented software product lines Proceedings of the 7th International Workshop on Feature-Oriented Software Development, (1-10)
- Reichstaller A, Eberhardinger B, Knapp A, Reif W and Gehlen M Risk-Based Interoperability Testing Using Reinforcement Learning Testing Software and Systems, (52-69)
- Domingues A, Rodrigues E and Bernardino M AutoFun Proceedings of the 1st Brazilian Symposium on Systematic and Automated Software Testing, (1-10)
- Schmidt A, Durak U and Pawletta T (2016). Model-based testing methodology using system entity structures for MATLAB/Simulink models, Simulation, 92:8, (729-746), Online publication date: 1-Aug-2016.
- Mossige M, Gotlieb A and Meling H Generating tests for robotized painting using constraint programming Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, (4200-4204)
- Campos J, Fayollas C, Martinie C, Navarre D, Palanque P and Pinto M Systematic automation of scenario-based testing of user interfaces Proceedings of the 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, (138-148)
- Lity S, Morbach T, Thüm T and Schaefer I Applying Incremental Model Slicing to Product-Line Regression Testing Proceedings of the 15th International Conference on Software Reuse: Bridging with Social-Awareness - Volume 9679, (3-19)
- Faria J and Paiva A (2016). A toolset for conformance testing against UML sequence diagrams based on event-driven colored Petri nets, International Journal on Software Tools for Technology Transfer (STTT), 18:3, (285-304), Online publication date: 1-Jun-2016.
- Devroey X, Perrouin G, Papadakis M, Legay A, Schobbens P and Heymans P Featured model-based mutation analysis Proceedings of the 38th International Conference on Software Engineering, (655-666)
- Bernardino M, Rodrigues E and Zorzo A Performance testing modeling Proceedings of the 31st Annual ACM Symposium on Applied Computing, (1660-1665)
- Pawletta T, Schmidt A, Zeigler B and Durak U Extended variability modeling using system entity structure ontology within MATLAB/Simulink Proceedings of the 49th Annual Simulation Symposium, (1-8)
- Botella J, Delahaye J, Jaffuel E, Legeard B and Peureux F (2016). Achieving SCA Conformance Testing with Model-Based Testing, Journal of Signal Processing Systems, 83:1, (113-128), Online publication date: 1-Apr-2016.
- Vu T, Hung P and Nguyen V A Method for Automated Test Data Generation from Sequence Diagrams and Object Constraint Language Proceedings of the 6th International Symposium on Information and Communication Technology, (335-341)
- Emam S and Miller J (2015). Test Case Prioritization Using Extended Digraphs, ACM Transactions on Software Engineering and Methodology, 25:1, (1-41), Online publication date: 2-Dec-2015.
- Schur M, Roth A and Zeller A (2015). Mining Workflow Models from Web Applications, IEEE Transactions on Software Engineering, 41:12, (1184-1201), Online publication date: 1-Dec-2015.
- Lahami M, Krichen M, Barhoumi H and Jmaiel M Selective Test Generation Approach for Testing Dynamic Behavioral Adaptations Proceedings of the 27th IFIP WG 6.1 International Conference on Testing Software and Systems - Volume 9447, (224-239)
- Morgado I and Paiva A The iMPAcT tool Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, (876-881)
- Artho C, Seidl M, Gros Q, Choi E, Kitamura T, Mori A, Ramler R and Yamagata Y Model-based testing of stateful APIs with modbat Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, (858-863)
- García B and Dueñas J (2015). Web browsing automation for applications quality control, Journal of Web Engineering, 14:5-6, (474-502), Online publication date: 1-Nov-2015.
- Rodrigues da Silva A (2015). Model-driven engineering, Computer Languages, Systems and Structures, 43:C, (139-155), Online publication date: 1-Oct-2015.
- Ali S and Yue T Formalizing the ISO/IEC/IEEE 29119 software testing standard Proceedings of the 18th International Conference on Model Driven Engineering Languages and Systems, (396-405)
- Dianxiang Xu , Kent M, Thomas L, Mouelhi T and Le Traon Y (2015). Automated Model-Based Testing of Role-Based Access Control Using Predicate/Transition Nets, IEEE Transactions on Computers, 64:9, (2490-2505), Online publication date: 1-Sep-2015.
- Arcaini P, Gargantini A and Riccobene E Improving model-based test generation by model decomposition Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, (119-130)
- Morgado I and Paiva A Test patterns for android mobile applications Proceedings of the 20th European Conference on Pattern Languages of Programs, (1-7)
- Mjeda A and Hinchey M Requirement-centric reactive testing for safety-related automotive software Proceedings of the Second International Workshop on Requirements Engineering and Testing, (5-8)
- Khalili A, Narizzano M, Tacchella A and Giunchiglia E Automatic test-pattern generation for grey-box programs Proceedings of the 10th International Workshop on Automation of Software Test, (33-37)
- Ouriques J Strategies for prioritizing test cases generated through model-based testing approaches Proceedings of the 37th International Conference on Software Engineering - Volume 2, (879-882)
- Kläs M, Bauer T, Dereani A, Söderqvist T and Helle P A large-scale technology evaluation study Proceedings of the 37th International Conference on Software Engineering - Volume 2, (119-128)
- Felderer M and Herrmann A (2015). Manual test case derivation from UML activity diagrams and state machines, Information and Software Technology, 61:C, (1-15), Online publication date: 1-May-2015.
- Siavashi F and Truscan D Environment modeling in model-based testing Proceedings of the 19th International Conference on Evaluation and Assessment in Software Engineering, (1-6)
- Bride H, Julliand J and Masson P Tri-modal under-approximation of event systems for test generation Proceedings of the 30th Annual ACM Symposium on Applied Computing, (1737-1744)
- Intana A, Poppleton M and Merrett G A model-based trace testing approach for validation of formal co-simulation models Proceedings of the Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium, (181-188)
- Schmidt A, Durak U, Rasch C and Pawletta T Model-based testing approach for MATLAB/simulink using system entity structure and experimental frames Proceedings of the Symposium on Theory of Modeling & Simulation: DEVS Integrative M&S Symposium, (69-76)
- Belli F and Beyazit M (2015). Exploiting Model Morphology for Event-Based Testing, IEEE Transactions on Software Engineering, 41:2, (113-134), Online publication date: 1-Feb-2015.
- Chapman B and Williams R The Circuit-Input Game, Natural Proofs, and Testing Circuits With Data Proceedings of the 2015 Conference on Innovations in Theoretical Computer Science, (263-270)
- Aichernig B, Jöbstl E and Tiran S (2015). Model-based mutation testing via symbolic refinement checking, Science of Computer Programming, 97:P4, (383-404), Online publication date: 1-Jan-2015.
- Carvalho G, Falcão D, Barros F, Sampaio A, Mota A, Motta L and Blackburn M (2014). NAT2TEST SCR, Science of Computer Programming, 95:P3, (275-297), Online publication date: 1-Dec-2014.
- Arcaini P and Gargantini A (2014). Test generation for sequential nets of Abstract State Machines with information passing, Science of Computer Programming, 94:P2, (93-108), Online publication date: 1-Nov-2014.
- Devroey X, Perrouin G, Legay A, Cordy M, Schobbens P and Heymans P Coverage Criteria for Behavioural Testing of Software Product Lines Part I of the Proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change - Volume 8802, (336-350)
- Samih H, Le Guen H, Bogusch R, Acher M and Baudry B An Approach to Derive Usage Models Variants for Model-Based Testing Proceedings of the 26th IFIP WG 6.1 International Conference on Testing Software and Systems - Volume 8763, (80-96)
- Ali S and Yue T Evaluating Normalization Functions with Search Algorithms for Solving OCL Constraints Proceedings of the 26th IFIP WG 6.1 International Conference on Testing Software and Systems - Volume 8763, (17-31)
- Samih H and Bogusch R MPLM - MaTeLo product line manager Proceedings of the 18th International Software Product Line Conference: Companion Volume for Workshops, Demonstrations and Tools - Volume 2, (138-142)
- Devroey X, Perrouin G and Schobbens P Abstract test case generation for behavioural testing of software product lines Proceedings of the 18th International Software Product Line Conference: Companion Volume for Workshops, Demonstrations and Tools - Volume 2, (86-93)
- Lackner H and Schmidt M Towards the assessment of software product line tests Proceedings of the 18th International Software Product Line Conference: Companion Volume for Workshops, Demonstrations and Tools - Volume 2, (62-69)
- Baller H and Lochau M Towards incremental test suite optimization for software product lines Proceedings of the 6th International Workshop on Feature-Oriented Software Development, (30-36)
- Mariani L, Pezzè M, Riganelli O and Santoro M Link: exploiting the web of data to generate test inputs Proceedings of the 2014 International Symposium on Software Testing and Analysis, (373-384)
- Németh G and Pap Z (2014). The Incremental Maintenance of Transition Tour, Fundamenta Informaticae, 129:3, (279-300), Online publication date: 1-Jul-2014.
- Lochau M, Peldszus S, Kowal M and Schaefer I Model-Based Testing Advanced Lectures of the 14th International School on Formal Methods for Executable Software Models - Volume 8483, (310-342)
- Schulze C, Ganesan D, Lindvall M, Cleaveland R and Goldman D Assessing model-based testing: an empirical study conducted in industry Companion Proceedings of the 36th International Conference on Software Engineering, (135-144)
- Belategi L, Sagardui G, Etxeberria L and Azanza M (2014). Embedded software product lines, Journal of Software: Evolution and Process, 26:4, (419-433), Online publication date: 15-Apr-2014.
- Saadatmand M, Scholle D, Leung C, Ullström S and Larsson J Runtime verification of state machines and defect localization applying model-based testing Proceedings of the WICSA 2014 Companion Volume, (1-8)
- Devroey X, Perrouin G, Cordy M, Schobbens P, Legay A and Heymans P Towards statistical prioritization for software product lines testing Proceedings of the 8th International Workshop on Variability Modelling of Software-Intensive Systems, (1-7)
- Endo A, Bernardino M, Rodrigues E, Simao A, de Oliveira F, Zorzo A and Saad R An Industrial Experience on using Models to Test Web Service-Oriented Applications Proceedings of International Conference on Information Integration and Web-based Applications & Services, (240-249)
- Artho C, Hagiya M, Potter R, Tanabe Y, Weitl F and Yamamoto M Software model checking for distributed systems with selector-based, non-blocking communication Proceedings of the 28th IEEE/ACM International Conference on Automated Software Engineering, (169-179)
- Schur M, Roth A and Zeller A Mining behavior models from enterprise web applications Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering, (422-432)
- Belli F and Beyazıt M Using regular grammars for event-based testing Proceedings of the 18th international conference on Implementation and Application of Automata, (48-59)
- Shirole M and Kumar R (2013). UML behavioral model based test case generation, ACM SIGSOFT Software Engineering Notes, 38:4, (1-13), Online publication date: 12-Jul-2013.
- Ambert F, Bouquet F, Lasalle J, Legeard B and Peureux F Applying a def-use approach on signal exchange to implement SysML model-based testing Proceedings of the 9th European conference on Modelling Foundations and Applications, (134-151)
- Hemmati H, Arcuri A and Briand L (2013). Achieving scalable model-based testing through test case diversity, ACM Transactions on Software Engineering and Methodology, 22:1, (1-42), Online publication date: 1-Feb-2013.
- Bowen J, Reeves S and Schweer A A tale of two studies Proceedings of the Fourteenth Australasian User Interface Conference - Volume 139, (81-89)
- Zhang W and Liu S Supporting Tool for Automatic Specification-Based Test Case Generation Revised Selected Papers of the Second International Workshop on Structured Object-Oriented Formal Language and Method - Volume 7787, (12-25)
- Mussa M and Khendek F Identification and selection of interaction test scenarios for integration testing Proceedings of the 7th international conference on System Analysis and Modeling: theory and practice, (16-33)
- Francisco M and Castro L Automatic generation of test models and properties from UML models with OCL constraints Proceedings of the 12th Workshop on OCL and Textual Modelling, (49-54)
- Babu P, Kumar C, Murali N and Jayakumar T (2012). An intuitive approach to determine test adequacy in safety-critical software, ACM SIGSOFT Software Engineering Notes, 37:5, (1-10), Online publication date: 7-Sep-2012.
- Bolis F, Gargantini A, Guarnieri M, Magri E and Musto L Model-Driven testing for web applications using abstract state machines Proceedings of the 12th international conference on Current Trends in Web Engineering, (71-78)
- Heiskanen H, Maunumaa M and Katara M A test process improvement model for automated test generation Proceedings of the 13th international conference on Product-Focused Software Process Improvement, (17-31)
- Lity S, Lochau M, Schaefer I and Goltz U Delta-oriented model-based SPL regression testing Proceedings of the Third International Workshop on Product LinE Approaches in Software Engineering, (53-56)
- Hallenberg N and Carlsen P Declarative automated test Proceedings of the 7th International Workshop on Automation of Software Test, (96-102)
- Devos N, Ponsard C, Deprez J, Bauvin R, Moriau B and Anckaerts G Efficient reuse of domain-specific test knowledge: an industrial case in the smart card domain Proceedings of the 34th International Conference on Software Engineering, (1123-1132)
- Lochau M, Schaefer I, Kamischke J and Lity S Incremental model-based testing of delta-oriented software product lines Proceedings of the 6th international conference on Tests and Proofs, (67-82)
- Hollmann D, Cristiá M and Frydman C Adapting model-based testing techniques to DEVS models validation Proceedings of the 2012 Symposium on Theory of Modeling and Simulation - DEVS Integrative M&S Symposium, (1-8)
- Ali S, Yue T and Malik Z Comprehensively evaluating conformance error rates of applying aspect state machines Proceedings of the 11th annual international conference on Aspect-oriented Software Development, (155-166)
- Tsankov P, Torabi-Dashti M and Basin D Constructing mid-points for two-party asynchronous protocols Proceedings of the 15th international conference on Principles of Distributed Systems, (481-496)
- Cristia M, Hollmann D, Albertengo P, Frydman C and Monetti P A language for test case refinement in the test template framework Proceedings of the 13th international conference on Formal methods and software engineering, (601-616)
- Slack J (2011). ModelTester, Journal of Computing Sciences in Colleges, 27:1, (37-46), Online publication date: 1-Oct-2011.
- Oster S, Zink M, Lochau M and Grechanik M Pairwise feature-interaction testing for SPLs Proceedings of the 15th International Software Product Line Conference, Volume 2, (1-8)
- Lasalle J, Peureux F and Guillet J Automatic test concretization to supply end-to-end MBT for automotive mechatronic systems Proceedings of the First International Workshop on End-to-End Test Script Engineering, (16-23)
- Hauptmann B and Junker M Utilizing user interface models for automated instantiation and execution of system tests Proceedings of the First International Workshop on End-to-End Test Script Engineering, (8-15)
- Wu-Hen-Chang A, Adamis G, Erős L, Kovács G and Csöndes T A new approach in model-based testing Proceedings of the 15th international conference on Integrating System and Software Modeling, (90-105)
- Mussa M and Khendek F Towards a model based approach for integration testing Proceedings of the 15th international conference on Integrating System and Software Modeling, (106-121)
- Bué P, Julliand J and Masson P Association of under-approximation techniques for generating tests from models Proceedings of the 5th international conference on Tests and proofs, (51-68)
- Xu D A tool for automated test code generation from high-level petri nets Proceedings of the 32nd international conference on Applications and theory of Petri Nets, (308-317)
- Hauptmann B Model-based test instantiation for applications with user interfaces Proceedings of the 12th International Conference on Product Focused Software Development and Process Improvement, (27-30)
- Ramesh S and Gadkari A Rigorous model-based design & verification flow for in-vehicle software Proceedings of the 48th Design Automation Conference, (13-16)
- Belategi L, Sagardui G and Etxeberria L Model based analysis process for embedded software product lines Proceedings of the 2011 International Conference on Software and Systems Process, (53-62)
- Holzer A, Januzaj V, Kugele S, Langer B, Schallhart C, Tautschnig M and Veith H Seamless testing for models and code Proceedings of the 14th international conference on Fundamental approaches to software engineering: part of the joint European conferences on theory and practice of software, (278-293)
- Röglinger S and Facchi C Behavior specification of a red-light violation warning application Proceedings of the Third international conference on Communication technologies for vehicles, (106-118)
- Lasalle J, Bouquet F, Legeard B and Peureux F (2011). SysML to UML model transformation for test generation purpose, ACM SIGSOFT Software Engineering Notes, 36:1, (1-8), Online publication date: 24-Jan-2011.
- Julliand J, Masson P, Tissot R and Bué P (2011). Generating tests from B specifications and dynamic selection criteria, Formal Aspects of Computing, 23:1, (3-19), Online publication date: 1-Jan-2011.
- Arcuri A, Iqbal M and Briand L Black-box system testing of real-time embedded systems using random and search-based testing Proceedings of the 22nd IFIP WG 6.1 international conference on Testing software and systems, (95-110)
- Hemmati H, Arcuri A and Briand L Reducing the cost of model-based testing through test case diversity Proceedings of the 22nd IFIP WG 6.1 international conference on Testing software and systems, (63-78)
- Hemmati H, Briand L, Arcuri A and Ali S An enhanced test case selection approach for model-based testing Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering, (267-276)
- Pakulin N and Tugaenko A Specification based conformance testing for email protocols Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part II, (371-381)
- Merilinna J and Pärssinen J Verification and validation in the context of domain-specific modelling Proceedings of the 10th Workshop on Domain-Specific Modeling, (1-6)
- Puolitaival O and Kanstrén T Towards flexible and efficient model-based testing, utilizing domain-specific modelling Proceedings of the 10th Workshop on Domain-Specific Modeling, (1-6)
- Cichos H and Heinze T Efficient test suite reduction by merging pairs of suitable test cases Proceedings of the 2010 international conference on Models in software engineering, (244-258)
- Kuliamin V (2010). Component architecture of model-based testing environment, Programming and Computing Software, 36:5, (289-305), Online publication date: 1-Sep-2010.
- Liu S, Hayashi T, Takahashi K, Kimura K, Nakayama T and Nakajima S Automatic Transformation from Formal Specifications to Functional Scenario Forms for Automatic Test Case Generation Proceedings of the 2010 conference on New Trends in Software Methodologies, Tools and Techniques: Proceedings of the 9th SoMeT_10, (383-397)
- Cristiá M and Plüss B Generating natural language descriptions of Z test cases Proceedings of the 6th International Natural Language Generation Conference, (173-177)
- Julliand J, Stouls N, Bué P and Masson P Syntactic abstraction of B models to generate tests Proceedings of the 4th international conference on Tests and proofs, (151-166)
- Hierons R and Núñez M Testing probabilistic distributed systems Proceedings of the 12th IFIP WG 6.1 international conference and 30th IFIP WG 6.1 international conference on Formal Techniques for Distributed Systems, (63-77)
- Miller T, Padgham L and Thangarajah J Test coverage criteria for agent interaction testing Proceedings of the 11th international conference on Agent-oriented software engineering, (91-105)
- Cavallaro L, Di Nitto E, Pelliccione P, Pradella M and Tivoli M Synthesizing adapters for conversational web-services from their WSDL interface Proceedings of the 2010 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, (104-113)
- Güldali B, Sauer S, Winkelhane P, Funke H and Jahnich M Pattern-based generation of test plans for open distributed processing systems Proceedings of the 5th Workshop on Automation of Software Test, (119-126)
- Nguyen D, Strooper P and Suess J Model-based testing of multiple GUI variants using the GUI test generator Proceedings of the 5th Workshop on Automation of Software Test, (24-30)
- Krishnan P and Pari-Salas P Data generation in model-based testing Proceedings of the 2010 ACM Symposium on Applied Computing, (2211-2215)
- Nguyen D, Strooper P and Süß J Automated functionality testing through GUIs Proceedings of the Thirty-Third Australasian Conferenc on Computer Science - Volume 102, (153-162)
- Ernits J, Roo R, Jacky J and Veanes M Model-Based Testing of Web Applications Using NModel Proceedings of the 21st IFIP WG 6.1 International Conference on Testing of Software and Communication Systems and 9th International FATES Workshop, (211-216)
- Zeiss B and Grabowski J Analyzing Response Inconsistencies in Test Suites Proceedings of the 21st IFIP WG 6.1 International Conference on Testing of Software and Communication Systems and 9th International FATES Workshop, (195-210)
- Wieczorek S, Kozyura V, Roth A, Leuschel M, Bendisposto J, Plagge D and Schieferdecker I Applying Model Checking to Generate Model-Based Integration Tests from Choreography Models Proceedings of the 21st IFIP WG 6.1 International Conference on Testing of Software and Communication Systems and 9th International FATES Workshop, (179-194)
- Charreteur F, Botella B and Gotlieb A (2009). Modelling dynamic memory management in constraint-based testing, Journal of Systems and Software, 82:11, (1755-1766), Online publication date: 1-Nov-2009.
- Mlynarski M, Güldali B, Späth M and Engels G From design models to test models by means of test ideas Proceedings of the 6th International Workshop on Model-Driven Engineering, Verification and Validation, (1-10)
- Haschemi S Model transformations to satisfy all-configurations-transitions on statecharts Proceedings of the 6th International Workshop on Model-Driven Engineering, Verification and Validation, (1-10)
- Tsiopoulos L and Satpathy M (2009). Model Based Testing of a Network-on-Chip Component, Electronic Notes in Theoretical Computer Science (ENTCS), 253:2, (101-116), Online publication date: 1-Oct-2009.
- Weißleder S Influencing Factors in Model-Based Testing with UML State Machines Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems, (211-225)
- Bertolino A, Inverardi P, Pelliccione P and Tivoli M Automatic synthesis of behavior protocols for composable web-services Proceedings of the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering, (141-150)
- Kuliamin V (2009). Integration of verification methods for program systems, Programming and Computing Software, 35:4, (212-222), Online publication date: 1-Jul-2009.
- Krishnan P and Pari-Salas P Model-based testing and the UML testing profile Semantics and algebraic specification, (315-328)
- Boberg J Early fault detection with model-based testing Proceedings of the 7th ACM SIGPLAN workshop on ERLANG, (9-20)
- Moonzoo Kim , Yunho Kim and Hotae Kim Unit Testing of Flash Memory Device Driver through a SAT-Based Model Checker Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering, (198-207)
- Hu H and Ahn G Enabling verification and conformance testing for access control model Proceedings of the 13th ACM symposium on Access control models and technologies, (195-204)
- Jääskeläinen A, Katara M, Kervinen A, Heiskanen H, Maunumaa M and Pääkkönen T Model-Based Testing Service on the Web Proceedings of the 20th IFIP TC 6/WG 6.1 international conference on Testing of Software and Communicating Systems: 8th International Workshop, (38-53)
- Bouquet F, Grandpierre C, Legeard B and Peureux F A test generation solution to automate software testing Proceedings of the 3rd international workshop on Automation of software test, (45-48)
- Julliand J, Masson P and Tissot R Generating security tests in addition to functional tests Proceedings of the 3rd international workshop on Automation of software test, (41-44)
- Naslavsky L, Ziv H and Richardson D Using model transformation to support model-based test coverage measurement Proceedings of the 3rd international workshop on Automation of software test, (1-6)
- Benz S AspectT Proceedings of the 7th international conference on Aspect-oriented software development, (1-12)
- Somé S and Cheng X An approach for supporting system-level test scenarios generation from textual use cases Proceedings of the 2008 ACM symposium on Applied computing, (724-729)
- Buckl C, Knoll A, Schieferdecker I and Zander J Model-based analysis and development of dependable systems Proceedings of the 2007 International Dagstuhl conference on Model-based engineering of embedded real-time systems, (271-293)
- Bowen J and Reeves S Using formal models to design user interfaces Proceedings of the 21st British HCI Group Annual Conference on People and Computers: HCI...but not as we know it - Volume 1, (159-166)
- Bouquet F, Grandpierre C, Legeard B, Peureux F, Vacelet N and Utting M A subset of precise UML for model-based testing Proceedings of the 3rd international workshop on Advances in model-based testing, (95-104)
- Masson P, Julliand J, Plessis J, Jaffuel E and Debois G Automatic generation of model based tests for a class of security properties Proceedings of the 3rd international workshop on Advances in model-based testing, (12-22)
- Kicillof N, Grieskamp W, Tillmann N and Braberman V Achieving both model and code coverage with automated gray-box testing Proceedings of the 3rd international workshop on Advances in model-based testing, (1-11)
- Bertolino A Software Testing Research 2007 Future of Software Engineering, (85-103)
- Javed A, Strooper P and Watson G Automated Generation of Test Cases Using Model-Driven Architecture Proceedings of the Second International Workshop on Automation of Software Test
- George C, Krishnan P, Salas P and Sanders J Specification for testing Formal methods and hybrid real-time systems, (280-299)
- Clark A, Foster M, Prifling B, Walkinshaw N, Hierons R, Schmidt V and Turner R Testing Causality in Scientific Modelling Software, ACM Transactions on Software Engineering and Methodology, 0:0
- Mühlbacher C, Gspandl S, Reip M and Steinbauer G Improving dependability of industrial transport robots using model-based techniques 2016 IEEE International Conference on Robotics and Automation (ICRA), (3133-3140)
Recommendations
Priority based data flow testing
ICSM '95: Proceedings of the International Conference on Software MaintenanceSoftware testing is an expensive component of software development and maintenance. For data flow testing, test cases must be found to test the def-use pairs in a program. Since some of the def-use pairs identified through static analysis may be ...
Personas and redundancies in crowdsourced testing
ICGSE '17: Proceedings of the 12th International Conference on Global Software EngineeringCrowdsourced testing is gaining a lot of attention these days. Crowdsourced testing utilizes testers which subscribe to an external or internal crowdsourcing platform. Usually these testers are distributed across geographies. Thus, such testing can be ...
Model-based testing
ICSE '05: Proceedings of the 27th international conference on Software engineeringModel-based testing has become increasingly popular in recent years. Major reasons include (1) the need for quality assurance for increasingly complex systems, (2) the emerging model-centric development paradigm (e.g., UML and MDA) with its seemingly ...