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

Mining assumptions for software components using machine learning

Autoren: Khouloud Gaaloul, Claudio Menghi, Shiva Nejati, Lionel C. Briand, David Wolfe
Veröffentlicht in: Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020, Seite(n) 159-171, ISBN 9781450370431
Herausgeber: ACM
DOI: 10.1145/3368089.3409737

MASS: A tool for Mutation Analysis of Space CPS

Autoren: Oscar Cornejo, Fabrizio Pastore, Lionel Briand
Veröffentlicht in: Proceedings of the ACM/IEEE 44th International Conference on Software Engineering: Companion Proceedings, 2022
Herausgeber: ACM

PROMISE - high-level mission specification for multiple robots

Autoren: Sergio García, Patrizio Pelliccione, Claudio Menghi, Thorsten Berger, Tomas Bures
Veröffentlicht in: Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering: Companion Proceedings, Ausgabe July, 2020, 2020, Seite(n) 5-8, ISBN 9781450371223
Herausgeber: ACM
DOI: 10.1145/3377812.3382143

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

Autoren: Ines Hajri
Veröffentlicht in: Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016, Seite(n) 1082-1084, ISBN 9781450342186
Herausgeber: ACM
DOI: 10.1145/2950290.2983945

Trace-Checking CPS Properties: Bridging the Cyber-Physical Gap

Autoren: Claudio Menghi, Enrico Viganò, Domenico Bianculli, Lionel Briand
Veröffentlicht in: Proceedings of the 2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE), 2021, Seite(n) 847-859, ISSN 1558-1225
Herausgeber: IEEE Computer Society
DOI: 10.1109/icse43902.2021.00082

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

Autoren: Chaima Boufaied, Claudio Menghi, Domenico Bianculli, Lionel C. Briand, Yago Isasi Parache
Veröffentlicht in: Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020, Seite(n) 1004–1015, ISBN 9781450367684
Herausgeber: ACM
DOI: 10.1145/3324884.3416631

SMRL - a metamorphic security testing tool for web systems

Autoren: Phu X. Mai, Arda Goknil, Fabrizio Pastore, Lionel C. Briand
Veröffentlicht in: Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering: Companion Proceedings, 2020, Seite(n) 9-12, ISBN 9781450371223
Herausgeber: ACM
DOI: 10.1145/3377812.3382152

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

Autoren: Seung Yeob Shin, Shiva Nejati, Mehrdad Sabetzadeh, Lionel C. Briand, Chetan Arora, Frank Zimmer
Veröffentlicht in: Proceedings of the IEEE/ACM 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, Ausgabe June, 2020, 2020, Seite(n) 137-148, ISBN 9781450379625
Herausgeber: ACM
DOI: 10.1145/3387939.3391603

Mind the gap - Robotic Mission Planning Meets Software Engineering

Autoren: Mehrnoosh Askarpour, Claudio Menghi, Gabriele Belli, Marcello M. Bersani, Patrizio Pelliccione
Veröffentlicht in: Proceedings of the 8th International Conference on Formal Methods in Software Engineering, Ausgabe July, 2020, 2020, Seite(n) 55-65, ISBN 9781450370714
Herausgeber: ACM
DOI: 10.1145/3372020.3391561

Automatic test suite generation for key-points detection DNNs using many-objective search (experience paper)

Autoren: Fitash Ul Haq, Donghwan Shin, Lionel Briand, Thomas Stifter, Jun Wang
Veröffentlicht in: ISSTA 2021: Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2021, Seite(n) 91-102
Herausgeber: ACM
DOI: 10.1145/3460319.3464802

Automated Repair of Feature Interaction Failures in Automated Driving Systems

Autoren: Raja Ben Abdessalem, Annibale Panichella, Shiva Nejati, Lionel C. Briand, Thomas Stifter
Veröffentlicht in: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA '20), Ausgabe July, 2020, 2020, ISBN 978-1-4503-8008-9
Herausgeber: ACM
DOI: 10.1145/3395363.3397386

Digital Twins Are Not Monozygotic - Cross-Replicating ADAS Testing in Two Industry-Grade Automotive Simulators

