Skip to main content

Testing the Untestable: Model Testing of Complex Software-Intensive Systems

Searching for OpenAIRE data...

Publications

Mining assumptions for software components using machine learning

Author(s): Khouloud Gaaloul, Claudio Menghi, Shiva Nejati, Lionel C. Briand, David Wolfe
Published in: Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020, Page(s) 159-171
DOI: 10.1145/3368089.3409737

PROMISE - high-level mission specification for multiple robots

Author(s): Sergio García, Patrizio Pelliccione, Claudio Menghi, Thorsten Berger, Tomas Bures
Published in: Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering: Companion Proceedings, Issue July, 2020, 2020, Page(s) 5-8
DOI: 10.1145/3377812.3382143

Supporting change in product lines within the context of use case-driven development and testing

Author(s): Ines Hajri
Published in: Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016, Page(s) 1082-1084
DOI: 10.1145/2950290.2983945

Trace-Checking Signal-based Temporal Properties: A Model-Driven Approach

Author(s): Chaima Boufaied, Claudio Menghi, Domenico Bianculli, Lionel C. Briand, Yago Isasi Parache
Published in: Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020, Page(s) 1004–1015
DOI: 10.1145/3324884.3416631

SMRL - a metamorphic security testing tool for web systems

Author(s): Phu X. Mai, Arda Goknil, Fabrizio Pastore, Lionel C. Briand
Published in: Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering: Companion Proceedings, 2020, Page(s) 9-12
DOI: 10.1145/3377812.3382152

Dynamic adaptation of software-defined networks for IoT systems - a search-based approach

Author(s): Seung Yeob Shin, Shiva Nejati, Mehrdad Sabetzadeh, Lionel C. Briand, Chetan Arora, Frank Zimmer
Published in: Proceedings of the IEEE/ACM 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, Issue June, 2020, 2020, Page(s) 137-148
DOI: 10.1145/3387939.3391603

Mind the gap - Robotic Mission Planning Meets Software Engineering

Author(s): Mehrnoosh Askarpour, Claudio Menghi, Gabriele Belli, Marcello M. Bersani, Patrizio Pelliccione
Published in: Proceedings of the 8th International Conference on Formal Methods in Software Engineering, Issue July, 2020, 2020, Page(s) 55-65
DOI: 10.1145/3372020.3391561

Automated Repair of Feature Interaction Failures in Automated Driving Systems

Author(s): Raja Ben Abdessalem, Annibale Panichella, Shiva Nejati, Lionel C. Briand, Thomas Stifter
Published in: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA '20), Issue July, 2020, 2020
DOI: 10.1145/3395363.3397386

Metamorphic Security Testing for Web Systems

Author(s): Phu X. Mai, Fabrizio Pastore, Arda Goknil, Lionel Briand
Published in: 2020 IEEE 13th International Conference on Software Testing, Validation and Verification (ICST), 2020, Page(s) 186-197
DOI: 10.1109/icst46399.2020.00028

A search-based approach for accurate identification of log message formats

Author(s): Salma Messaoudi, Annibale Panichella, Domenico Bianculli, Lionel Briand, Raimondas Sasnauskas
Published in: Proceedings of the 26th Conference on Program Comprehension - ICPC '18, 2018, Page(s) 167-177
DOI: 10.1145/3196321.3196340

Automated Generation of Constraints from Use Case Specifications to Support System Testing

Author(s): Chunhui Wang, Fabrizio Pastore, Lionel Briand
Published in: 2018 IEEE 11th International Conference on Software Testing, Verification and Validation (ICST), 2018, Page(s) 23-33
DOI: 10.1109/icst.2018.00013

System Testing of Timing Requirements Based on Use Cases and Timed Automata

Author(s): Chunhui Wang, Fabrizio Pastore, Lionel Briand
Published in: 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST), Issue N/A (in press), 2017, Page(s) 299-309
DOI: 10.1109/ICST.2017.34

Testing vision-based control systems using learnable evolutionary algorithms

Author(s): Raja Ben Abdessalem, Shiva Nejati, Lionel C. Briand, Thomas Stifter
Published in: Proceedings of the 40th International Conference on Software Engineering - ICSE '18, 2018, Page(s) 1016-1026
DOI: 10.1145/3180155.3180160

