Publications
Sous presse
Black-Box Testing of Deep Neural Networks through Test Case Diversity; ; ; ;
in IEEE Transactions on Software Engineering (in press)
Metamorphic Testing for Web System Security; ; ;
in IEEE Transactions on Software Engineering (in press)
Trace Diagnostics for Signal-based Temporal Properties; ; ;
in IEEE Transactions on Software Engineering (in press)
AI-based Question Answering Assistance for Analyzing Natural-language Requirements; ; ;
in In Proceedings of the 45th International Conference on Software Engineering (ICSE'23), Melbourne 14-20 May 2023 (in press)
Simulator-based explanation and debugging of hazard-triggering events in DNN-based safety-critical systems; ; ;
in ACM Transactions on Software Engineering and Methodology (in press)
Flakify: A Black-Box, Language Model-Based Predictor for Flaky Tests; ;
in IEEE Transactions on Software Engineering (in press)
Test Case Selection and Prioritization Using Machine Learning: A Systematic Literature Review; ; ;
in Empirical Software Engineering (in press)
Modeling Data Protection and Privacy: Application and Experience with GDPR; ; ; ;
in Software and Systems Modeling (in press)
DaMAT: A Data-driven Mutation Analysis Tool; ; ;
in Proceedings of the 45th International Conference on Software Engineering (ICSE ’23) (in press)
Data-driven Mutation Analysis for Cyber-Physical Systems; ; ;
in IEEE Transactions on Software Engineering (in press)
Scalable and Accurate Test Case Prioritization in Continuous Integration Contexts; ; ;
in IEEE Transactions on Software Engineering (in press)
2023
A Machine Learning Approach for Automated Filling of Categorical Fields in Data Entry Forms; ; ;
in ACM Transactions on Software Engineering and Methodology (2023), 32(2), 471-4740
Towards Log Slicing; ;
in Dawes, Joshua; Shin, Donghwan; Bianculli, Domenico (Eds.) Towards Log Slicing (2023, April)
Supporting Safety Analysis of Deep Neural Networks with Automated Debugging and RepairDoctoral thesis (2023)
ATM: Black-box Test Case Minimization based on Test Code Similarity and Evolutionary Search; ;
in IEEE/ACM International Conference on Software Engineering (2023)
2022
COREQQA: A COmpliance REQuirements Understanding using Question Answering Tool; ;
in ACM SIGSOFT CONFERENCE ON THE FOUNDATIONS OF SOFTWARE ENGINEERING (2022)
Automated Question Answering for Improved Understanding of Compliance Requirements: A Multi-Document Study; ; ;
in In Proceedings of the 30th IEEE International Requirements Engineering Conference (RE'22), Melbourne, Australia 15-19 August 2022 (2022)
Black-box Safety Analysis and Retraining of DNNs based on Feature Extraction and Clustering; ; ;
in ACM Transactions on Software Engineering and Methodology (2022)
MASS: A tool for Mutation Analysis of Space CPS; ;
in 2022 IEEE/ACM 44st International Conference on Software Engineering (2022, May)
Mutation Analysis for Cyber-Physical Systems: Scalable Solutions and Results in the Space Domain; ;
in IEEE Transactions on Software Engineering (2022), 48(10), 39133939
Specifying Source Code and Signal-based Behaviour of CPS Components;
in Dawes, Joshua; Bianculli, Domenico (Eds.) Proceedings of the 18th International Conference on Formal Aspects of Component Software (2022, November)
Automated Handling of Anaphoric Ambiguity in Requirements: A Multi-solution Study; ; ;
in In Proceedings of the 44th International Conference on Software Engineering (ICSE'22), Pittsburgh, PA, USA 22-27 May 2022 (2022, May)
TAPHSIR: Towards AnaPHoric Ambiguity Detection and ReSolution In Requirements; ; ;
in ACM SIGSOFT CONFERENCE ON THE FOUNDATIONS OF SOFTWARE ENGINEERING (2022)
WikiDoMiner: Wikipedia Domain-Specific Miner; ;
in ACM SIGSOFT CONFERENCE ON THE FOUNDATIONS OF SOFTWARE ENGINEERING (2022)
HUDD: A tool to debug DNNs for safety analysis; ;
in 2022 IEEE/ACM 44th International Conference on Software Engineering (2022, May)
Combining Genetic Programming and Model Checking to Generate Environment Assumptions; ; ; ;
in IEEE Transactions on Software Engineering (2022)
Guidelines for Assessing the Accuracy of Log Message Template Identification Techniques; ; ;
in Proceedings of the 44th International Conference on Software Engineering (ICSE ’22) (2022, July)
Automated Reverse Engineering of Role-based Access Control Policies of Web Applications; ; ; ;
in Journal of Systems and Software (2022), 184
Estimating Probabilistic Safe WCET Ranges of Real-Time Systems at Design Stages; ; ;
in ACM Transactions on Software Engineering and Methodology (2022)
Optimal Priority Assignment for Real-Time Systems: A Coevolution-Based Approach; ; ;
in Empirical Software Engineering (2022), 27
ATUA: an update-driven app testing tool; ;
in The 31st ACM SIGSOFT International Symposium on Software Testing and Analysis (2022, July)
Automated, Cost-effective, and Update-driven App Testing; ;
in ACM Transactions on Software Engineering and Methodology (2022), 31(4), 61
Test case selection and prioritization using machine learning: a systematic literature review; ; ;
in Empirical Software Engineering (2022), 27
TkT: Automatic Inference of Timed and Extended Pushdown Automata; ; ;
in IEEE Transactions on Software Engineering (2022), 48(2), 617-636
PRINS: Scalable Model Inference for Component-based System Logs; ;
in Empirical Software Engineering (2022)
Efficient Online Testing for DNN-Enabled Systems using Surrogate-Assisted and Many-Objective Optimization; ;
in Proceedings of the 44th International Conference on Software Engineering (ICSE ’22) (2022, May)
Automatic Generation of Acceptance Test Cases from Use Case Specifications: an NLP-based Approach; ; ;
in IEEE Transactions on Software Engineering (2022), 48(2), 585-616
2021
A Model-based Conceptualization of Requirements for Compliance Checking of Data Processing against GDPR; ; ;
in 2020 IEEE Eleventh International Model-Driven Requirements Engineering (MoDRE) (2021, September)
AI-enabled Automation for Completeness Checking of Privacy Policies; ; ; ;
in IEEE Transactions on Software Engineering (2021)
RoboMAX: Robotic Mission Adaptation eXemplars; ; ; ; ; ; ; ; ; ; ; ;
in Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS) - Artifact Track (2021)
Reinforcement Learning for Test Case Prioritization; ;
in IEEE Transactions on Software Engineering (2021), 48(8), 2836-2856
Digital Twins Are Not Monozygotic -- Cross-Replicating ADAS Testing in Two Industry-Grade Automotive Simulators; ; ; ;
in 2021 IEEE 14th International Conference on Software Testing, Validation and Verification (ICST) (2021, May 25)
Signal-Based Properties of Cyber-Physical Systems: Taxonomy and Logic-based Characterization; ; ; ;
in Journal of Systems and Software (2021), 174
Specifying Properties over Inter-Procedural, Source Code Level Behaviour of Programs;
in Proceedings of the 21st International Conference on Runtime Verification (2021, October)
MAANA: An Automated Tool for DoMAin-specific HANdling of Ambiguity; ; ; ;
in Companion Proceedings of the 43rd International Conference on Software Engineering (2021, May)
Using Domain-specific Corpora for Improved Handling of Ambiguity in Requirements; ; ; ;
in In Proceedings of the 43rd International Conference on Software Engineering (ICSE'21), Madrid 25-28 May 2021 (2021, May)
Supporting DNN Safety Analysis and Retraining through Heatmap-based Unsupervised Learning; ; ;
in IEEE Transactions on Reliability (2021), 70(4), 1641-1657
TOrPEDO: Witnessing Model Correctness with Topological Proofs; ; ;
in Formal Aspects of Computing (2021), 33(6), 1039-1066
ThEodorE: a Trace Checker for CPS Properties; ; ;
in Companion Proceedings of the 43rd International Conference on Software Engineering (2021, May)
Trace-Checking CPS Properties: Bridging the Cyber-Physical Gap; ; ;
in Proceedings of the 43rd International Conference on Software Engineering (ICSE 2021) (2021, May)
Log-based Slicing for System-level Test Cases; ; ; ;
in Proceedings of ISSTA '21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis (2021, July)
A Theoretical Framework for Understanding the Relationship Between Log Parsing and Anomaly Detection; ; ;
in Proceedings of the 21st International Conference on Runtime Verification (2021, October)
Uncertainty-aware Specification and Analysis for Hardware-in-the-Loop Testing of Cyber Physical Systems; ; ; ; ;
in Journal of Systems and Software (2021)
An Automated Framework for the Extraction of Semantic Legal Metadata from Legal Texts; ; ; ; ;
in Empirical Software Engineering (2021), 26(3), 43
Automatic Test Suite Generation for Key-Points Detection DNNs using Many-Objective Search (Experience Paper); ; ; ;
in 2021 ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA) (2021, July)
Can Offline Testing of Deep Neural Networks Replace Their Online Testing?; ; ;
in Empirical Software Engineering (2021), 26(5),
On Systematically Building a Controlled Natural Language for Functional Requirements; ; ; ;
in Empirical Software Engineering (2021), 26(4), 79
2020
Automated Demarcation of Requirements in Textual Specifications: A Machine Learning-Based Approach; ; ; ;
in Empirical Software Engineering (2020)
Mind the gap: Robotic Mission Planning Meets Software Engineering; ; ; ;
in Proceedings of the 8th International Conference on Formal Methods in Software Engineering (2020)
CPSDebug: a tool for explanation of failures in cyber-physical systems; ; ; ; ;
in CPSDebug: a tool for explanation of failures in cyber-physical systems (2020)
Automated Repair of Feature Interaction Failures in Automated Driving Systems; ; ; ;
in Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2020) (2020, July)
PuRSUE -from specification of robotic environments to synthesis of controllers; ; ; ;
in Formal Aspects of Computing (2020)
Using Machine Learning to Assist with the Selection of Security Controls During Security Assessment; ; ; ; ;
in Empirical Software Engineering (2020), 25(4), 25502582
Trace-Checking Signal-based Temporal Properties: A Model-Driven Approach; ; ; ;
in Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering (ASE ’20) (2020, September)
ARCH-COMP 2020 Category Report: Falsification; ; ; ; ; ; ; ; ; ; ; ;
in EPiC Series in Computing (2020)
Mining Assumptions for Software Components using Machine Learning; ; ; ;
in Proceedings of the The ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) (2020)
PROMISE: high-level mission specification for multiple robots; ; ; ;
in Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering (ICSE): Companion Proceedings (2020, June)
Automating System Test Case Classification and Prioritization for Use Case-Driven Testing in Product Lines; ; ;
in Empirical Software Engineering (2020), 25(5), 37113769
Automated, Requirements-based Security Testing of Web-oriented Software SystemsDoctoral thesis (2020)
SMRL: A Metamorphic Security Testing Tool for Web Systems; ; ;
in 2020 IEEE/ACM 42nd International Conference on Software Engineering (2020)
Metamorphic Security Testing for Web Systems; ; ;
in IEEE International Conference on Software Testing, Verification and Validation (ICST) 2020 (2020, March)
Model Checking MITL formulae on Timed Automata: a Logic-Based Approach; ; ;
in ACM Transactions on Computational Logic (2020), 21(3),
Approximation-Refinement Testing of Compute-Intensive Cyber-Physical Models: An Approach Based on System Identification; ; ;
in Proceedings of the 42nd International Conference on Software Engineering (2020)
Integrating Topological Proofs with Model Checking to Instrument Iterative Design; ;
in Proceedings of the 23rd International Conference on Fundamental Approaches to Software Engineering, FASE 2020 (2020, April)
Dynamic Adaptation of Software-defined Networks for IoT Systems: A Search-based Approach; ; ; ; ;
in Proceedings of the 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS'20) (2020, May)
Automated Recommendation of Templates for Legal Requirements; ; ; ;
in Proceedings of the 28th IEEE International Requirements Engineering Conference (RE'20) (2020)
Practical Constraint Solving for Generating System Test Data; ;
in ACM Transactions on Software Engineering and Methodology (2020), 29(2), 111-1148
Tetrahydrobenzimidazole TMQ0153 triggers apoptosis, autophagy and necroptosis crosstalk in chronic myeloid leukemia; ; ; ; ; ; ; ; ; ; ; ; ; ; ; ;
in Cell Death and Disease (2020), 11(2),
An Integrated Approach for Effective Injection Vulnerability Analysis of Web Applications through Security Slicing and Hybrid Constraint Solving; ; ;
in IEEE Transactions on Software Engineering (2020), 46(2), 163--195
An AI-assisted Approach for Checking the Completeness of Privacy Policies Against GDPR; ; ; ; ; ;
in in Proceedings of the 28th IEEE International Requirements Engineering Conference (RE’20) (2020, September)
UML Consistency Rules:a Case Study with Open-Source UML Models; ; ; ;
in Proceedings of the 8th International Conference on Formal Methods in Software Engineering (2020, July)
Comparing Offline and Online Testing of Deep Neural Networks: An Autonomous Car Case Study; ; ;
in 2020 IEEE 13th International Conference on Software Testing, Validation and Verification (ICST) (2020, August 05)
Leveraging Natural-language Requirements for Deriving Better Acceptance Criteria from Models; ; ; ; ;
in Proceedings of 23rd ACM / IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS) (2020, October)
2019
A Machine Learning-Based Approach for Demarcating Requirements in Textual Specifications; ; ; ;
in 27th IEEE International Requirements Engineering Conference (RE'19) (2019)
Bridging the Gap between Requirements Modeling and Behavior-driven Development; ; ; ;
in Proceedings of 22nd IEEE / ACM International Conference on Model Driven Engineering Languages and Systems (MODELS) (2019, September)
An experimental scrutiny of visual design modelling: VCL up against UML+OCL; ;
in Empirical Software Engineering (2019)
An Empirical Study on the Potential Usefulness of Domain Models for Completeness Checking of Requirements; ;
in Empirical Software Engineering (2019), 24(4), 25092539
An Active Learning Approach for Improving the Accuracy of Automated Domain Model Extraction; ; ;
in ACM Transactions on Software Engineering and Methodology (2019), 28(1),
Decision Support for Security-Control Identification Using Machine Learning; ; ; ; ;
in International Working Conference on Requirements Engineering: Foundation for Software Quality, Essen 18-21 March 2019 (2019)
A Model-driven Approach to Trace Checking of Temporal Properties with Aggregations; ;
in Journal of Object Technology (2019, July), 18(2), 151-21
A Model-Based Testing Approach for Cockpit Display Systems of Avionics; ; ; ;
in International Conference on Model Driven Engineering Languages and Systems (2019)
Automatic Generation of Tests to Exploit XML Injection Vulnerabilities in Web Applications; ; ;
in IEEE Transactions on Software Engineering (2019), 45(4), 335-362
Search-based Multi-Vulnerability Testing of XML Injections in Web Applications; ; ;
in Empirical Software Engineering (2019), 24(6), 36963729
MCP: A Security Testing Tool Driven by Requirements; ; ;
in 2019 IEEE/ACM 41st International Conference on Software Engineering (2019, May)
Test Generation and Test Prioritization for Simulink Models with Dynamic Behavior; ; ;
in IEEE Transactions on Software Engineering (2019), 45(9), 919-944
Generating Automated and Online Test Oracles for Simulink Models with Continuous and Uncertain Behaviors; ; ;
in Proceedings of the 27th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE ’19), (2019, August)
A verification-driven framework for iterative design of controllers; ; ;
in Formal Aspects of Computing (2019), 31
PsALM: specification of dependable robotic missions; ; ;
in Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings (2019)
Specification Patterns for Robotic Missions; ; ; ;
in IEEE Transactions on Software Engineering (2019)
Evaluating Model Testing and Model Checking for Finding Requirements Violations in Simulink Models; ; ; ; ;
in Proceedings of the 27th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) (2019)
A Survey of Challenges for Runtime Verification from Advanced Application Domains (Beyond Software); ; ; ; ; ; ; ; ; ; ; ; ; ; ;
in Formal Methods in System Design (2019), 54(3), 279-335
A Query System for Extracting Requirements-related Information from Legal Texts; ; ; ; ;
in Proceedings of the 27th IEEE International Requirements Engineering Conference (RE'19), pp. 319-329 (2019)
Using Models to Enable Compliance Checking against the GDPR: An Experience Report; ; ; ; ;
in Proceedings of the IEEE / ACM 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS 19) (2019, September)
Oracles for Testing Software Timeliness with Uncertainty; ;
in ACM Transactions on Software Engineering and Methodology (2019), 28(1),
2018
Modeling Variability in the Video Domain: Language and Experience Report; ; ; ;
in Software Quality Journal (2018)
A Machine Learning-Driven Evolutionary Approach for Testing Web Application Firewalls; ; ;
in IEEE Transactions on Reliability (2018), 67(3), 733-757
Software Engineering Research and Industry: A Symbiotic Relationship to Foster Impact; ; ; ; ;
in IEEE Software (2018), 35(5), 44-49
Testing Vision-Based Control Systems Using Learnable Evolutionary Algorithms; ; ;
in Proceedings of the 40th International Conference on Software Engineering (ICSE 2018) (2018)
Testing Autonomous Cars for Feature Interaction Failures using Many-Objective Search; ; ; ;
in Proceedings of the 33rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2018) (2018)
Model-driven Run-time Enforcement of Complex Role-based Access Control Policies; ;
in Proceeding of the 2018 33rd ACM/IEEE International Conference on Automated Software Engineering (ASE ’18) (2018, September)
Model-Driven Trace Diagnostics for Pattern-based Temporal Specifications; ;
in Proceedings of the 2018 ACM/IEEE 21st International Conference on Model Driven Engineering Languages and Systems (MODELS 2018) (2018, October)
Enabling Model Testing of Cyber-Physical Systems; ; ; ;
in Proceedings of ACM/IEEE 21st International Conference on Model Driven Engineering Languages and Systems (MODELS’18) (2018, October)
Change Impact Analysis for Evolving Configuration Decisions in Product Line Use Case Models; ; ;
in Journal of Systems and Software (2018), 139
Configuring use case models in product families; ; ;
in Software and Systems Modeling (2018), 17(3), 939-971
Effective Fault Localization of Automotive Simulink Models: Achieving the Trade-Off between Test Oracle Effort and Fault Localization Accuracy; ; ;
in Empirical Software Engineering (2018), 24(1), 444-490
Modeling Security and Privacy Requirements: a Use Case-Driven Approach; ; ; ; ;
in Information and Software Technology (2018), 100
A Natural Language Programming Approach for Requirements-based Security Testing; ; ;
in 29th IEEE International Symposium on Software Reliability Engineering (ISSRE 2018) (2018)
A Search-based Approach for Accurate Identification of Log Message Formats; ; ; ;
in Proceedings of the 26th IEEE/ACM International Conference on Program Comprehension (ICPC ’18) (2018)
The Scent of a Smell: An Extensive Comparison between Textual and Structural Smells; ; ; ;
in IEEE Transactions on Software Engineering (2018), 44(10), 977-1000
Automated Test Case Generation as a Many-Objective Optimisation Problem with Dynamic Selection of the Targets; ;
in IEEE Transactions on Software Engineering (2018), 44(2), 122-158
HITECS: A UML Profile and Analysis Framework for Hardware-in-the-Loop Testing of Cyber Physical Systems; ; ; ; ;
in Proceedings of ACM/IEEE 21st International Conference on Model Driven Engineering Languages and Systems (MODELS’18) (2018, October)
Test Case Prioritization for Acceptance Testing of Cyber Physical Systems: A Multi-Objective Search-Based Approach; ; ; ;
in Proceedings of the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA'18) (2018, July)
Automated Extraction of Semantic Legal Metadata Using Natural Language Processing; ; ; ;
in the 26th IEEE International Requirements Engineering Conference, Banff, Alberta, 20-24 August 2018 (2018, August)
Model-Based Simulation of Legal Policies: Framework, Tool Support, and Validation; ; ;
in Software and Systems Modeling (2018), 17(3), 851-883
Security Slicing for Auditing Common Injection Vulnerabilities; ; ;
in Journal of Systems and Software (2018), 137(March, 2018), 766-783
Automated Generation of Constraints from Use Case Specifications to Support System Testing; ;
in Proceedings of the 11th IEEE Conference on Software Testing, Validation and Verification (2018)
An Investigation of Compression Techniques to Speed up Mutation Testing; ;
in Proceedings of 11th IEEE Conference on Software Testing, Validation and Verification, 2018 (2018)
2017
Automatically Repairing Web Application Firewalls Based on Successful SQL Injection Attacks; ;
in The 28th IEEE International Symposium on Software Reliability Engineering (ISSRE) (2017, October 23)
Automated Extraction and Clustering of Requirements Glossary Terms; ; ;
in IEEE Transactions on Software Engineering (2017), 43(10), 918-945
Automated extraction of product comparison matrices from informal product descriptions; ; ; ; ; ;
in Journal of Systems and Software (2017), 124
On the Risk of Tool Over-tuning in Runtime Verification Competitions;
in Proceedings of RV-CUBES 2017: an International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools (2017, December 14)
The Case for Context-Driven Software Engineering Research; ; ; ;
in IEEE Software (2017), 34(5), 72-75
Augmenting Field Data for Testing Systems Subject to Incremental Requirements Changes; ;
in ACM Transactions on Software Engineering and Methodology (2017), 26(1), 1-40
PETrA: a software-based tool for estimating the energy profile of Android applications; ; ; ; ;
in 39th International Conference on Software Engineering (ICSE) 2017 (2017, May 24)
Software-Based Energy Profiling of Android Apps: Simple, Efficient and Reliable?; ; ; ; ;
in Proceedings of the 24th IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER 2017) (2017, February 21)
A Model-Driven Approach to Trace Checking of Pattern-based Temporal Properties; ;
in Proceedings of the ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS 2017 ) (2017, September)
TemPsy-Check: a Tool for Model-driven Trace Checking of Pattern-based Temporal Properties; ;
in Proceedings of RV-CUBES 2017: an International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools (2017, December 14)
A Change Management Approach in Product Lines for Use Case-Driven Development and Testing; ;
in 23rd International Working Conference on Requirements Engineering: Foundation for software Quality (REFSQ 2017) (2017, March)
Incremental Reconfiguration of Product Specific Use Case Models for Evolving Configuration Decisions; ; ;
in 23rd International Working Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2017) (2017, March)
A Search-based Testing Approach for XML Injection Vulnerabilities in Web Applications; ; ;
in 10th IEEE International Conference on Software Testing, Verification and validation (ICST 2017), Tokyo 13-18 March 2017 (2017)
Improving Fault Localization for Simulink Models using Search-Based Testing and Prediction Models; ; ;
in 24th IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER 2017) (2017)
Automated Testing of Hybrid Simulink/Stateflow Controllers: Industrial Case Studies; ;
in Proceedings of 11TH JOINT MEETING OF THE EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND THE ACM SIGSOFT SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING (ESEC/FSE 2017) (2017)
Lightweight Detection of Android-specific Code Smells: the aDoctor Project; ; ; ;
in Proceedings of the 24th IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER 2017) (2017, February 21)
LIPS vs MOSA: a Replicated Empirical Study on Automated Test Case Generation; ;
in International Symposium on Search Based Software Engineering (SSBSE) 2017 (2017, September 09)
Java Unit Testing Tool Competition — Fifth Round;
in 10th International Workshop on Search- Based Software Testing (SBST) 2017 (2017, May 22)
An Automated Framework for Detection and Resolution of Cross References in Legal Texts; ; ;
in Requirements Engineering (2017), 22(2), 215-237
Legal Markup Generation in the Large: An Experience Report; ; ; ; ; ;
in the 25th International Requirements Engineering Conference (RE'17), Lisbon, 4-8 September 2017 (2017, September)
From RELAW Research to Practice: Reflections on an Ongoing Technology Transfer Project; ;
in the IEEE 25th International Requirements Engineering Conference, Lisbon, Portugal, 4-8 September 2017 (2017, September)
Specification and Analysis of Resource Utilization Policies for Human-Intensive Systems (Extended Abstract)in Proceedings of the BPM Demo Track and BPM Dissertation Award co-located with 15th International Conference on Business Process Management (BPM 2017) (2017, September 10)
Discrete-Event Simulation and Integer Linear Programming for Constraint-Aware Resource Scheduling; ; ; ;
in IEEE Transactions on Systems, Man, and Cybernetics (2017)
Synthetic Data Generation for Statistical Testing; ;
in 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE'17) (2017)
A Guided Genetic Algorithm for Automated Crash Reproduction; ;
in Proceedings of the 39th International Conference on Software Engineering (ICSE 2017) (2017, May)
JoanAudit: A Tool for Auditing Common Injection Vulnerabilities; ; ;
in 11th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (2017, September)
Search-driven String Constraint Solving for Vulnerability Detection; ; ;
in Proceedings of the 39th International Conference on Software Engineering (ICSE 2017) (2017, May)
System Testing of Timing Requirements based on Use Cases and Timed Automata; ;
in 10th IEEE International Conference on Software Testing, Verification and Validation (ICST 2017), Tokyo 13-18 March 2017 (2017, March 13)
Speeding-Up Mutation Testing via Data Compression and State Infection; ;
in IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) 2017 (2017, March 13)
2016
AUTOMATED ANALYSIS OF NATURAL-LANGUAGE REQUIREMENTS USING NATURAL LANGUAGE PROCESSINGDoctoral thesis (2016)
Extracting Domain Models from Natural-Language Requirements: Approach and Industrial Evaluation; ; ;
in 19th International Conference on Model Driven Engineering Languages and Systems, Saint-Malo 2-7 October 2016 (2016, October)
Testing Advanced Driver Assistance Systems using Multi-objective Search and Neural Networks; ; ;
in International Conference on Automated Software Engineering (ASE 2016) (2016)
GemRBAC-DSL: a High-level Specification Language for Role-based Access Control Policies; ;
in 21st ACM Symposium on Access Control Models and Technologies (SACMAT 2016) (2016, June)
A model-driven approach to representing and checking RBAC contextual policies.; ; ;
in Proceedings of the 6th ACM Conference on Data and Application Security and Privacy (CODASPY 2016) (2016, March)
Efficient Large-scale Trace Checking Using MapReduce; ; ; ;
in Proceedings of the 38th International Conference on Software Engineering (ICSE 2016) (2016, May)
Testing the Untestable: Model Testing of Complex Software-Intensive Systems; ; ;
in Proceedings of the 38th International Conference on Software Engineering (ICSE 2016) Companion (2016, May)
SOFIA: An Automated Security Oracle for Black-Box Testing of SQL-Injection Vulnerabilities; ; ;
in Proceedings of the 31th IEEE/ACM International Conference on Automated Software Engineering (2016)
Supporting Change in Product Lines within the Context of Use Case-Driven Development and Testingin 24th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (DS@FSE 2016) (2016, November)
PUMConf: A Tool to Configure Product Specific Use Case and Domain Models in a Product Line; ; ;
in 24th ACM SIGSOFT International Symposium on the Foundations of Software Engineering (2016, November)
Automated and Effective Testing of Web Services for XML Injection Attacks; ;
in ISSTA'16-The International Symposium on Software Testing and Analysis, Saarbrücken 18-20 July 2016 (2016, July 18)
Localizing Multiple Faults in Simulink Models.; ; ; ;
in 23rd IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER 2016) (2016)
Simulink Fault Localisation: an Iterative Statistical Debugging Approach; ; ; ;
in Software Testing, Verification and Reliability (2016), 26(6), 431-459
SimCoTest: A Test Suite Generation Tool for Simulink/Stateflow Controllers; ; ;
in Proceedings of the 38th International Conference on Software Engineering (2016)
Automated Test Suite Generation for Time-Continuous Simulink Models; ; ;
in Proceedings of the 38th International Conference on Software Engineering (2016)
Automated Change Impact Analysis between SysML Models of Requirements and Design; ; ; ;
in 24th ACM SIGSOFT International Symposium on the Foundations of Software Engineering, Seattle 13-18 November 2016 (2016)
Clustering Deviations for Black Box Regression Testing of Database Applications;
in IEEE Transactions on Reliability (2016), 65(1), 4-18
Cost-effective Strategies for the Regression Testing of Database Applications: Case study and Lessons Learned;
in Journal of Systems and Software (2016), 113
Automated Classification of Legal Cross References Based on Semantic Intent; ; ;
in 22nd International Working Conference on Requirements Engineering: Foundation for Software Quality (REFSQ'16) (2016, March)
Model-Based Simulation of Legal Requirements: Experience from Tax Policy Simulation; ;
in 24th IEEE International Conference on Requirements Engineering (RE'16) (2016)
2015
Behind an Application Firewall, Are We Safe from SQL Injection Attacks?; ;
in 2015 IEEE 8th International Conference on Software Testing, Verification, and Validation (ICST) (2015)
Automated Checking of Conformance to Requirements Templates using Natural Language Processing; ; ;
in IEEE Transactions on Software Engineering (2015), 41(10), 944-968
Change Impact Analysis for Natural Language Requirements: An NLP Approach; ; ; ;
in 23rd IEEE International Requirements Engineering Conference, Ottawa 24-28 August 2015 (2015, August)
NARCIA: An Automated Tool for Change Impact Analysis in Natural Language Requirements; ; ; ;
in 10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, Bergamo 30 August - 4 September 2015 (2015, September)
Assessing IT Security Standards Against the Upcoming GDPR for Cloud Systems; ; ; ;
Poster (2015, March 11)
A Comprehensive Modeling Framework for Role-based Access Control Policies; ;
in Journal of Systems and Software (2015), 107(September,2015), 110-126
MatrixMiner: A Red Pill to Architect Informal Product Descriptions in the Matrix; ; ; ; ; ;
in 10th Joint Meeting on Foundations of Software Engineering (ESEC/FSE 2015), Bergamo, Italy, August 30 - September 4, 2015 (2015, September)
Syntactic-Semantic Incrementality for Agile Verification; ; ;
in Science of Computer Programming (2015), 97(0), 47-54
Syntax-driven program verification of matching logic properties.; ; ; ;
in Proceedings of the 3rd FME Workshop on Formal Methods in Software Engineering (FormaliSE 2015) (2015, May)
Combining Genetic Algorithms and Constraint Programming to Support Stress Testing of Task Deadlines; ; ;
in ACM Transactions on Software Engineering and Methodology (2015), 25(1),
Coverage-based regression test case selection, minimization and prioritization: a case study on an industrial system; ; ;
in Software Testing, Verification and Reliability (2015), 25(4), 371-396
Evolutionary Robustness Testing of Data Processing Systems using Models and Data Mutation; ; ;
in Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering (2015, November)
Generating Complex and Faulty Test Data Through Model-Based Mutation Analysis; ;
in Software Testing, Verification and Validation (ICST), 2015 IEEE Eighth International Conference on (2015, April)
Applying Product Line Use Case Modeling in an Industrial Automotive Embedded System: Lessons Learned and a Refined Approach; ; ;
in 2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS), September 30 - October 2, 2015, Ottawa, ON, Canada (2015, October 03)
Known XML Vulnerabilities Are Still a Threat to Popular Parsers and Open Source Systems; ;
in The 2015 IEEE International Conference on Software Quality, Reliability & Security, Vancouver 3-5 August 2015 (2015, August 03)
Automated Inference of Access Control Policies for Web Applications; ; ;
in 20th ACM Symposium on Access Control Models and Technologies (SACMAT), 1-3 June 2015 (2015, June)
Effective Test Suites for Mixed Discrete-Continuous Stateflow Controllers; ; ;
in Proceedings of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (2015)
Search-Based Automated Testing of Continuous Controllers: Framework, Tool Support, and Case Studies; ; ; ;
in Information and Software Technology (2015), 57
Evidence management for compliance of critical systems with safety standards: A survey on the state of practice; ; ;
in Information and Software Technology (2015), 60
ZoomIn: Discovering Failures by Detecting Wrong Assertions;
in Proceedings of the 37th International Conference on Software Engineering (ICSE) (2015, May)
Web Application Vulnerability Prediction using Hybrid Program Analysis and Machine Learning; ;
in IEEE Transactions on Dependable and Secure Computing (2015), 12(6), 688-707
A Model-Based Framework for Legal Policy Simulation and Legal Compliance Checkingin Doctoral Symposium co-located with 18th ACM/IEEE International Conference on Model-Driven Engineering Languages and Systems (DS@MODELS 2015) (2015)
A Model-Based Framework for Probabilistic Simulation of Legal Policies; ; ;
in 18th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS'15) (2015)
A Scalable and Accurate Hybrid Vulnerability Analysis Frameworkin Doctoral Symposium co-located with 26th IEEE International Symposium on Software Reliability Engineering (2015) (2015)
Security Slicing for Auditing XML, XPath, and SQL Injection Vulnerabilities; ;
in 26th IEEE International Symposium on Software Reliability Engineering (2015)
Automatic Generation of System Test Cases from Use Case Specifications; ; ; ;
in Proceedings of the International Symposium on Software Testing and Analysis (ISSTA' 15), July 2015, USA (2015, July)
UMTG: A Toolset to Automatically Generate System Test Cases from Use Case Specifications; ; ; ;
in 10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, Bergamo 30 August - 4 September 2015 (2015, September)
aToucan: An Automated Framework to Derive UML Analysis Models from Use Case Models; ;
in ACM Transactions on Software Engineering and Methodology (2015), 24(3),
2014
Automated Detection and Resolution of Legal Cross References: Approach and a Study of Luxembourg's Legislation; ;
in 22nd IEEE International Requirements Engineering Conference (2014, August 25)
Automated Testing for SQL Injection Vulnerabilities: An Input Mutation Approach; ; ;
in Proc. of the International Symposium on Software Testing and Analysis 2014 (2014, July 21)
On the Effectiveness of Contracts as Test Oracles in the Detection and Diagnosis of Functional Faults in Concurrent Object- Oriented Software; ;
in IEEE Transactions on Software Engineering (2014), 40(10), 971-992
Improving Requirements Glossary Construction via Clustering: Approach and Industrial Case Studies; ; ;
in 8th ACM/IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM 2014) (2014, September)
Requirement Boilerplates: Transition From Manually-Enforced to Automatically-Verifiable Natural Language Patterns; ; ;
in Requirements Patterns (RePa), 2014 IEEE 4th International Workshop on (2014, August)
Architecture-Level Configuration of Large-Scale Embedded Software Systems; ;
in ACM Transactions on Software Engineering and Methodology (2014), 23(3),
Towards the formalization of properties of cloud-based elastic systems; ; ; ; ;
in Proceedings of the 6th International Workshop on Principles of Engineering Service-oriented Systems (PESOS 2014) (2014)
SMT-based Checking of SOLOIST over Sparse Traces; ; ; ;
in Proceedings of the 17th International Conference on Fundamental Approaches to Software Engineering (FASE 2014) (2014)
Incremental Syntactic-Semantic Reliability Analysis of Evolving Structured Workflows; ; ;
in Proceedings of the 6th International Symposium On Leveraging Applications of Formal Methods Verification and Validation (ISoLA 2014) (2014, October)
Trace checking of Metric Temporal Logic with Aggregating Modalities using MapReduce; ;
in Proceedings of the 12th International Conference on Software Engineering and Formal Methods (SEFM 2014) (2014, September)
Offline Trace Checking of Quantitative Properties of Service-Based Applications; ; ;
in Proceedings of the 7h International Conference on Service Oriented Computing and Application (SOCA 2014) (2014, November)
Specification Patterns from Research to Industry: A Case Study in Service-Based Applications (extended abstract); ; ;
in Software Engineering 2014: Fachtagung des GI-Fachbereichs Softwaretechnik (2014, February)
Traceability and SysML Design Slices to Support Safety Inspections: A Controlled Experiment; ; ; ;
in ACM Transactions on Software Engineering and Methodology (2014), 23(1),
Worst-case Scheduling of Software Tasks: A Constraint Optimization Model to Support Performance Testing; ; ;
in International Conference on Principles and Practice of Constraint Programming (2014, September)
OCLR: a More Expressive, Pattern-based Temporal Extension of OCL; ;
in Proceedings of the 2014 European Conference on Modelling Foundations and Applications (ECMFA 2014) (2014, July)
Revisiting Model-driven Engineering for Run-time Verification of Business Processes; ;
in Proceedings of the 8th System Analysis and Modeling Conference (SAM 2014) (2014, September)
Empirical Evaluations on the Cost-Effectiveness of State-Based Testing: An Industrial Case Study; ;
in Information and Software Technology (2014), 56(8), 890910
Applying UML/MARTE on industrial projects: challenges, experiences, and guidelines; ; ;
in Software and Systems Modeling (2014)
CoCoTest: A Tool for Model-in-the-Loop Testing of Continuous Controller; ; ;
in International Conference on Automated Software Engineering (ASE 2014) (2014, September)
MiL Testing of Highly Configurable Continuous Controllers: Scalable Search Using Surrogate Models; ; ;
in International Conference on Automated Software Engineering (ASE 2014) (2014, September)
An Extended Systematic Literature Review on Provision of Evidence for Safety Certification; ; ;
in Information and Software Technology (2014), 56(7), 689717
Identifying Optimal Trade-Offs between CPU Time Usage and Temporal Constraints Using Search;
in International Symposium on Software Testing and Analysis (ISSTA 2014) (2014, July)
Model-Based Testing of Obligations; ; ;
in 14th Annual International Conference on Quality Software (QSIC) (2014)
Using UML for Modeling Procedural Legal Rules: Approach and a Study of Luxembourg’s Tax Law; ; ; ;
in 17th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS'14) (2014)
Search-based Security Testing of Web Applications; ;
in SBST 2014 Proceedings of the 7th International Workshop on Search-Based Software Testing (2014)
2013
Generating Test Data from OCL Constraints with Search Techniques; ; ;
in IEEE Transactions on Software Engineering (2013), 39(10),
Assessing Quality and Effort of Applying Aspect State Machines for Robustness Testing: A Controlled Experiment; ;
in IEEE International Conference on Software Testing, Verification, and Validation, Luxembourg (2013)
Assessing the Impact of Firewalls and Database Proxies on SQL Injection Testing; ;
in Springer LNCS series (2013)
Automatic Checking of Conformance to Requirement Boilerplates via Text Chunking: An Industrial Case Study; ; ; ;
in 7th ACM/IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM 2013) (2013, October)
RUBRIC: A Flexible Tool for Automated Checking of Conformance to Requirement Boilerplates; ; ; ;
in 9th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2013) (2013, August)
Cloud-based systems need multi-level management; ;
in Bouguettaya, Athman; Sheng, Quan Z.; Daniel, Florian (Eds.) Advanced Web Services (2013)
SimPL: A Product-Line Modeling Methodology for Families of Integrated Control Systems; ; ;
in Information and Software Technology (2013), 55(3),
QASBA 2013: Proceedings of the 2013 International Workshop on Quality Assurance for Service-Based Applications; ; ;
Book published by ACM (2013)
5th international workshop on principles of engineering service-oriented systems (PESOS 2013); ; ;
in Proceedings of the 2013 International Conference on Software Engineering (ICSE '13), San Francisco, CA USA (2013)
Proceedings of 2013 5th International Workshop on Principles of Engineering Service-Oriented Systems (PESOS); ; ;
Book published by IEEE (2013)
A Multi-Objective Genetic Algorithm to Rank State-Based Test Cases; ;
in 5th Symposium on Search-Based Software Engineering (SSBSE 2013), Springer Lecture Notes in Computer Science (2013)
A Scalable Approach for Malware Detection through Bounded Feature Space Behavior Modeling; ; ; ;
in IEEE/ACM Automated Software Engineering (ASE) (2013)
PWWM: A Personal Web Workflow Methodology; ; ; ; ;
in Chignell, M.; Cordy, J.; Kealey, R.; Yesha, Y. (Eds.) The Personal Web (2013)
Stress Testing of Task Deadlines: A Constraint Programming Approach; ; ;
in The 24th IEEE International Symposium on Software Reliability Engineering (ISSRE 2013), Pasadena, CA, November 2013 (2013)
Model Based Test Validation and Oracles for Data Acquisition Systems; ; ; ; ;
in IEEE/ACM International Conference on Automated Software Engineering (2013, November)
Coverage-Based Test Case Prioritisation: An Industrial Case Study; ; ;
in IEEE International Conference on Software Testing, Verification and Validation (ICST) (2013, March)
VPML: an approach to detect design patterns of MOF-based modeling languages; ;
in Software and Systems Modeling (2013)
Environment Modeling and Simulation for Automated Testing of Soft Real-Time Embedded Software; ;
in Software and Systems Modeling (2013)
Report of the 4th international workshop on principles of engineering service-oriented systems (PESOS 2012): internet of services and the quest for case studies; ; ; ; ; ; ;
in ACM SIGSOFT Software Engineering Notes (2013), 38(1), 35--38
Mining SQL Injection and Cross Site Scripting Vulnerabilities using Hybrid Program Analysis; ;
in ACM/IEEE International Conference on Software Engineering, San Fransisco, USA (2013)
Automated Model-in-the-Loop Testing of Continuous Controllers using Search; ; ; ;
in 5th Symposium on Search-Based Software Engineering (SSBSE 2013), Springer Lecture Notes in Computer Science (2013, August)
Classification, structuring, and assessment of evidence for safety: A systematic literature review; ; ;
in International Conference on Software Testing, Verification, and Validation, Luxembourg 2013 (2013)
Minimizing CPU Time Shortage Risks in Integrated Embedded Software; ; ; ; ;
in 28th IEEE/ACM International Conference on Automated Software Engineering (2013)
Supporting the Verification of Compliance to Safety Standards via Model-Driven Engineering: Approach, Tool-Support and Empirical Validation; ;
in Information and Software Technology (2013), 55(1), 836-864
A Goal-Based Approach for Qualification of New Technologies: Foundations, Tool Support, and Industrial Validation; ; ;
in Reliability Engineering and System Safety (2013), 119
2012
Does aspect-oriented modeling help improve the readability of UML state machines?; ;
in Software and Systems Modeling (2012)
A Product Line Modeling and Configuration Methodology to Support Model-based Testing: An Industrial Case Study; ; ;
in ACM/IEEE 15th International Conference on Model Driven Engineering Languages & Systems (2012)
Formal Analysis of the Probability of Interaction Fault Detection Using Random Testing;
in IEEE Transactions on Software Engineering (2012), 38(5), 1088-1099
A Hitchhiker's guide to statistical tests for assessing randomized algorithms in software engineering;
in Software Testing, Verification and Reliability (2012)
Model-Based Automated and Guided Configuration of Embedded Software Systems; ; ; ;
in European Conference on Modeling Foundations and Applications (2012)
A Modeling Approach to Support the Similarity-Based Reuse of Configuration Data; ;
in ACM/IEEE 15th International Conference on Model Driven Engineering Languages & Systems (2012)
The tale of SOLOIST: a specification language for service compositions interactions; ;
in Păsăreanu, Corina; Salaün, Gwen (Eds.) Formal Aspects of Component Software (2012, September)
Research-Based Innovation: A Tale of Three Projects in Model-Driven Engineering; ; ; ;
in 15th ACM/IEEE International Conference Model Driven Engineering Languages and Systems (2012)
Testing Deadline Misses for Real-Time Systems Using Constraint Optimization Techniques; ; ;
in CSTVA 2012 (2012)
Planning for Safety Standards Compliance: A Model-Based Tool-Supported Approach; ; ; ; ;
in IEEE Software (2012), 29(3), 64-70
State-Based Testing: Industrial Evaluation of the Cost-Effectiveness of Round-Trip Path and Sneak-Path Strategies; ; ;
in IEEE International Symposium on Software Reliability Engineering (2012)
Experiences of applying UML/MARTE on three industrial projects; ; ;
in ACM/IEEE 15th International Conference on Model Driven Engineering Languages & Systems (2012)
Combining Search-based and Adaptive Random Testing Strategies for Environment Model-based Testing of Real-time Embedded Systems; ;
in 4th Symposium on Search Based Software Engineering (2012)
Empirical Investigation of Search Algorithms for Environment Model-Based Testing of Real-Time Embedded Software; ;
in ACM International Symposium on Software Testing and Analysis (2012)
An Analytical Review of Process-Centered Software Engineering Environments;
in International Conference on Engineering of Computer-Based Systems (ECBS 2012) (2012, April)
Modeling and Analysis of CPU Usage in Safety-Critical Embedded Systems to Support Stress Testing; ; ;
in 15th ACM/IEEE International Conference on Model Driven Engineering Languages & Systems (2012)
Matching and Merging of Variant Feature Specifications.; ; ; ;
in IEEE Transactions on Software Engineering (2012), 38(6), 1355-1375
| URL: https://wwwfr.uni.lu/snt/research/software_verification_and_validation_lab/publications | Date: lundi 29 mai 2023 16:52:36 |