Autoren: Markus Borg, Raja Ben Abdessalem, Shiva Nejati, Francois-Xavier Jegeden, Donghwan Shin
Veröffentlicht in: 2021 IEEE 14th International Conference on Software Testing, Validation and Verification (ICST), 2021, Seite(n) 383-393, ISBN 978-1-7281-6836-4
Herausgeber: IEEE

Metamorphic Security Testing for Web Systems

Autoren: Phu X. Mai, Fabrizio Pastore, Arda Goknil, Lionel Briand
Veröffentlicht in: 2020 IEEE 13th International Conference on Software Testing, Validation and Verification (ICST), 2020, Seite(n) 186-197, ISBN 978-1-7281-5778-8
Herausgeber: IEEE
DOI: 10.1109/icst46399.2020.00028

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

Autoren: Salma Messaoudi, Annibale Panichella, Domenico Bianculli, Lionel Briand, Raimondas Sasnauskas
Veröffentlicht in: Proceedings of the 26th Conference on Program Comprehension - ICPC '18, 2018, Seite(n) 167-177, ISBN 9781-450357142
Herausgeber: ACM Press
DOI: 10.1145/3196321.3196340

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

Autoren: Chunhui Wang, Fabrizio Pastore, Lionel Briand
Veröffentlicht in: 2018 IEEE 11th International Conference on Software Testing, Verification and Validation (ICST), 2018, Seite(n) 23-33, ISBN 978-1-5386-5012-7
Herausgeber: IEEE
DOI: 10.1109/icst.2018.00013

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

Autoren: Chunhui Wang, Fabrizio Pastore, Lionel Briand
Veröffentlicht in: 2017 IEEE International Conference on Software Testing, Verification and Validation (ICST), Ausgabe N/A (in press), 2017, Seite(n) 299-309, ISBN 978-1-5090-6031-3
Herausgeber: IEEE Computer Society
DOI: 10.1109/ICST.2017.34

Testing vision-based control systems using learnable evolutionary algorithms

Autoren: Raja Ben Abdessalem, Shiva Nejati, Lionel C. Briand, Thomas Stifter
Veröffentlicht in: Proceedings of the 40th International Conference on Software Engineering - ICSE '18, 2018, Seite(n) 1016-1026, ISBN 9781-450356381
Herausgeber: ACM Press
DOI: 10.1145/3180155.3180160

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

Autoren: Reza Matinnejad, Shiva Nejati, Lionel C. Briand
Veröffentlicht in: Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering - ESEC/FSE 2017, 2017, Seite(n) 938-943, ISBN 9781-450351058
Herausgeber: ACM Press
DOI: 10.1145/3106237.3117770

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

Autoren: Bing Liu, Lucia, Shiva Nejati, Lionel C. Briand
Veröffentlicht in: 2017 IEEE 24th International Conference on Software Analysis, Evolution and Reengineering (SANER), 2017, Seite(n) 359-370, ISBN 978-1-5090-5501-2
Herausgeber: IEEE
DOI: 10.1109/saner.2017.7884636

Synthetic data generation for statistical testing

Autoren: Ghanem Soltana, Mehrdad Sabetzadeh, Lionel C. Briand
Veröffentlicht in: 2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE), Ausgabe October 30 - November 03, 2017, 2017, Seite(n) 872-882, ISBN 978-1-5386-2684-9
Herausgeber: IEEE
DOI: 10.1109/ASE.2017.8115698

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

Autoren: Seung Yeob Shin, Karim Chaouch, Shiva Nejati, Mehrdad Sabetzadeh, Lionel C. Briand, Frank Zimmer
Veröffentlicht in: Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems - MODELS '18, 2018, Seite(n) 357-367, ISBN 9781-450349499
Herausgeber: ACM Press
DOI: 10.1145/3239372.3239382

Enabling Model Testing of Cyber-Physical Systems

Autoren: Carlos A. González, Mojtaba Varmazyar, Shiva Nejati, Lionel C. Briand, Yago Isasi
Veröffentlicht in: Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems - MODELS '18, 2018, Seite(n) 176-186, ISBN 9781-450349499
Herausgeber: ACM Press
DOI: 10.1145/3239372.3239409

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