Automated testing of hybrid Simulink/Stateflow controllers: industrial case studies

Author(s): Reza Matinnejad, Shiva Nejati, Lionel C. Briand
Published in: Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering - ESEC/FSE 2017, 2017, Page(s) 938-943
DOI: 10.1145/3106237.3117770

Improving fault localization for Simulink models using search-based testing and prediction models

Author(s): Bing Liu, Lucia, Shiva Nejati, Lionel C. Briand
Published in: 2017 IEEE 24th International Conference on Software Analysis, Evolution and Reengineering (SANER), 2017, Page(s) 359-370
DOI: 10.1109/saner.2017.7884636

Synthetic data generation for statistical testing

Author(s): Ghanem Soltana, Mehrdad Sabetzadeh, Lionel C. Briand
Published in: 2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE), Issue October 30 - November 03, 2017, 2017, Page(s) 872-882
DOI: 10.1109/ASE.2017.8115698

HITECS - A UML Profile and Analysis Framework for Hardware-in-the-Loop Testing of Cyber Physical Systems

Author(s): Seung Yeob Shin, Karim Chaouch, Shiva Nejati, Mehrdad Sabetzadeh, Lionel C. Briand, Frank Zimmer
Published in: Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems - MODELS '18, 2018, Page(s) 357-367
DOI: 10.1145/3239372.3239382

Enabling Model Testing of Cyber-Physical Systems

Author(s): Carlos A. González, Mojtaba Varmazyar, Shiva Nejati, Lionel C. Briand, Yago Isasi
Published in: Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems - MODELS '18, 2018, Page(s) 176-186
DOI: 10.1145/3239372.3239409

Testing autonomous cars for feature interaction failures using many-objective search

Author(s): Raja Ben Abdessalem, Annibale Panichella, Shiva Nejati, Lionel C. Briand, Thomas Stifter
Published in: Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering - ASE 2018, 2018, Page(s) 143-154
DOI: 10.1145/3238147.3238192

Test case prioritization for acceptance testing of cyber physical systems: a multi-objective search-based approach

Author(s): Seung Yeob Shin, Shiva Nejati, Mehrdad Sabetzadeh, Lionel C. Briand, Frank Zimmer
Published in: Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis - ISSTA 2018, 2018, Page(s) 49-60
DOI: 10.1145/3213846.3213852

A Natural Language Programming Approach for Requirements-Based Security Testing

Author(s): Phu X. Mai, Fabrizio Pastore, Arda Goknil, Lionel C. Briand
Published in: 2018 IEEE 29th International Symposium on Software Reliability Engineering (ISSRE), 2018, Page(s) 58-69
DOI: 10.1109/issre.2018.00017

Model-driven run-time enforcement of complex role-based access control policies

Author(s): Ameni Ben Fadhel, Domenico Bianculli, Lionel C. Briand
Published in: Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering - ASE 2018, 2018, Page(s) 248-258
DOI: 10.1145/3238147.3238167

Model-Driven Trace Diagnostics for Pattern-based Temporal Specifications

Author(s): Wei Dou, Domenico Bianculli, Lionel Briand
Published in: Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems - MODELS '18, 2018, Page(s) 278-288
DOI: 10.1145/3239372.3239396

Bridging the Gap between Requirements Modeling and Behavior-driven Development

Author(s): Alferez, Mauricio; Pastore, Fabrizio; Sabetzadeh, Mehrdad; Briand, Lionel; Riccardi, Jean-Richard
Published in: IEEE / ACM International Conference on Model Driven Engineering Languages and Systems (MODELS), Issue 22nd, 2019

Evaluating Model Testing and Model Checking for Finding Requirements Violations in Simulink Models

Author(s): Nejati, Shiva; gaaloul, Khouloud; Menghi, Claudio; Briand, Lionel; Foster, Stephen; Wolfe, David
Published in: ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE), Issue 27, 2019, Page(s) 1015-1025

MCP: A Security Testing Tool Driven by Requirements

Author(s): Phu X. Mai, Fabrizio Pastore, Arda Goknil, Lionel C. Briand
Published in: 2019 IEEE/ACM 41st International Conference on Software Engineering: Companion Proceedings (ICSE-Companion), Issue 41st, 2019, Page(s) 55-58, ISSN 0270-5257
DOI: 10.1109/icse-companion.2019.00037

