Vyzkoušejte nový nástroj s podporou AI
Summon Research Assistant
BETA
XACMET: XACML Testing & Modeling: An automated model-based testing solution for access control systems
Daoudagh, Said, Lonetti, Francesca, Marchetti, Eda
Published in Software quality journal (01.03.2020)
Published in Software quality journal (01.03.2020)
Get full text
Journal Article
Practitioners’ best practices to Adopt, Use or Abandon Model-based Testing with Graphical models for Software-intensive Systems
Alégroth, Emil, Karl, Kristian, Rosshagen, Helena, Helmfridsson, Tomas, Olsson, Nils
Published in Empirical software engineering : an international journal (01.09.2022)
Published in Empirical software engineering : an international journal (01.09.2022)
Get full text
Journal Article
Automation and intelligent scheduling of distributed system functional testing: Model-based functional testing in practice
Hillah, Lom Messan, Maesano, Ariele-Paolo, De Rosa, Fabio, Kordon, Fabrice, Wuillemin, Pierre-Henri, Fontanelli, Riccardo, Bona, Sergio Di, Guerri, Davide, Maesano, Libero
Published in International journal on software tools for technology transfer (01.06.2017)
Published in International journal on software tools for technology transfer (01.06.2017)
Get full text
Journal Article
Model-based testing for concurrent systems with labelled event structures
de León, Hernán Ponce, Haar, Stefan, Longuet, Delphine
Published in Software testing, verification & reliability (01.11.2014)
Published in Software testing, verification & reliability (01.11.2014)
Get full text
Journal Article
Model‐based hypothesis testing of uncertain software systems
Camilli, Matteo, Gargantini, Angelo, Scandurra, Patrizia
Published in Software testing, verification & reliability (01.03.2020)
Published in Software testing, verification & reliability (01.03.2020)
Get full text
Journal Article
Complete Agent-driven Model-based System Testing for Autonomous Systems
Eder, Kerstin I., Huang, Wen-ling, Peleska, Jan
Published in Electronic proceedings in theoretical computer science (21.10.2021)
Published in Electronic proceedings in theoretical computer science (21.10.2021)
Get full text
Journal Article
Model-based security testing in IoT systems: A Rapid Review
Lonetti, Francesca, Bertolino, Antonia, Di Giandomenico, Felicita
Published in Information and software technology (01.12.2023)
Published in Information and software technology (01.12.2023)
Get full text
Journal Article
An evolutionary algorithm-based numerical material testing system based on a crystal plasticity finite element model
Get full text
Journal Article
Conference Proceeding
Model-Based System Testing of Software Product Families
Reuys, Andreas, Kamsties, Erik, Pohl, Klaus, Reis, Sacha
Published in Advanced Information Systems Engineering (2005)
Published in Advanced Information Systems Engineering (2005)
Get full text
Book Chapter
Conference Proceeding
Analysis and testing of black-box component-based systems by inferring partial models
Shahbaz, Muzammil, Groz, Roland
Published in Software testing, verification & reliability (01.06.2014)
Published in Software testing, verification & reliability (01.06.2014)
Get full text
Journal Article
Translating EULYNX SysML Models into Symbolic Transition Systems for Model-Based Testing of Railway Signaling Systems
Bachmann, Tobias, van der Wal, Djurre, van der Bijl, Machiel, van der Meij, Daan, Oprescu, Ana
Published in 2022 IEEE Conference on Software Testing, Verification and Validation (ICST) (01.04.2022)
Published in 2022 IEEE Conference on Software Testing, Verification and Validation (ICST) (01.04.2022)
Get full text
Conference Proceeding
An automated model‐based testing approach for the self‐adaptive behavior of the unmanned aircraft system application software
Javed, Zainab, Iqbal, Muhammad Zohaib, Khan, Muhammad Uzair, Usman, Muhammad, Jilani, Atif Aftab Ahmed
Published in Software, practice & experience (01.12.2024)
Published in Software, practice & experience (01.12.2024)
Get full text
Journal Article
Building liquid-liquid perfusion interface (LLPI) -based patient-derived tumoroids (PDTs) model system as clinical research tools for testing cancer therapeutics
Ochola, Damieanus, Samuel, Preethi, Barrot, Jared, Dave, Bhuvanesh
Published in Journal of clinical oncology (01.06.2023)
Published in Journal of clinical oncology (01.06.2023)
Get full text
Journal Article
Learning a Behavior Model of Hybrid Systems Through Combining Model-Based Testing and Machine Learning
Aichernig, Bernhard K., Bloem, Roderick, Ebrahimi, Masoud, Horn, Martin, Pernkopf, Franz, Roth, Wolfgang, Rupp, Astrid, Tappler, Martin, Tranninger, Markus
Published in Testing Software and Systems (2019)
Published in Testing Software and Systems (2019)
Get full text
Book Chapter
Automated scenario generation from Operational Design Domain model for testing AI-based systems in aviation
Stefani, Thomas, Christensen, Johann Maximilian, Girija, Akshay Anilkumar, Gupta, Siddhartha, Durak, Umut, Köster, Frank, Krüger, Thomas, Hallerbach, Sven
Published in CEAS aeronautical journal (01.01.2025)
Published in CEAS aeronautical journal (01.01.2025)
Get full text
Journal Article