Autoren: Raja Ben Abdessalem, Annibale Panichella, Shiva Nejati, Lionel C. Briand, Thomas Stifter
Veröffentlicht in: Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering - ASE 2018, 2018, Seite(n) 143-154, ISBN 9781-450359375
Herausgeber: ACM Press
DOI: 10.1145/3238147.3238192

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

Autoren: Seung Yeob Shin, Shiva Nejati, Mehrdad Sabetzadeh, Lionel C. Briand, Frank Zimmer
Veröffentlicht in: Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis - ISSTA 2018, 2018, Seite(n) 49-60, ISBN 9781-450356992
Herausgeber: ACM Press
DOI: 10.1145/3213846.3213852

A Natural Language Programming Approach for Requirements-Based Security Testing

Autoren: Phu X. Mai, Fabrizio Pastore, Arda Goknil, Lionel C. Briand
Veröffentlicht in: 2018 IEEE 29th International Symposium on Software Reliability Engineering (ISSRE), 2018, Seite(n) 58-69, ISBN 978-1-5386-8321-7
Herausgeber: IEEE
DOI: 10.1109/issre.2018.00017

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

Autoren: Ameni Ben Fadhel, Domenico Bianculli, Lionel C. Briand
Veröffentlicht in: Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering - ASE 2018, 2018, Seite(n) 248-258, ISBN 9781-450359375
Herausgeber: ACM Press
DOI: 10.1145/3238147.3238167

Model-Driven Trace Diagnostics for Pattern-based Temporal Specifications

Autoren: Wei Dou, Domenico Bianculli, Lionel Briand
Veröffentlicht in: Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems - MODELS '18, 2018, Seite(n) 278-288, ISBN 9781-450349499
Herausgeber: ACM Press
DOI: 10.1145/3239372.3239396

Bridging the Gap between Requirements Modeling and Behavior-driven Development

Autoren: Alferez, Mauricio; Pastore, Fabrizio; Sabetzadeh, Mehrdad; Briand, Lionel; Riccardi, Jean-Richard
Veröffentlicht in: IEEE / ACM International Conference on Model Driven Engineering Languages and Systems (MODELS), Ausgabe 22nd, 2019
Herausgeber: IEEE/ACM

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

Autoren: Nejati, Shiva; gaaloul, Khouloud; Menghi, Claudio; Briand, Lionel; Foster, Stephen; Wolfe, David
Veröffentlicht in: ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE), Ausgabe 27, 2019, Seite(n) 1015-1025
Herausgeber: ACM

MCP: A Security Testing Tool Driven by Requirements

Autoren: Phu X. Mai, Fabrizio Pastore, Arda Goknil, Lionel C. Briand
Veröffentlicht in: 2019 IEEE/ACM 41st International Conference on Software Engineering: Companion Proceedings (ICSE-Companion), Ausgabe 41st, 2019, Seite(n) 55-58, ISSN 0270-5257
Herausgeber: IEEE/ACM
DOI: 10.1109/icse-companion.2019.00037

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

Autoren: Abualhaija, Sallam; Arora, Chetan; Sabetzadeh, Mehrdad; Briand, Lionel; Vaz, Eduardo
Veröffentlicht in: IEEE International Requirements Engineering Conference (RE) 2019, Ausgabe 27th, 2019
Herausgeber: IEEE

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

Autoren: Claudio Menghi, Shiva Nejati, Khouloud Gaaloul, Lionel C. Briand
Veröffentlicht in: ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE ’19), Ausgabe 27th, 2019, Seite(n) 27-38
Herausgeber: ACM

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

Autoren: Ferhat Erata, Arda Goknil, Ivan Kurtev, Bedir Tekinerdogan
Veröffentlicht 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, Ausgabe 26th, 2018, Seite(n) 920-923, ISBN 9781-450355735
Herausgeber: ACM Press
DOI: 10.1145/3236024.3264588

PsALM: Specification of Dependable Robotic Missions