A Machine Learning-Based Approach for Demarcating Requirements in Textual Specifications

Author(s): Abualhaija, Sallam; Arora, Chetan; Sabetzadeh, Mehrdad; Briand, Lionel; Vaz, Eduardo
Published in: IEEE International Requirements Engineering Conference (RE) 2019, Issue 27th, 2019

Generating Automated and Online Test Oracles for Simulink Models with Continuous and Uncertain Behaviors

Author(s): Claudio Menghi, Shiva Nejati, Khouloud Gaaloul, Lionel C. Briand
Published in: ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE ’19), Issue 27th, 2019, Page(s) 27-38

AlloyInEcore: embedding of first-order relational logic into meta-object facility for automated model reasoning

Author(s): Ferhat Erata, Arda Goknil, Ivan Kurtev, Bedir Tekinerdogan
Published in: Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering - ESEC/FSE 2018, Issue 26th, 2018, Page(s) 920-923
DOI: 10.1145/3236024.3264588

PsALM: Specification of Dependable Robotic Missions

Author(s): Claudio Menghi, Christos Tsigkanos, Thorsten Berger, Patrizio Pelliccione
Published in: 2019 IEEE/ACM 41st International Conference on Software Engineering: Companion Proceedings (ICSE-Companion), 2019, Page(s) 99-102
DOI: 10.1109/icse-companion.2019.00048

Comparing Offline and Online Testing of Deep Neural Networks: An Autonomous Car Case Study

Author(s): Fitash Ul Haq, Donghwan Shin, Shiva Nejati, Lionel C. Briand
Published in: 2020 IEEE 13th International Conference on Software Testing, Validation and Verification (ICST), Issue August, 2020, 2020, Page(s) 85-95
DOI: 10.1109/icst46399.2020.00019

UML Consistency Rules - a Case Study with Open-Source UML Models

Author(s): Damiano Torre, Yvan Labiche, Marcela Genero, Maged Elaasar, Claudio Menghi
Published in: Proceedings of the 8th International Conference on Formal Methods in Software Engineering, Issue July, 2020, 2020, Page(s) 130-140
DOI: 10.1145/3372020.3391554

Approximation-Refinement Testing of Compute-Intensive Cyber-Physical Models: An Approach Based on System Identification

Author(s): Claudio Menghi, Shiva Nejati, Lionel Briand, Yago Isasi Parache
Published in: Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering, Issue July, 2020, 2020, Page(s) 372–384
DOI: 10.1145/3377811.3380370

ARCH-COMP 2020 Category Report: Falsification

Author(s): Gidon Ernst, Paolo Arcaini, Ismail Bennani, Alexandre Donze, Georgios Fainekos, Goran Frehse, Logan Mathesen, Claudio Menghi, Giulia Pedrielli, Marc Pouzet, Shakiba Yaghoubi, Yoriyuki Yamagata, Zhenya Zhang
Published in: EPiC Series in Computing volume 74, 2020, Page(s) 140-126, ISSN 2398-7340
DOI: 10.29007/trr1

Signal-Based Properties of Cyber-Physical Systems: Taxonomy and Logic-based Characterization

Author(s): Chaima Boufaied, Maris Jukss, Domenico Bianculli, Lionel Claude Briand, Yago Isasi Parache
Published in: Journal of Systems and Software, Issue 174, 2021, Page(s) 110881, ISSN 0164-1212
DOI: 10.1016/j.jss.2020.110881

Model Checking MITL Formulae on Timed Automata

Author(s): Claudio Menghi, Marcello M. Bersani, Matteo Rossi, Pierluigi San Pietro
Published in: ACM Transactions on Computational Logic, Issue 21/3, 2020, Page(s) 1-44, ISSN 1529-3785
DOI: 10.1145/3383687

Automated demarcation of requirements in textual specifications: a machine learning-based approach

Author(s): Sallam Abualhaija, Chetan Arora, Mehrdad Sabetzadeh, Lionel C. Briand & Michael Traynor
Published in: Empirical Software Engineerin, Issue Volume 25, Issue 6, 2020, Page(s) 5454–5497, ISSN 1573-7616
DOI: 10.1007/s10664-020-09864-1

