Skip to main content

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

Searching for OpenAIRE data...

Publications

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

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

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

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