Autoren: Claudio Menghi, Christos Tsigkanos, Thorsten Berger, Patrizio Pelliccione
Veröffentlicht in: 2019 IEEE/ACM 41st International Conference on Software Engineering: Companion Proceedings (ICSE-Companion), 2019, Seite(n) 99-102, ISBN 978-1-7281-1764-5
Herausgeber: IEEE
DOI: 10.1109/icse-companion.2019.00048

HUDD: A tool to debug DNNs for safety analysis

Autoren: Hazem Fahmy, Fabrizio Pastore, Lionel Briand
Veröffentlicht in: Proceedings of the ACM/IEEE 44th International Conference on Software Engineering (ICSE), 2022
Herausgeber: ACM

Efficient Online Testing for DNN-Enabled Systems using Surrogate-Assisted and Many-Objective Optimization

Autoren: Fitash Ul Haq, Donghwan Shin, Lionel Briand
Veröffentlicht in: Proceedings of the 44th International Conference on Software Engineering (ICSE), 2022
Herausgeber: ACM

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

Autoren: Fitash Ul Haq, Donghwan Shin, Shiva Nejati, Lionel C. Briand
Veröffentlicht in: 2020 IEEE 13th International Conference on Software Testing, Validation and Verification (ICST), Ausgabe August, 2020, 2020, Seite(n) 85-95, ISBN 978-1-7281-5778-8
Herausgeber: IEEE
DOI: 10.1109/icst46399.2020.00019

RoboMAX: Robotic Mission Adaptation eXemplars

Autoren: Mehrnoosh Askarpour, Christos Tsigkanos, Claudio Menghi, Radu Calinescu, Patrizio Pelliccione, Sergio García, Ricardo Caldas, Tim J von Oertzen, Manuel Wimmer, Luca Berardinelli, Matteo Rossi, Marcello M. Bersani, Gabriel S. Rodrigues
Veröffentlicht in: SEAMS 2021: Proceedings of the 2021 International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2021, Seite(n) 245-251, ISBN 978-1-6654-0289-7
Herausgeber: IEEE
DOI: 10.1109/seams51251.2021.00040

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

Autoren: Damiano Torre, Yvan Labiche, Marcela Genero, Maged Elaasar, Claudio Menghi
Veröffentlicht in: Proceedings of the 8th International Conference on Formal Methods in Software Engineering, Ausgabe July, 2020, 2020, Seite(n) 130-140, ISBN 9781450370714
Herausgeber: ACM
DOI: 10.1145/3372020.3391554

ThEodorE: a Trace Checker for CPS Properties

Autoren: Claudio Menghi, Enrico Viganò, Domenico Bianculli, Lionel Briand
Veröffentlicht in: 2021 IEEE/ACM 43rd International Conference on Software Engineering: Companion Proceedings (ICSE-Companion), 2021, Seite(n) 183-184, ISSN 2574-1926
Herausgeber: IEEE
DOI: 10.1109/icse-companion52605.2021.00079

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

Autoren: Claudio Menghi, Shiva Nejati, Lionel Briand, Yago Isasi Parache
Veröffentlicht in: Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering, Ausgabe July, 2020, 2020, Seite(n) 372–384, ISBN 9781450371216
Herausgeber: ACM
DOI: 10.1145/3377811.3380370

ARCH-COMP 2020 Category Report: Falsification

Autoren: 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
Veröffentlicht in: EPiC Series in Computing volume 74, 2020, Seite(n) 140-126, ISSN 2398-7340
Herausgeber: EasyChair
DOI: 10.29007/trr1

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

Autoren: Chaima Boufaied, Maris Jukss, Domenico Bianculli, Lionel Claude Briand, Yago Isasi Parache
Veröffentlicht in: Journal of Systems and Software, Ausgabe 174, 2021, Seite(n) 110881, ISSN 0164-1212
Herausgeber: Elsevier BV
DOI: 10.1016/j.jss.2020.110881

Model Checking MITL Formulae on Timed Automata

Autoren: Claudio Menghi, Marcello M. Bersani, Matteo Rossi, Pierluigi San Pietro
Veröffentlicht in: ACM Transactions on Computational Logic, Ausgabe 21/3, 2020, Seite(n) 1-44, ISSN 1529-3785
Herausgeber: Association for Computing Machinary, Inc.
DOI: 10.1145/3383687

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