PuRSUE -from specification of robotic environments to synthesis of controllers

Author(s): Marcello M. Bersani, Matteo Soldo, Claudio Menghi, Patrizio Pelliccione, Matteo Rossi
Published in: Formal Aspects of Computing, Issue 32/2-3, 2020, Page(s) 187-227, ISSN 0934-5043
DOI: 10.1007/s00165-020-00509-0

Practical Constraint Solving for Generating System Test Data

Author(s): Ghanem Soltana, Mehrdad Sabetzadeh, Lionel C. Briand
Published in: ACM Transactions on Software Engineering and Methodology, Issue 29/2, 2020, Page(s) 1-48, ISSN 1049-331X
DOI: 10.1145/3381032

Specification Patterns for Robotic Missions

Author(s): Claudio Menghi, Christos Tsigkanos, Patrizio Pelliccione, Carlo Ghezzi, Thorsten Berger
Published in: IEEE Transactions on Software Engineering, Issue 3, 2019, Page(s) 1-1, ISSN 0098-5589
DOI: 10.1109/tse.2019.2945329

Automatic Generation of Acceptance Test Cases from Use Case Specifications: an NLP-based Approach

Author(s): Chunhui Wang, Fabrizio Pastore, Arda Goknil, Lionel Briand
Published in: IEEE Transactions on Software Engineering, 2020, Page(s) 1-1, ISSN 0098-5589
DOI: 10.1109/tse.2020.2998503

A Machine-Learning-Driven Evolutionary Approach for Testing Web Application Firewalls

Author(s): Dennis Appelt, Cu D. Nguyen, Annibale Panichella, Lionel C. Briand
Published in: IEEE Transactions on Reliability, Issue 67/3, 2018, Page(s) 733-757, ISSN 0018-9529
DOI: 10.1109/tr.2018.2805763

Automatic Generation of Tests to Exploit XML Injection Vulnerabilities in Web Applications

Author(s): Sadeeq Jan, Annibale Panichella, Andrea Arcuri, Lionel Briand
Published in: IEEE Transactions on Software Engineering, Issue 45/4, 2019, Page(s) 335-362, ISSN 0098-5589
DOI: 10.1109/tse.2017.2778711

Test Generation and Test Prioritization for Simulink Models with Dynamic Behavior

Author(s): Reza Matinnejad, Shiva Nejati, Lionel Briand, Thomas Bruckmann
Published in: IEEE Transactions on Software Engineering, 2018, Page(s) 1-1, ISSN 0098-5589
DOI: 10.1109/tse.2018.2811489

Effective fault localization of automotive Simulink models: achieving the trade-off between test oracle effort and fault localization accuracy

Author(s): Bing Liu, Shiva Nejati, Lucia, Lionel C. Briand
Published in: Empirical Software Engineering, Issue 24/1, 2019, Page(s) 444-490, ISSN 1382-3256
DOI: 10.1007/s10664-018-9611-z

Augmenting Field Data for Testing Systems Subject to Incremental Requirements Changes

Author(s): Daniel Di Nardo, Fabrizio Pastore, Lionel Briand
Published in: ACM Transactions on Software Engineering and Methodology, Issue 26/1, 2017, Page(s) 1-40, ISSN 1049-331X
DOI: 10.1145/3053430

Change impact analysis for evolving configuration decisions in product line use case models

Author(s): Ines Hajri, Arda Goknil, Lionel C. Briand, Thierry Stephany
Published in: Journal of Systems and Software, Issue 139, 2018, Page(s) 211-237, ISSN 0164-1212
DOI: 10.1016/j.jss.2018.02.021

Automated Extraction and Clustering of Requirements Glossary Terms

Author(s): Chetan Arora, Mehrdad Sabetzadeh, Lionel Briand, Frank Zimmer
Published in: IEEE Transactions on Software Engineering, Issue 43/10, 2017, Page(s) 918-945, ISSN 0098-5589
DOI: 10.1109/TSE.2016.2635134

Modeling Security and Privacy Requirements: a Use Case-Driven Approach

Author(s): Phu X. Mai, Arda Goknil, Lwin Khin Shar, Fabrizio Pastore, Lionel C. Briand, Shaban Shaame
Published in: Information and Software Technology, Issue 100, 2018, Page(s) 165-182, ISSN 0950-5849
DOI: 10.1016/j.infsof.2018.04.007

