Lionel C. Briand
Orcid: 0000-0002-1393-1010Affiliations:
- University of Luxembourg
- University of Ottawa, Ottawa, Canada
- Carleton University, Ottawa, Canada (former)
According to our database1,
Lionel C. Briand
authored at least 447 papers
between 1992 and 2024.
Collaborative distances:
Collaborative distances:
Awards
ACM Fellow
ACM Fellow 2020, "For contributions to automated software testing".
IEEE Fellow
IEEE Fellow 2010, "For contributions to testing of object-oriented software systems".
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on lbriand.info
-
on twitter.com
-
on orcid.org
-
on id.loc.gov
-
on dl.acm.org
On csauthors.net:
Bibliography
2024
ACM Trans. Softw. Eng. Methodol., March, 2024
ACM Trans. Softw. Eng. Methodol., February, 2024
Probabilistic Safe WCET Estimation for Weakly Hard Real-time Systems at Design Stages.
ACM Trans. Softw. Eng. Methodol., February, 2024
2023
Identifying the Hazard Boundary of ML-Enabled Autonomous Systems Using Cooperative Coevolutionary Search.
IEEE Trans. Software Eng., December, 2023
IEEE Trans. Software Eng., September, 2023
IEEE Trans. Software Eng., July, 2023
Simulator-based Explanation and Debugging of Hazard-triggering Events in DNN-based Safety-critical Systems.
ACM Trans. Softw. Eng. Methodol., July, 2023
Black-box Safety Analysis and Retraining of DNNs based on Feature Extraction and Clustering.
ACM Trans. Softw. Eng. Methodol., May, 2023
IEEE Trans. Software Eng., April, 2023
IEEE Trans. Software Eng., April, 2023
IEEE Trans. Software Eng., April, 2023
ACM Trans. Softw. Eng. Methodol., April, 2023
A Machine Learning Approach for Automated Filling of Categorical Fields in Data Entry Forms.
ACM Trans. Softw. Eng. Methodol., April, 2023
IEEE Trans. Software Eng., 2023
IEEE Trans. Software Eng., 2023
CoRR, 2023
TEASMA: A Practical Approach for the Test Assessment of Deep Neural Networks using Mutation Analysis.
CoRR, 2023
CoRR, 2023
LTM: Scalable and Black-box Similarity-based Test Suite Minimization based on Language Models.
CoRR, 2023
DeepGD: A Multi-Objective Black-Box Test Selection Approach for Deep Neural Networks.
CoRR, 2023
Stress Testing of Design Assumptions in Cyper-Physical Systems: A Control Theory-Based Approach.
CoRR, 2023
Identifying the Hazard Boundary of ML-enabled Autonomous Systems Using Cooperative Co-Evolutionary Search.
CoRR, 2023
DNN Explanation for Safety Analysis: an Empirical Evaluation of Clustering-based Approaches.
CoRR, 2023
Proceedings of the 31st IEEE International Requirements Engineering Conference, 2023
Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023
Proceedings of the 45th IEEE/ACM International Conference on Software Engineering: ICSE 2023 Companion Proceedings, 2023
ATM: Black-box Test Case Minimization based on Test Code Similarity and Evolutionary Search.
Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023
Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023
2022
Benchmark suite for "An Integrated Approach for Effective Injection Vulnerability Analysis of Web Applications through Security Slicing and Hybrid Constraint Solving".
Dataset, May, 2022
Replication package for "Guidelines for Assessing the Accuracy of Log Message Template Identification Techniques".
Dataset, January, 2022
Automatic Generation of Acceptance Test Cases From Use Case Specifications: An NLP-Based Approach.
IEEE Trans. Software Eng., 2022
Combining Genetic Programming and Model Checking to Generate Environment Assumptions.
IEEE Trans. Software Eng., 2022
Mutation Analysis for Cyber-Physical Systems: Scalable Solutions and Results in the Space Domain.
IEEE Trans. Software Eng., 2022
IEEE Trans. Software Eng., 2022
ACM Trans. Softw. Eng. Methodol., 2022
Automated reverse engineering of role-based access control policies of web applications.
J. Syst. Softw., 2022
Empir. Softw. Eng., 2022
Test case selection and prioritization using machine learning: a systematic literature review.
Empir. Softw. Eng., 2022
Empir. Softw. Eng., 2022
Correction to: Can Offline Testing of Deep Neural Networks Replace Their Online Testing?
Empir. Softw. Eng., 2022
Simulator-based explanation and debugging of hazard-triggering events in DNN-based safety-critical systems.
CoRR, 2022
Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022
Automated Question Answering for Improved Understanding of Compliance Requirements: A Multi-Document Study.
Proceedings of the 30th IEEE International Requirements Engineering Conference, 2022
Proceedings of the ISSTA '22: 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, South Korea, July 18, 2022
Guidelines for Assessing the Accuracy of Log Message Template Identification Techniques.
Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022
Efficient Online Testing for DNN-Enabled Systems using Surrogate-Assisted and Many-Objective Optimization.
Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022
Proceedings of the 44th IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2022
Proceedings of the 44th IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2022
2021
Supporting DNN Safety Analysis and Retraining through Heatmap-based Unsupervised Learning.
Dataset, April, 2021
Supporting DNN Safety Analysis and Retraining through Heatmap-based Unsupervised Learning.
Dataset, April, 2021
Supporting Deep Neural Network Safety Analysis and Retraining Through Heatmap-Based Unsupervised Learning.
IEEE Trans. Reliab., 2021
Softw. Syst. Model., 2021
Uncertainty-aware specification and analysis for hardware-in-the-loop testing of cyber-physical systems.
J. Syst. Softw., 2021
Signal-Based Properties of Cyber-Physical Systems: Taxonomy and Logic-based Characterization.
J. Syst. Softw., 2021
On systematically building a controlled natural language for functional requirements.
Empir. Softw. Eng., 2021
An automated framework for the extraction of semantic legal metadata from legal texts.
Empir. Softw. Eng., 2021
Empir. Softw. Eng., 2021
CoRR, 2021
A Theoretical Framework for Understanding the Relationship Between Log Parsing and Anomaly Detection.
Proceedings of the Runtime Verification - 21st International Conference, 2021
A Model-based Conceptualization of Requirements for Compliance Checking of Data Processing against GDPR.
Proceedings of the 29th IEEE International Requirements Engineering Conference Workshops, 2021
Proceedings of the ISSTA '21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2021
Automatic test suite generation for key-points detection DNNs using many-objective search (experience paper).
Proceedings of the ISSTA '21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2021
Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2021
Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering, 2021
Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2021
Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering, 2021
2020
An Integrated Approach for Effective Injection Vulnerability Analysis of Web Applications Through Security Slicing and Hybrid Constraint Solving.
IEEE Trans. Software Eng., 2020
ACM Trans. Softw. Eng. Methodol., 2020
Automating system test case classification and prioritization for use case-driven testing in product lines.
Empir. Softw. Eng., 2020
Using machine learning to assist with the selection of security controls during security assessment.
Empir. Softw. Eng., 2020
Empir. Softw. Eng., 2020
Automated demarcation of requirements in textual specifications: a machine learning-based approach.
Empir. Softw. Eng., 2020
Automatic Test Suite Generation for Key-points Detection DNNs Using Many-Objective Search.
CoRR, 2020
Model Driven Engineering for Data Protection and Privacy: Application and Experience with GDPR.
CoRR, 2020
Schedulability Analysis of Real-Time Systems with Uncertain Worst-Case Execution Times.
CoRR, 2020
CoRR, 2020
Supporting DNN Safety Analysis and Retraining through Heatmap-based Unsupervised Learning.
CoRR, 2020
Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020
An AI-assisted Approach for Checking the Completeness of Privacy Policies Against GDPR.
Proceedings of the 28th IEEE International Requirements Engineering Conference, 2020
Proceedings of the 28th IEEE International Requirements Engineering Conference, 2020
Leveraging natural-language requirements for deriving better acceptance criteria from models.
Proceedings of the MoDELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, 2020
Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020
Proceedings of the ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2020
Proceedings of the 13th IEEE International Conference on Software Testing, 2020
Comparing Offline and Online Testing of Deep Neural Networks: An Autonomous Car Case Study.
Proceedings of the 13th IEEE International Conference on Software Testing, 2020
Proceedings of the 13th IEEE International Conference on Software Testing, 2020
Dynamic adaptation of software-defined networks for IoT systems: a search-based approach.
Proceedings of the SEAMS '20: IEEE/ACM 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, Seoul, Republic of Korea, 29 June, 2020
Approximation-refinement testing of compute-intensive cyber-physical models: an approach based on system identification.
Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020
Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Companion Volume, Seoul, South Korea, 27 June, 2020
2019
IEEE Trans. Software Eng., 2019
Automatic Generation of Tests to Exploit XML Injection Vulnerabilities in Web Applications.
IEEE Trans. Software Eng., 2019
ACM Trans. Softw. Eng. Methodol., 2019
An Active Learning Approach for Improving the Accuracy of Automated Domain Model Extraction.
ACM Trans. Softw. Eng. Methodol., 2019
J. Object Technol., 2019
Effective fault localization of automotive Simulink models: achieving the trade-off between test oracle effort and fault localization accuracy.
Empir. Softw. Eng., 2019
Correction to: Search-based multi-vulnerability testing of XML injections in web applications.
Empir. Softw. Eng., 2019
Empir. Softw. Eng., 2019
An empirical study on the potential usefulness of domain models for completeness checking of requirements.
Empir. Softw. Eng., 2019
Automatic Generation of System Test Cases from Use Case Specifications: an NLP-based Approach.
CoRR, 2019
CoRR, 2019
Automating Test Case Classification and Prioritization for Use Case-Driven Testing in Product Lines.
CoRR, 2019
Evaluating model testing and model checking for finding requirements violations in Simulink models.
Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019
Generating automated and online test oracles for Simulink models with continuous and uncertain behaviors.
Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019
Proceedings of the Requirements Engineering: Foundation for Software Quality, 2019
Proceedings of the 27th IEEE International Requirements Engineering Conference, 2019
A Machine Learning-Based Approach for Demarcating Requirements in Textual Specifications.
Proceedings of the 27th IEEE International Requirements Engineering Conference, 2019
Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2019
Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2019
Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings, 2019
2018
A Machine-Learning-Driven Evolutionary Approach for Testing Web Application Firewalls.
IEEE Trans. Reliab., 2018
Softw. Syst. Model., 2018
Software Engineering Research and Industry: A Symbiotic Relationship to Foster Impact.
IEEE Softw., 2018
J. Syst. Softw., 2018
Change impact analysis for evolving configuration decisions in product line use case models.
J. Syst. Softw., 2018
Inf. Softw. Technol., 2018
Proceedings of the 26th IEEE International Requirements Engineering Conference, 2018
HITECS: A UML Profile and Analysis Framework for Hardware-in-the-Loop Testing of Cyber Physical Systems.
Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2018
Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2018
Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2018
Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018
Testing autonomous cars for feature interaction failures using many-objective search.
Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018
Proceedings of the 26th Conference on Program Comprehension, 2018
Test case prioritization for acceptance testing of cyber physical systems: a multi-objective search-based approach.
Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2018
Proceedings of the 29th IEEE International Symposium on Software Reliability Engineering, 2018
Automated Generation of Constraints from Use Case Specifications to Support System Testing.
Proceedings of the 11th IEEE International Conference on Software Testing, 2018
Proceedings of the 40th International Conference on Software Engineering, 2018
2017
IEEE Trans. Software Eng., 2017
Augmenting Field Data for Testing Systems Subject to Incremental Requirements Changes.
ACM Trans. Softw. Eng. Methodol., 2017
The Case for Context-Driven Software Engineering Research: Generalizability Is Overrated.
IEEE Softw., 2017
An automated framework for detection and resolution of cross references in legal texts.
Requir. Eng., 2017
Improving fault localization for Simulink models using search-based testing and prediction models.
Proceedings of the IEEE 24th International Conference on Software Analysis, 2017
Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017
Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017
TemPsy-Check: a Tool for Model-driven Trace Checking of Pattern-based Temporal Properties.
Proceedings of the RV-CuBES 2017. An International Workshop on Competitions, 2017
Incremental Reconfiguration of Product Specific Use Case Models for Evolving Configuration Decisions.
Proceedings of the Requirements Engineering: Foundation for Software Quality, 2017
A Change Management Approach in Product Lines for Use Case-Driven Development and Testing.
Proceedings of the Joint Proceedings of REFSQ-2017 Workshops, 2017
From RELAW Research to Practice: Reflections on an Ongoing Technology Transfer Project.
Proceedings of the IEEE 25th International Requirements Engineering Conference Workshops, 2017
Proceedings of the 25th IEEE International Requirements Engineering Conference, 2017
Proceedings of the 20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2017
Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017
Automatically Repairing Web Application Firewalls Based on Successful SQL Injection Attacks.
Proceedings of the 28th IEEE International Symposium on Software Reliability Engineering, 2017
Proceedings of the 2017 IEEE International Conference on Software Testing, 2017
A Search-Based Testing Approach for XML Injection Vulnerabilities in Web Applications.
Proceedings of the 2017 IEEE International Conference on Software Testing, 2017
Proceedings of the 39th International Conference on Software Engineering, 2017
2016
IEEE Trans. Reliab., 2016
Softw. Test. Verification Reliab., 2016
Cost-effective strategies for the regression testing of database applications: Case study and lessons learned.
J. Syst. Softw., 2016
Proceedings of the IEEE 23rd International Conference on Software Analysis, 2016
Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016
PUMConf: a tool to configure product specific use case and domain models in a product line.
Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016
GemRBAC-DSL: A High-level Specification Language for Role-based Access Control Policies.
Proceedings of the 21st ACM on Symposium on Access Control Models and Technologies, 2016
Proceedings of the Requirements Engineering: Foundation for Software Quality, 2016
Proceedings of the 24th IEEE International Requirements Engineering Conference, 2016
Making Model-Driven Verification Practical and Scalable - Experiences and Lessons Learned.
Proceedings of the MODELSWARD 2016, 2016
Extracting domain models from natural-language requirements: approach and industrial evaluation.
Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, 2016
SOFIA: an automated security oracle for black-box testing of SQL-injection vulnerabilities.
Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016
Testing advanced driver assistance systems using multi-objective search and neural networks.
Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016
Proceedings of the 25th International Symposium on Software Testing and Analysis, 2016
Proceedings of the 38th International Conference on Software Engineering, 2016
Proceedings of the 38th International Conference on Software Engineering, 2016
Proceedings of the 38th International Conference on Software Engineering, 2016
Proceedings of the Sixth ACM on Conference on Data and Application Security and Privacy, 2016
2015
Automated Checking of Conformance to Requirements Templates Using Natural Language Processing.
IEEE Trans. Software Eng., 2015
ACM Trans. Softw. Eng. Methodol., 2015
Combining Genetic Algorithms and Constraint Programming to Support Stress Testing of Task Deadlines.
ACM Trans. Softw. Eng. Methodol., 2015
Web Application Vulnerability Prediction Using Hybrid Program Analysis and Machine Learning.
IEEE Trans. Dependable Secur. Comput., 2015
Coverage-based regression test case selection, minimization and prioritization: a case study on an industrial system.
Softw. Test. Verification Reliab., 2015
Softw. Syst. Model., 2015
Environment modeling and simulation for automated testing of soft real-time embedded software.
Softw. Syst. Model., 2015
Softw. Syst. Model., 2015
J. Syst. Softw., 2015
Search-based automated testing of continuous controllers: Framework, tool support, and case studies.
Inf. Softw. Technol., 2015
UMTG: a toolset to automatically generate system test cases from use case specifications.
Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015
Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015
NARCIA: an automated tool for change impact analysis in natural language requirements.
Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015
Proceedings of the 20th ACM Symposium on Access Control Models and Technologies, 2015
Proceedings of the 23rd IEEE International Requirements Engineering Conference, 2015
Known XML Vulnerabilities Are Still a Threat to Popular Parsers and Open Source Systems.
Proceedings of the 2015 IEEE International Conference on Software Quality, 2015
Proceedings of the 18th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2015
Applying product line Use case modeling in an industrial automotive embedded system: Lessons learned and a refined approach.
Proceedings of the 18th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2015
Evolutionary Robustness Testing of Data Processing Systems Using Models and Data Mutation (T).
Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015
Proceedings of the 2015 International Symposium on Software Testing and Analysis, 2015
Proceedings of the 26th IEEE International Symposium on Software Reliability Engineering, 2015
Proceedings of the 8th IEEE International Conference on Software Testing, 2015
Proceedings of the 8th IEEE International Conference on Software Testing, 2015
2014
On the Effectiveness of Contracts as Test Oracles in the Detection and Diagnosis of Functional Faults in Concurrent Object-Oriented Software.
IEEE Trans. Software Eng., 2014
Traceability and SysML design slices to support safety inspections: A controlled experiment.
ACM Trans. Softw. Eng. Methodol., 2014
ACM Trans. Softw. Eng. Methodol., 2014
A Hitchhiker's guide to statistical tests for assessing randomized algorithms in software engineering.
Softw. Test. Verification Reliab., 2014
Softw. Syst. Model., 2014
An extended systematic literature review on provision of evidence for safety certification.
Inf. Softw. Technol., 2014
Empirical evaluations on the cost-effectiveness of state-based testing: An industrial case study.
Inf. Softw. Technol., 2014
Proceedings of the System Analysis and Modeling: Models and Reusability, 2014
Requirement boilerplates: Transition from manually-enforced to automatically-verifiable natural language patterns.
Proceedings of the 4th IEEE International Workshop on Requirements Patterns, 2014
Automated detection and resolution of legal cross references: Approach and a study of Luxembourg's legislation.
Proceedings of the IEEE 22nd International Requirements Engineering Conference, 2014
Proceedings of the 2014 14th International Conference on Quality Software, 2014
Using UML for Modeling Procedural Legal Rules: Approach and a Study of Luxembourg's Tax Law.
Proceedings of the Model-Driven Engineering Languages and Systems, 2014
Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014
MiL testing of highly configurable continuous controllers: scalable search using surrogate models.
Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014
Identifying optimal trade-offs between CPU time usage and temporal constraints using search.
Proceedings of the International Symposium on Software Testing and Analysis, 2014
Proceedings of the International Symposium on Software Testing and Analysis, 2014
Improving requirements glossary construction via clustering: approach and industrial case studies.
Proceedings of the 2014 ACM-IEEE International Symposium on Empirical Software Engineering and Measurement, 2014
Proceedings of the Modelling Foundations and Applications - 10th European Conference, 2014
Worst-Case Scheduling of Software Tasks - A Constraint Optimization Model to Support Performance Testing.
Proceedings of the Principles and Practice of Constraint Programming, 2014
2013
IEEE Trans. Software Eng., 2013
Facilitating the transition from use case models to analysis models: Approach and experiments.
ACM Trans. Softw. Eng. Methodol., 2013
ACM Trans. Softw. Eng. Methodol., 2013
A goal-based approach for qualification of new technologies: Foundations, tool support, and industrial validation.
Reliab. Eng. Syst. Saf., 2013
Inf. Softw. Technol., 2013
Supporting the verification of compliance to safety standards via model-driven engineering: Approach, tool-support and empirical validation.
Inf. Softw. Technol., 2013
Guest Editorial: Special section of the best papers from the 2nd International Symposium on Search Based Software Engineering 2010.
Inf. Softw. Technol., 2013
SimPL: A product-line modeling methodology for families of integrated control systems.
Inf. Softw. Technol., 2013
Proceedings of the Search Based Software Engineering - 5th International Symposium, 2013
Proceedings of the Search Based Software Engineering - 5th International Symposium, 2013
RUBRIC: a flexible tool for automated checking of conformance to requirement boilerplates.
Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013
Proceedings of the Future Internet Testing - First International Workshop, 2013
Proceedings of the First International Workshop on Model-driven Engineering By Example co-located with ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2013), 2013
Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013
Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013
A scalable approach for malware detection through bounded feature space behavior modeling.
Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013
Proceedings of the IEEE 24th International Symposium on Software Reliability Engineering, 2013
Proceedings of the Sixth IEEE International Conference on Software Testing, 2013
Classification, Structuring, and Assessment of Evidence for Safety - A Systematic Literature Review.
Proceedings of the Sixth IEEE International Conference on Software Testing, 2013
Assessing Quality and Effort of Applying Aspect State Machines for Robustness Testing: A Controlled Experiment.
Proceedings of the Sixth IEEE International Conference on Software Testing, 2013
Mining SQL injection and cross site scripting vulnerabilities using hybrid program analysis.
Proceedings of the 35th International Conference on Software Engineering, 2013
Automatic Checking of Conformance to Requirement Boilerplates via Text Chunking: An Industrial Case Study.
Proceedings of the 2013 ACM / IEEE International Symposium on Empirical Software Engineering and Measurement, 2013
2012
A UML/MARTE Model Analysis Method for Uncovering Scenarios Leading to Starvation and Deadlocks in Concurrent Systems.
IEEE Trans. Software Eng., 2012
IEEE Trans. Software Eng., 2012
Formal Analysis of the Probability of Interaction Fault Detection Using Random Testing.
IEEE Trans. Software Eng., 2012
A Precise Method-Method Interaction-Based Cohesion Metric for Object-Oriented Classes.
ACM Trans. Softw. Eng. Methodol., 2012
Modeling robustness behavior using aspect-oriented modeling to support robustness testing of industrial systems.
Softw. Syst. Model., 2012
IEEE Softw., 2012
A SysML-based approach to traceability management and design slicing in support of safety certification: Framework, tool support, and case studies.
Inf. Softw. Technol., 2012
µTIL: Mutation-based Statistical Test Inputs Generation for Automatic Fault Localization.
Proceedings of the Sixth International Conference on Software Security and Reliability, 2012
Combining Search-Based and Adaptive Random Testing Strategies for Environment Model-Based Testing of Real-Time Embedded Systems.
Proceedings of the Search Based Software Engineering - 4th International Symposium, 2012
Tackling the Testing and Verification of Multicore and Concurrent Software as a Search Problem.
Proceedings of the Multicore Software Engineering, Performance, and Tools, 2012
Automatic selection of test execution plans from a video conferencing system product line.
Proceedings of the VARiability for You Workshop, 2012
Modeling and Analysis of CPU Usage in Safety-Critical Embedded Systems to Support Stress Testing.
Proceedings of the Model Driven Engineering Languages and Systems, 2012
Proceedings of the Model Driven Engineering Languages and Systems, 2012
Proceedings of the Model Driven Engineering Languages and Systems, 2012
Proceedings of the Model Driven Engineering Languages and Systems, 2012
A Product Line Modeling and Configuration Methodology to Support Model-Based Testing: An Industrial Case Study.
Proceedings of the Model Driven Engineering Languages and Systems, 2012
Empirical investigation of search algorithms for environment model-based testing of real-time embedded software.
Proceedings of the International Symposium on Software Testing and Analysis, 2012
State-Based Testing: Industrial Evaluation of the Cost-Effectiveness of Round-Trip Path and Sneak-Path Strategies.
Proceedings of the 23rd IEEE International Symposium on Software Reliability Engineering, 2012
Research-based innovation in model-driven software engineering: lessons learned from high impact projects.
Proceedings of the Proceeding of the 5th Annual India Software Engineering Conference, 2012
Testing Deadline Misses for Real-Time Systems Using Constraint Optimization Techniques.
Proceedings of the Fifth IEEE International Conference on Software Testing, 2012
Combining UML Sequence and State Machine Diagrams for Data-Flow Based Integration Testing.
Proceedings of the Modelling Foundations and Applications - 8th European Conference, 2012
Proceedings of the Modelling Foundations and Applications - 8th European Conference, 2012
2011
Assessing, Comparing, and Combining State Machine-Based Testing and Structural Testing: A Series of Experiments.
IEEE Trans. Software Eng., 2011
Modeling safety and airworthiness (RTCA DO-178B) information: conceptual model and UML profile.
Softw. Syst. Model., 2011
A systematic review of transformation approaches between user requirements and analysis models.
Requir. Eng., 2011
Inf. Softw. Technol., 2011
Proceedings of the Search Based Software Engineering - Third International Symposium, 2011
Proceedings of the SIGSOFT/FSE'11 19th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-19) and ESEC'11: 13th European Software Engineering Conference (ESEC-13), 2011
Proceedings of the 11th International Conference on Quality Software, 2011
An Industrial Application of Robustness Testing Using Aspect-Oriented Modeling, UML/MARTE, and Search Algorithms.
Proceedings of the Model Driven Engineering Languages and Systems, 2011
Proceedings of the 20th International Symposium on Software Testing and Analysis, 2011
Using Model-Driven Engineering for Managing Safety Evidence: Challenges, Vision and Experience.
Proceedings of the 2011 First International Workshop on Software Certification, WoSoCER 2011, Hiroshima, Japan, November 29, 2011
A Model-Driven Engineering Approach to Support the Verification of Compliance to Safety Standards.
Proceedings of the IEEE 22nd International Symposium on Software Reliability Engineering, 2011
Empirical Investigation of the Effects of Test Suite Properties on Similarity-Based Test Case Selection.
Proceedings of the Fourth IEEE International Conference on Software Testing, 2011
Industrial experiences with automated regression testing of a legacy database application.
Proceedings of the IEEE 27th International Conference on Software Maintenance, 2011
Proceedings of the IEEE 27th International Conference on Software Maintenance, 2011
A practical guide for using statistical tests to assess randomized algorithms in software engineering.
Proceedings of the 33rd International Conference on Software Engineering, 2011
Enabling the runtime assertion checking of concurrent contracts for the Java modeling language.
Proceedings of the 33rd International Conference on Software Engineering, 2011
Using SysML for Modeling of Safety-Critical Software-Hardware Interfaces: Guidelines and Industry Experience.
Proceedings of the 13th IEEE International Symposium on High-Assurance Systems Engineering, 2011
Combining Goal Models, Expert Elicitation, and Probabilistic Simulation for Qualification of New Technology.
Proceedings of the 13th IEEE International Symposium on High-Assurance Systems Engineering, 2011
An Experimental Evaluation of the Impact of System Sequence Diagrams and System Operation Contracts on the Quality of the Domain Model.
Proceedings of the 5th International Symposium on Empirical Software Engineering and Measurement, 2011
On the Effectiveness of Contracts as Test Oracles in the Detection and Diagnosis of Race Conditions and Deadlocks in Concurrent Object-Oriented Software.
Proceedings of the 5th International Symposium on Empirical Software Engineering and Measurement, 2011
Proceedings of the Conceptual Modeling - ER 2011, 30th International Conference, 2011
Proceedings of the Advances in Conceptual Modeling. Recent Developments and New Directions - ER 2011 Workshops FP-UML, MoRE-BI, Onto-CoM, SeCoGIS, Variability@ER, WISM, Brussels, Belgium, October 31, 2011
Automated Transition from Use Cases to UML State Machines to Support State-Based Testing.
Proceedings of the Modelling Foundations and Applications - 7th European Conference, 2011
Proceedings of the Modelling Foundations and Applications - 7th European Conference, 2011
Proceedings of the Modelling Foundations and Applications - 7th European Conference, 2011
2010
Solving the Class Responsibility Assignment Problem in Object-Oriented Analysis with Multi-Objective Genetic Algorithms.
IEEE Trans. Software Eng., 2010
A Systematic Review of the Application and Empirical Investigation of Search-Based Test Case Generation.
IEEE Trans. Software Eng., 2010
Softw. Test. Verification Reliab., 2010
A systematic and comprehensive investigation of methods to build and evaluate fault prediction models.
J. Syst. Softw., 2010
Inf. Softw. Technol., 2010
Inf. Softw. Technol., 2010
An enhanced test case selection approach for model-based testing: an industrial case study.
Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2010
Proceedings of the Testing Software and Systems, 2010
Black-Box System Testing of Real-Time Embedded Systems Using Random and Search-Based Testing.
Proceedings of the Testing Software and Systems, 2010
Environment Modeling with UML/MARTE to Support Black-Box System Testing for Real-Time Embedded Systems: Methodology and Industrial Case Studies.
Proceedings of the Model Driven Engineering Languages and Systems, 2010
Proceedings of the Nineteenth International Symposium on Software Testing and Analysis, 2010
An Industrial Investigation of Similarity Measures for Model-Based Test Case Selection.
Proceedings of the IEEE 21st International Symposium on Software Reliability Engineering, 2010
Characterizing the Chain of Evidence for Software Safety Cases: A Conceptual Model Based on the IEC 61508 Standard.
Proceedings of the Third International Conference on Software Testing, 2010
Proceedings of the Modelling Foundations and Applications - 6th European Conference, 2010
Proceedings of the Simula Research Laboratory, by Thinking Constantly about it, 2010
2009
A UML-based quantitative framework for early prediction of resource usage and load in distributed real-time systems.
Softw. Syst. Model., 2009
Inf. Softw. Technol., 2009
Inf. Softw. Technol., 2009
Using machine learning to refine Category-Partition test specifications and test suites.
Inf. Softw. Technol., 2009
A Use Case Modeling Approach to Facilitate the Transition towards Analysis Models: Concepts and Empirical Evaluation.
Proceedings of the Model Driven Engineering Languages and Systems, 2009
Proceedings of the Model Driven Engineering Languages and Systems, 2009
System Engineering in the Energy and Maritime Sectors: Towards a Solution Based on Model-Centric Processes.
Proceedings of the Trustworthy Software Development Processes, 2009
2008
A Realistic Empirical Evaluation of the Costs and Benefits of UML in Software Maintenance.
IEEE Trans. Software Eng., 2008
Traffic-aware stress testing of distributed real-time systems based on UML models using genetic algorithms.
J. Syst. Softw., 2008
Proceedings of the Eighth International Conference on Quality Software, 2008
Proceedings of the Eighth International Conference on Quality Software, 2008
A UML/SPT Model Analysis Methodology for Concurrent Systems Based on Genetic Algorithms.
Proceedings of the Model Driven Engineering Languages and Systems, 2008
Proceedings of the 19th International Symposium on Software Reliability Engineering (ISSRE 2008), 2008
Proceedings of the Twenty-Fourth Annual Computer Security Applications Conference, 2008
2007
Inf. Softw. Technol., 2007
A UML Profile for Developing Airworthiness-Compliant (RTCA DO-178B), Safety-Critical Software.
Proceedings of the Model Driven Engineering Languages and Systems, 2007
Proceedings of the Model Driven Engineering Languages and Systems, 2007
Proceedings of the ISSRE 2007, 2007
Proceedings of the ISSRE 2007, 2007
Proceedings of the 23rd IEEE International Conference on Software Maintenance (ICSM 2007), 2007
Assessing, Comparing, and Combining Statechart- based testing and Structural testing: An Experiment.
Proceedings of the First International Symposium on Empirical Software Engineering and Measurement, 2007
Proceedings of the First International Symposium on Empirical Software Engineering and Measurement, 2007
2006
Toward the Reverse Engineering of UML Sequence Diagrams for Distributed Java Software.
IEEE Trans. Software Eng., 2006
IEEE Trans. Software Eng., 2006
IEEE Trans. Software Eng., 2006
Using genetic algorithms for early schedulability analysis and stress testing in real-time systems.
Genet. Program. Evolvable Mach., 2006
Proceedings of the 13th Working Conference on Reverse Engineering (WCRE 2006), 2006
Analysis and Visualization of Behavioral Dependencies Among Distributed Objects Based on UML Models.
Proceedings of the Model Driven Engineering Languages and Systems, 2006
Proceedings of the Model Driven Engineering Languages and Systems, 2006
Proceedings of the 2006 International Symposium on Empirical Software Engineering (ISESE 2006), 2006
Proceedings of the 22nd IEEE International Conference on Software Maintenance (ICSM 2006), 2006
Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006
Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006
Proceedings of the Empirical Software Engineering Issues. Critical Assessment and Future Directions, 2006
Proceedings of the Empirical Software Engineering Issues. Critical Assessment and Future Directions, 2006
Proceedings of the Empirical Software Engineering Issues. Critical Assessment and Future Directions, 2006
Proceedings of the 22nd Annual Computer Security Applications Conference (ACSAC 2006), 2006
2005
Determining Inspection Cost-Effectiveness by Combining Project Data and Expert Opinion.
IEEE Trans. Software Eng., 2005
IEEE Trans. Software Eng., 2005
Softw. Syst. Model., 2005
Inf. Softw. Technol., 2005
Proceedings of the Satellite Events at the MoDELS 2005 Conference, 2005
Proceedings of the 16th International Symposium on Software Reliability Engineering (ISSRE 2005), 2005
Proceedings of the 21st IEEE International Conference on Software Maintenance (ICSM 2005), 2005
Instrumenting Contracts with Aspect-Oriented Programming to Increase Observability and Support Debugging.
Proceedings of the 21st IEEE International Conference on Software Maintenance (ICSM 2005), 2005
Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), 2005
Proceedings of the Genetic and Evolutionary Computation Conference, 2005
Proceedings of the Model Driven Architecture, 2005
2004
IEEE Trans. Software Eng., 2004
IEEE Trans. Software Eng., 2004
Empirical studies of software testing techniques: challenges, practical strategies, and future research.
ACM SIGSOFT Softw. Eng. Notes, 2004
Using multiple adaptive regression splines to support decision making in code inspections.
J. Syst. Softw., 2004
A Controlled Experiment on the Impact of the Object Constraint Language in UML-Based Development.
Proceedings of the 20th International Conference on Software Maintenance (ICSM 2004), 2004
Using Simulation to Empirically Investigate Test Coverage Criteria Based on Statechart.
Proceedings of the 26th International Conference on Software Engineering (ICSE 2004), 2004
2003
IEEE Trans. Software Eng., 2003
Investigating the use of analysis contracts to improve the testability of object-oriented code.
Softw. Pract. Exp., 2003
Proceedings of the 10th Working Conference on Reverse Engineering, 2003
Proceedings of the «UML» 2003, 2003
A Comprehensive and Systematic Methodology for Client-Server Class Integration Testing.
Proceedings of the 14th International Symposium on Software Reliability Engineering (ISSRE 2003), 2003
Proceedings of the 19th International Conference on Software Maintenance (ICSM 2003), 2003
Proceedings of the 25th International Conference on Software Engineering, 2003
Proceedings of the 7th European Conference on Software Maintenance and Reengineering (CSMR 2003), 2003
2002
Assessing the Applicability of Fault-Proneness Models Across Object-Oriented Software Projects.
IEEE Trans. Software Eng., 2002
IEEE Trans. Software Eng., 2002
Using genetic algorithms and coupling measures to devise optimal integration test orders.
Proceedings of the 14th international conference on Software engineering and knowledge engineering, 2002
Proceedings of the 14th international conference on Software engineering and knowledge engineering, 2002
Investigating the use of analysis contracts to support fault isolation in object oriented code.
Proceedings of the International Symposium on Software Testing and Analysis, 2002
Proceedings of the 13th International Symposium on Software Reliability Engineering (ISSRE 2002), 2002
Proceedings of the 18th International Conference on Software Maintenance (ICSM 2002), 2002
2001
IEEE Trans. Software Eng., 2001
A Controlled Experiment for Evaluating Quality Guidelines on the Maintainability of Object-Oriented Designs.
IEEE Trans. Software Eng., 2001
J. Syst. Softw., 2001
Replicated Case Studies for Investigating Quality Factors in Object-Oriented Designs.
Empir. Softw. Eng., 2001
Proceedings of the 7th IEEE International Software Metrics Symposium (METRICS 2001), 2001
Revisiting Strategies for Ordering Class Integration Testing in the Presence of Dependency Cycles.
Proceedings of the 12th International Symposium on Software Reliability Engineering (ISSRE 2001), 2001
2000
A Comprehensive Evaluation of Capture-Recapture Models for Estimating Software Defect Content.
IEEE Trans. Software Eng., 2000
IEEE Trans. Reliab., 2000
Exploring the relationships between design measures and software quality in object-oriented systems.
J. Syst. Softw., 2000
Assessing the Cost-Effectiveness of Inspections by Combining Project Data and Expert Opinion.
Proceedings of the 11th International Symposium on Software Reliability Engineering (ISSRE 2000), 2000
Proceedings of the 22nd International Conference on on Software Engineering, 2000
1999
IEEE Trans. Software Eng., 1999
IEEE Trans. Software Eng., 1999
Empirical Studies of Object-Oriented Artifacts, Methods, and Processes: State of the Art and Future Directions.
Empir. Softw. Eng., 1999
Proceedings of the 1999 International Conference on Software Maintenance, 1999
Proceedings of the 1999 International Conference on Software Engineering, 1999
Proceedings of the 1999 International Conference on Software Engineering, 1999
Proceedings of the 1999 International Conference on Software Engineering, 1999
1998
J. Softw. Maintenance Res. Pract., 1998
Requirements for the knowledge-based support of software engineering measurement plans.
Knowl. Based Syst., 1998
Empir. Softw. Eng., 1998
Empir. Softw. Eng., 1998
Proceedings of the 5th IEEE International Software Metrics Symposium (METRICS 1998), 1998
A comparison and integration of capture-recapture models and the detection profile method.
Proceedings of the Ninth International Symposium on Software Reliability Engineering, 1998
Proceedings of the Ninth International Symposium on Software Reliability Engineering, 1998
Proceedings of the 1998 International Conference on Software Maintenance, 1998
Proceedings of the 1998 International Conference on Software Maintenance, 1998
Proceedings of the Forging New Links, 1998
COBRA: A Hybrid Method for Software Cost Estimation, Benchmarking, and Risk Assessment.
Proceedings of the Forging New Links, 1998
Proceedings of the Object-Oriented Technology, ECOOP'98 Workshop Reader, 1998
1997
IEEE Trans. Software Eng., 1997
Response to: Comments on "Property-Based Software Engineering Measurement: Refining the Additivity Properties".
IEEE Trans. Software Eng., 1997
J. Syst. Softw., 1997
Process Modelling and Empirical Studies of Software Evolution (PMESSE'97) Workshop Report.
Empir. Softw. Eng., 1997
Reply to ''Comments to the Paper: Briand, El Emam, Morasca: On the Application of Measurement Theory in Software Engineering.
Empir. Softw. Eng., 1997
An Experimental Comparison of the Maintainability of Object-Oriented and Structured Design Documents.
Empir. Softw. Eng., 1997
Proceedings of the 4th IEEE International Software Metrics Symposium (METRICS 1997), 1997
Proceedings of the 4th IEEE International Software Metrics Symposium (METRICS 1997), 1997
Proceedings of the Eighth International Symposium on Software Reliability Engineering, 1997
Proceedings of the Pulling Together, 1997
Software Measurement and Formal Methods: A Case Study Centered on TRIO+ Specifications.
Proceedings of the First IEEE International Conference on Formal Engineering Methods, 1997
An experimental evaluation of quality guidelines on the maintainability of object-oriented design documents.
Proceedings of the Papers presented at the Seventh Workshop on Empirical Studies of Programmers, 1997
1996
Softw. Process. Improv. Pract., December, 1996
Softw. Process. Improv. Pract., December, 1996
IEEE Trans. Software Eng., 1996
Empir. Softw. Eng., 1996
Proceedings of the 18th International Conference on Software Engineering, 1996
1995
Proceedings of the 17th International Conference on Software Engineering, 1995
1994
Proceedings of the International Conference on Software Maintenance, 1994
1993
Developing Interpretable Models with Optimized Set Reduction for Identifying High-Risk Software Components.
IEEE Trans. Software Eng., 1993
Proceedings of the Conference on Software Maintenance, 1993
Proceedings of the 15th International Conference on Software Engineering, 1993
1992
IEEE Trans. Software Eng., 1992
Providing an empirical basis for optimizing the verification and testing phases of software development.
Proceedings of the Third International Symposium on Software Reliability Engineering, 1992
A classification procedure for the effective management of changes during the maintenance process.
Proceedings of the Conference on Software Maintenance, 1992
Quantitative Empirical Modeling for Manageing Software Development: Constraints, Needs and Solutions.
Proceedings of the Experimental Software Engineering Issues: Critical Assessment and Future Directions, 1992