Autoren: Sallam Abualhaija, Chetan Arora, Mehrdad Sabetzadeh, Lionel C. Briand & Michael Traynor
Veröffentlicht in: Empirical Software Engineerin, Ausgabe Volume 25, Ausgabe 6, 2020, Seite(n) 5454–5497, ISSN 1573-7616
Herausgeber: Springer
DOI: 10.1007/s10664-020-09864-1

Supporting Deep Neural Network Safety Analysis and Retraining Through Heatmap-Based Unsupervised Learning

Autoren: Hazem Fahmy, Fabrizio Pastore, Mojtaba Bagherzadeh, Lionel Briand
Veröffentlicht in: IEEE Transactions on Reliability, Ausgabe 70, 2021, ISSN 0018-9529
Herausgeber: Institute of Electrical and Electronics Engineers
DOI: 10.1109/tr.2021.3074750

PuRSUE -from specification of robotic environments to synthesis of controllers

Autoren: Marcello M. Bersani, Matteo Soldo, Claudio Menghi, Patrizio Pelliccione, Matteo Rossi
Veröffentlicht in: Formal Aspects of Computing, Ausgabe 32/2-3, 2020, Seite(n) 187-227, ISSN 0934-5043
Herausgeber: Springer Verlag
DOI: 10.1007/s00165-020-00509-0

Can Offline Testing of Deep Neural Networks Replace Their Online Testing?

Autoren: Fitash Ul Haq, Donghwan Shin, Shiva Nejati, Lionel Briand
Veröffentlicht in: Empirical Software Engineering, Ausgabe 26, 2021, ISSN 1573-7616
Herausgeber: Springer
DOI: 10.1007/s10664-021-09982-4

Automated, Cost-effective, and Update-driven App Testing

Autoren: Chanh Duc Ngo, Fabrizio Pastore, Lionel Briand
Veröffentlicht in: ACM Transactions on Software Engineering and Methodology, 2021, ISSN 1049-331X
Herausgeber: Association for Computing Machinary, Inc.
DOI: 10.1145/3502297

Practical Constraint Solving for Generating System Test Data

Autoren: Ghanem Soltana, Mehrdad Sabetzadeh, Lionel C. Briand
Veröffentlicht in: ACM Transactions on Software Engineering and Methodology, Ausgabe 29/2, 2020, Seite(n) 1-48, ISSN 1049-331X
Herausgeber: Association for Computing Machinary, Inc.
DOI: 10.1145/3381032

TOrPEDO: witnessing model correctness with topological proofs

Autoren: Claudio Menghi, Alessandro Maria Rizzi, Anna Bernasconi & Paola Spoletini
Veröffentlicht in: Formal Aspects of Computing, 2021, Seite(n) 1039–1066, ISSN 0934-5043
Herausgeber: Springer Verlag
DOI: 10.1007/s00165-021-00564-1

Combining Genetic Programming and Model Checking to Generate Environment Assumptions

Autoren: Khouloud Gaaloul, Claudio Menghi, Shiva Nejati, Lionel Briand, Yago Isasi Parache
Veröffentlicht in: IEEE Transactions on Software Engineering, 2021, ISSN 0098-5589
Herausgeber: Institute of Electrical and Electronics Engineers
DOI: 10.1109/tse.2021.3101818

Specification Patterns for Robotic Missions

Autoren: Claudio Menghi, Christos Tsigkanos, Patrizio Pelliccione, Carlo Ghezzi, Thorsten Berger
Veröffentlicht in: IEEE Transactions on Software Engineering, Ausgabe 3, 2019, Seite(n) 1-1, ISSN 0098-5589
Herausgeber: Institute of Electrical and Electronics Engineers
DOI: 10.1109/tse.2019.2945329

Mutation Analysis for Cyber-Physical Systems: Scalable Solutions and Results in the Space Domain

Autoren: Oscar Cornejo, Fabrizio Pastore, Lionel Briand
Veröffentlicht in: IEEE Transactions on Software Engineering, 2021, ISSN 0098-5589
Herausgeber: Institute of Electrical and Electronics Engineers
DOI: 10.1109/tse.2021.3107680

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