An Active Learning Approach for Improving the Accuracy of Automated Domain Model Extraction

Author(s): Chetan Arora, Mehrdad Sabetzadeh, Shiva Nejati, Lionel Briand
Published in: ACM Transactions on Software Engineering and Methodology, Issue 28/1, 2019, Page(s) 1-34, ISSN 1049-331X
DOI: 10.1145/3293454

Software Engineering Research and Industry: A Symbiotic Relationship to Foster Impact

Author(s): Victor Basili, Lionel Briand, Domenico Bianculli, Shiva Nejati, Fabrizio Pastore, Mehrdad Sabetzadeh
Published in: IEEE Software, Issue 35/5, 2018, Page(s) 44-49, ISSN 0740-7459
DOI: 10.1109/ms.2018.290110216

An empirical evaluation of evolutionary algorithms for unit test suite generation

Author(s): José Campos, Yan Ge, Nasser Albunian, Gordon Fraser, Marcelo Eler, Andrea Arcuri
Published in: Information and Software Technology, Issue 104, 2018, Page(s) 207-235, ISSN 0950-5849
DOI: 10.1016/j.infsof.2018.08.010

Oracles for Testing Software Timeliness with Uncertainty

Author(s): Chunhui Wang, Fabrizio Pastore, Lionel Briand
Published in: ACM Transactions on Software Engineering and Methodology, Issue 28/1, 2019, Page(s) 1-30, ISSN 1049-331X
DOI: 10.1145/3280987

Search-based multi-vulnerability testing of XML injections in web applications

Author(s): Sadeeq Jan, Annibale Panichella, Andrea Arcuri, Lionel Briand
Published in: Empirical Software Engineering, Issue Volumes 24, Issues 117, 2019, ISSN 1382-3256
DOI: 10.1007/s10664-019-09707-8

A Model-driven Approach to Trace Checking of Temporal Properties with Aggregations.

Author(s): Chaima Boufaied, Domenico Bianculli, Lionel Briand
Published in: The Journal of Object Technology, Issue 18/2, 2019, Page(s) 15:1, ISSN 1660-1769
DOI: 10.5381/jot.2019.18.2.a15

An empirical study on the potential usefulness of domain models for completeness checking of requirements

Author(s): Chetan Arora, Mehrdad Sabetzadeh, Lionel C. Briand
Published in: Empirical Software Engineering, Issue 24/4, 2019, Page(s) 2509-2539, ISSN 1382-3256
DOI: 10.1007/s10664-019-09693-x

A verification-driven framework for iterative design of controllers

Author(s): Claudio Menghi, Paola Spoletini, Marsha Chechik, Carlo Ghezzi
Published in: Formal Aspects of Computing, 2019, ISSN 0934-5043
DOI: 10.1007/s00165-019-00484-1

Automating system test case classification and prioritization for use case-driven testing in product lines

Author(s): Ines Hajri, Arda Goknil, Fabrizio Pastore, Lionel C. Briand
Published in: Empirical Software Engineering, Issue 25(5), 2020, Page(s) 3711–3769, ISSN 1382-3256
DOI: 10.1007/s10664-020-09853-4

Uncertainty-aware specification and analysis for hardware-in-the-loop testing of cyber-physical systems

Author(s): Seung Yeob Shin, Karim Chaouch, Shiva Nejati, Mehrdad Sabetzadeh, Lionel C. Briand, Frank Zimmer
Published in: Journal of Systems and Software, Issue 171, 2021, Page(s) 110813, ISSN 0164-1212
DOI: 10.1016/j.jss.2020.110813

Integrating Topological Proofs with Model Checking to Instrument Iterative Design

Author(s): Claudio Menghi, Alessandro Maria Rizzi, Anna Bernasconi
Published in: Fundamental Approaches to Software Engineering - 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Issue 12076, 2020, Page(s) 53-74
DOI: 10.1007/978-3-030-45234-6_3

Effective Testing Of Advanced Driver Assistance Systems Using Evolutionary Algorithms And Machine Learning

Author(s): Ben Abdessalem (helali), Raja
Published in: 2019