Autoren: Chunhui Wang, Fabrizio Pastore, Arda Goknil, Lionel Briand
Veröffentlicht in: IEEE Transactions on Software Engineering, 2020, Seite(n) 1-1, ISSN 0098-5589
Herausgeber: Institute of Electrical and Electronics Engineers
DOI: 10.1109/tse.2020.2998503

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

Autoren: Dennis Appelt, Cu D. Nguyen, Annibale Panichella, Lionel C. Briand
Veröffentlicht in: IEEE Transactions on Reliability, Ausgabe 67/3, 2018, Seite(n) 733-757, ISSN 0018-9529
Herausgeber: Institute of Electrical and Electronics Engineers
DOI: 10.1109/tr.2018.2805763

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

Autoren: Sadeeq Jan, Annibale Panichella, Andrea Arcuri, Lionel Briand
Veröffentlicht in: IEEE Transactions on Software Engineering, Ausgabe 45/4, 2019, Seite(n) 335-362, ISSN 0098-5589
Herausgeber: Institute of Electrical and Electronics Engineers
DOI: 10.1109/tse.2017.2778711

Test Generation and Test Prioritization for Simulink Models with Dynamic Behavior

Autoren: Reza Matinnejad, Shiva Nejati, Lionel Briand, Thomas Bruckmann
Veröffentlicht in: IEEE Transactions on Software Engineering, 2018, Seite(n) 1-1, ISSN 0098-5589
Herausgeber: Institute of Electrical and Electronics Engineers
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

Autoren: Bing Liu, Shiva Nejati, Lucia, Lionel C. Briand
Veröffentlicht in: Empirical Software Engineering, Ausgabe 24/1, 2019, Seite(n) 444-490, ISSN 1382-3256
Herausgeber: Kluwer Academic Publishers
DOI: 10.1007/s10664-018-9611-z

Augmenting Field Data for Testing Systems Subject to Incremental Requirements Changes

Autoren: Daniel Di Nardo, Fabrizio Pastore, Lionel Briand
Veröffentlicht in: ACM Transactions on Software Engineering and Methodology, Ausgabe 26/1, 2017, Seite(n) 1-40, ISSN 1049-331X
Herausgeber: Association for Computing Machinary, Inc.
DOI: 10.1145/3053430

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

Autoren: Ines Hajri, Arda Goknil, Lionel C. Briand, Thierry Stephany
Veröffentlicht in: Journal of Systems and Software, Ausgabe 139, 2018, Seite(n) 211-237, ISSN 0164-1212
Herausgeber: Elsevier BV
DOI: 10.1016/j.jss.2018.02.021

Automated Extraction and Clustering of Requirements Glossary Terms

Autoren: Chetan Arora, Mehrdad Sabetzadeh, Lionel Briand, Frank Zimmer
Veröffentlicht in: IEEE Transactions on Software Engineering, Ausgabe 43/10, 2017, Seite(n) 918-945, ISSN 0098-5589
Herausgeber: Institute of Electrical and Electronics Engineers
DOI: 10.1109/TSE.2016.2635134

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

Autoren: Phu X. Mai, Arda Goknil, Lwin Khin Shar, Fabrizio Pastore, Lionel C. Briand, Shaban Shaame
Veröffentlicht in: Information and Software Technology, Ausgabe 100, 2018, Seite(n) 165-182, ISSN 0950-5849
Herausgeber: Elsevier BV
DOI: 10.1016/j.infsof.2018.04.007

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

Autoren: Chetan Arora, Mehrdad Sabetzadeh, Shiva Nejati, Lionel Briand
Veröffentlicht in: ACM Transactions on Software Engineering and Methodology, Ausgabe 28/1, 2019, Seite(n) 1-34, ISSN 1049-331X
Herausgeber: Association for Computing Machinary, Inc.
DOI: 10.1145/3293454

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

Autoren: Victor Basili, Lionel Briand, Domenico Bianculli, Shiva Nejati, Fabrizio Pastore, Mehrdad Sabetzadeh
Veröffentlicht in: IEEE Software, Ausgabe 35/5, 2018, Seite(n) 44-49, ISSN 0740-7459
Herausgeber: Institute of Electrical and Electronics Engineers
DOI: 10.1109/ms.2018.290110216

An empirical evaluation of evolutionary algorithms for unit test suite generation

Autoren: José Campos, Yan Ge, Nasser Albunian, Gordon Fraser, Marcelo Eler, Andrea Arcuri
Veröffentlicht in: Information and Software Technology, Ausgabe 104, 2018, Seite(n) 207-235, ISSN 0950-5849
Herausgeber: Elsevier BV
DOI: 10.1016/j.infsof.2018.08.010

Oracles for Testing Software Timeliness with Uncertainty

Autoren: Chunhui Wang, Fabrizio Pastore, Lionel Briand
Veröffentlicht in: ACM Transactions on Software Engineering and Methodology, Ausgabe 28/1, 2019, Seite(n) 1-30, ISSN 1049-331X
Herausgeber: Association for Computing Machinary, Inc.
DOI: 10.1145/3280987

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

Autoren: Sadeeq Jan, Annibale Panichella, Andrea Arcuri, Lionel Briand
Veröffentlicht in: Empirical Software Engineering, Ausgabe Volumes 24, Ausgabes 117, 2019, ISSN 1382-3256
Herausgeber: Kluwer Academic Publishers
DOI: 10.1007/s10664-019-09707-8

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

Autoren: Chaima Boufaied, Domenico Bianculli, Lionel Briand
Veröffentlicht in: The Journal of Object Technology, Ausgabe 18/2, 2019, Seite(n) 15:1, ISSN 1660-1769
Herausgeber: EtH Zurich
DOI: 10.5381/jot.2019.18.2.a15

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

Autoren: Chetan Arora, Mehrdad Sabetzadeh, Lionel C. Briand
Veröffentlicht in: Empirical Software Engineering, Ausgabe 24/4, 2019, Seite(n) 2509-2539, ISSN 1382-3256
Herausgeber: Kluwer Academic Publishers
DOI: 10.1007/s10664-019-09693-x

A verification-driven framework for iterative design of controllers

Autoren: Claudio Menghi, Paola Spoletini, Marsha Chechik, Carlo Ghezzi
Veröffentlicht in: Formal Aspects of Computing, 2019, ISSN 0934-5043
Herausgeber: Springer Verlag
DOI: 10.1007/s00165-019-00484-1

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

Autoren: Ines Hajri, Arda Goknil, Fabrizio Pastore, Lionel C. Briand
Veröffentlicht in: Empirical Software Engineering, Ausgabe 25(5), 2020, Seite(n) 3711–3769, ISSN 1382-3256
Herausgeber: Kluwer Academic Publishers
DOI: 10.1007/s10664-020-09853-4

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

Autoren: Seung Yeob Shin, Karim Chaouch, Shiva Nejati, Mehrdad Sabetzadeh, Lionel C. Briand, Frank Zimmer
Veröffentlicht in: Journal of Systems and Software, Ausgabe 171, 2021, Seite(n) 110813, ISSN 0164-1212
Herausgeber: Elsevier BV
DOI: 10.1016/j.jss.2020.110813

Verification of design models of cyber-physical systems specified in Simulink

Autoren: Khouloud Gaaloul
Veröffentlicht in: 2021
Herausgeber: University of Luxembourg

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

Autoren: Ben Abdessalem (helali), Raja
Veröffentlicht in: 2019
Herausgeber: University of Luxembourg

Specification and Model-driven Trace Checking of Complex Temporal Properties

Autoren: Chaima Boufaied
Veröffentlicht in: 2021
Herausgeber: University of Luxembourg

Integrating Topological Proofs with Model Checking to Instrument Iterative Design

Autoren: Claudio Menghi, Alessandro Maria Rizzi, Anna Bernasconi
Veröffentlicht 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, Ausgabe 12076, 2020, Seite(n) 53-74, ISBN 978-3-030-45233-9
Herausgeber: Springer International Publishing
DOI: 10.1007/978-3-030-45234-6_3

Veröffentlichungen

Diese Seite teilen

Herunterladen