Lionel C. Briand

Dataset, May, 2022

Replication package for "Guidelines for Assessing the Accuracy of Log Message Template Identification Techniques".

[BibT_eX]

[DOI]

Dataset, January, 2022

Automatic Generation of Acceptance Test Cases From Use Case Specifications: An NLP-Based Approach.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2022

Combining Genetic Programming and Model Checking to Generate Environment Assumptions.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2022

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

[BibT_eX]

[DOI]

Oscar Cornejo

IEEE Trans. Software Eng., 2022

Reinforcement Learning for Test Case Prioritization.

[BibT_eX]

[DOI]

Mojtaba Bagherzadeh

Nafiseh Kahani

IEEE Trans. Software Eng., 2022

AI-Enabled Automation for Completeness Checking of Privacy Policies.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2022

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

[BibT_eX]

[DOI]

Chanh Duc Ngo

ACM Trans. Softw. Eng. Methodol., 2022

Automated reverse engineering of role-based access control policies of web applications.

[BibT_eX]

[DOI]

J. Syst. Softw., 2022

PRINS: scalable model inference for component-based system logs.

[BibT_eX]

[DOI]

Donghwan Shin

Empir. Softw. Eng., 2022

Test case selection and prioritization using machine learning: a systematic literature review.

[BibT_eX]

[DOI]

Empir. Softw. Eng., 2022

Optimal priority assignment for real-time systems: a coevolution-based approach.

[BibT_eX]

[DOI]

Empir. Softw. Eng., 2022

Correction to: Can Offline Testing of Deep Neural Networks Replace Their Online Testing?

[BibT_eX]

[DOI]

Empir. Softw. Eng., 2022

Reflections on the Empirical Software Engineering journal.

[BibT_eX]

[DOI]

Empir. Softw. Eng., 2022

Simulator-based explanation and debugging of hazard-triggering events in DNN-based safety-critical systems.

[BibT_eX]

[DOI]

Hazem M. Fahmy

CoRR, 2022

A Machine Learning Approach for Automated Filling of Data Entry Forms.

[BibT_eX]

[DOI]

CoRR, 2022

COREQQA: a COmpliance REQuirements understanding using question answering tool.

[BibT_eX]

[DOI]

Sallam Abualhaija

Chetan Arora

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.

[BibT_eX]

[DOI]

Proceedings of the 30th IEEE International Requirements Engineering Conference, 2022

ATUA: an update-driven app testing tool.

[BibT_eX]

[DOI]

Chanh Duc Ngo

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Fitash Ul Haq

Donghwan Shin

Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

HUDD: A tool to debug DNNs for safety analysis.

[BibT_eX]

[DOI]

Hazem M. Fahmy

Proceedings of the 44th IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2022

MASS: A tool for Mutation Analysis of Space CPS.

[BibT_eX]

[DOI]

Oscar Cornejo

Proceedings of the 44th IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2022

2021

Metamorphic Security Testing for Web Systems.

[BibT_eX]

[DOI]

Dataset, May, 2021

Metamorphic Security Testing for Web Systems.

[BibT_eX]

[DOI]

Dataset, May, 2021

Metamorphic Security Testing for Web Systems.

[BibT_eX]

[DOI]

Dataset, May, 2021

Metamorphic Security Testing for Web Systems.

[BibT_eX]

[DOI]

Dataset, May, 2021

Supporting DNN Safety Analysis and Retraining through Heatmap-based Unsupervised Learning.

[BibT_eX]

[DOI]

Dataset, April, 2021

Supporting DNN Safety Analysis and Retraining through Heatmap-based Unsupervised Learning.

[BibT_eX]

[DOI]

Dataset, April, 2021

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

[BibT_eX]

[DOI]

IEEE Trans. Reliab., 2021

Modeling data protection and privacy: application and experience with GDPR.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2021

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

[BibT_eX]

[DOI]

J. Syst. Softw., 2021

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

[BibT_eX]

[DOI]

J. Syst. Softw., 2021

On systematically building a controlled natural language for functional requirements.

[BibT_eX]

[DOI]

Empir. Softw. Eng., 2021

An automated framework for the extraction of semantic legal metadata from legal texts.

[BibT_eX]

[DOI]

Empir. Softw. Eng., 2021

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

[BibT_eX]

[DOI]

Empir. Softw. Eng., 2021

An AI-based Approach for Tracing Content Requirements in Financial Documents.

[BibT_eX]

[DOI]

Xiaochen Li

CoRR, 2021

A Theoretical Framework for Understanding the Relationship Between Log Parsing and Anomaly Detection.

[BibT_eX]

[DOI]

Proceedings of the Runtime Verification - 21st International Conference, 2021

A Model-based Conceptualization of Requirements for Compliance Checking of Data Processing against GDPR.

[BibT_eX]

[DOI]

Proceedings of the 29th IEEE International Requirements Engineering Conference Workshops, 2021

Log-based slicing for system-level test cases.

[BibT_eX]

[DOI]

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).

[BibT_eX]

[DOI]

Proceedings of the ISSTA '21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2021

ThEodorE: a Trace Checker for CPS Properties.

[BibT_eX]

[DOI]

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2021

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

[BibT_eX]

[DOI]

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering, 2021

MAANA: An Automated Tool for DoMAin-Specific HANdling of Ambiguity.

[BibT_eX]

[DOI]

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2021

Using Domain-specific Corpora for Improved Handling of Ambiguity in Requirements.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2020

Practical Constraint Solving for Generating System Test Data.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2020

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

[BibT_eX]

[DOI]

Empir. Softw. Eng., 2020

Using machine learning to assist with the selection of security controls during security assessment.

[BibT_eX]

[DOI]

Empir. Softw. Eng., 2020

An experimental scrutiny of visual design modelling: VCL up against UML+OCL.

[BibT_eX]

[DOI]

Nuno Amálio

Pierre Kelsen

Empir. Softw. Eng., 2020

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

[BibT_eX]

[DOI]

Empir. Softw. Eng., 2020

Automatic Test Suite Generation for Key-points Detection DNNs Using Many-Objective Search.

[BibT_eX]

[DOI]

CoRR, 2020

Model Driven Engineering for Data Protection and Privacy: Application and Experience with GDPR.

[BibT_eX]

[DOI]

CoRR, 2020

Schedulability Analysis of Real-Time Systems with Uncertain Worst-Case Execution Times.

[BibT_eX]

[DOI]

CoRR, 2020

Effective Removal of Operational Log Messages: an Application to Model Inference.

[BibT_eX]

[DOI]

Donghwan Shin

CoRR, 2020

Supporting DNN Safety Analysis and Retraining through Heatmap-based Unsupervised Learning.

[BibT_eX]

[DOI]

CoRR, 2020

Mining assumptions for software components using machine learning.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 28th IEEE International Requirements Engineering Conference, 2020

Automated Recommendation of Templates for Legal Requirements.

[BibT_eX]

[DOI]

Proceedings of the 28th IEEE International Requirements Engineering Conference, 2020

Leveraging natural-language requirements for deriving better acceptance criteria from models.

[BibT_eX]

[DOI]

Proceedings of the MoDELS '20: ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems, 2020

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

[BibT_eX]

[DOI]

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

Automated repair of feature interaction failures in automated driving systems.

[BibT_eX]

[DOI]

Proceedings of the ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2020

Metamorphic Security Testing for Web Systems.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE International Conference on Software Testing, 2020

Can We Predict the Quality of Spectrum-based Fault Localization?

[BibT_eX]

[DOI]

Mojdeh Golagha

Alexander Pretschner

Proceedings of the 13th IEEE International Conference on Software Testing, 2020

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

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

SMRL: a metamorphic security testing tool for web systems.

[BibT_eX]

[DOI]

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Companion Volume, Seoul, South Korea, 27 June, 2020

2019

Test Generation and Test Prioritization for Simulink Models with Dynamic Behavior.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2019

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

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2019

Oracles for Testing Software Timeliness with Uncertainty.

[BibT_eX]

[DOI]

Chunhui Wang

ACM Trans. Softw. Eng. Methodol., 2019

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

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2019

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

[BibT_eX]

[DOI]

Chaima Boufaied

J. Object Technol., 2019

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

[BibT_eX]

[DOI]

Empir. Softw. Eng., 2019

Correction to: Search-based multi-vulnerability testing of XML injections in web applications.

[BibT_eX]

[DOI]

Empir. Softw. Eng., 2019

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

[BibT_eX]

[DOI]

Empir. Softw. Eng., 2019

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

[BibT_eX]

[DOI]

Chetan Arora

Empir. Softw. Eng., 2019

Signal-Based Properties: Taxonomy and Logic-based Characterization.

[BibT_eX]

[DOI]

CoRR, 2019

Scalable Inference of System-level Models from Component Logs.

[BibT_eX]

[DOI]

CoRR, 2019

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

[BibT_eX]

[DOI]

CoRR, 2019

Dynamic Adaptive Network Configuration for IoT Systems: A Search-based Approach.

[BibT_eX]

[DOI]

CoRR, 2019

Automating Test Case Classification and Prioritization for Use Case-Driven Testing in Product Lines.

[BibT_eX]

[DOI]

CoRR, 2019

Practical Model-driven Data Generation for System Testing.

[BibT_eX]

[DOI]

CoRR, 2019

Evaluating model testing and model checking for finding requirements violations in Simulink models.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

Decision Support for Security-Control Identification Using Machine Learning.

[BibT_eX]

[DOI]

Proceedings of the Requirements Engineering: Foundation for Software Quality, 2019

A Query System for Extracting Requirements-Related Information from Legal Texts.

[BibT_eX]

[DOI]

Proceedings of the 27th IEEE International Requirements Engineering Conference, 2019

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

[BibT_eX]

[DOI]

Proceedings of the 27th IEEE International Requirements Engineering Conference, 2019

Using Models to Enable Compliance Checking Against the GDPR: An Experience Report.

[BibT_eX]

[DOI]

Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2019

Bridging the Gap between Requirements Modeling and Behavior-Driven Development.

[BibT_eX]

[DOI]

Jean-Richard Riccardi

Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2019

MCP: a security testing tool driven by requirements.

[BibT_eX]

[DOI]

Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings, 2019

2018

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

[BibT_eX]

[DOI]

IEEE Trans. Reliab., 2018

Model-based simulation of legal policies: framework, tool support, and validation.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2018

Configuring use case models in product families.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2018

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

[BibT_eX]

[DOI]

IEEE Softw., 2018

Security slicing for auditing common injection vulnerabilities.

[BibT_eX]

[DOI]

J. Syst. Softw., 2018

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

[BibT_eX]

[DOI]

J. Syst. Softw., 2018

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

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2018

Automated Extraction of Semantic Legal Metadata using Natural Language Processing.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2018

Enabling Model Testing of Cyber-Physical Systems.

[BibT_eX]

[DOI]

Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2018

Model-Driven Trace Diagnostics for Pattern-based Temporal Specifications.

[BibT_eX]

[DOI]

Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2018

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

[BibT_eX]

[DOI]

Ameni Ben Fadhel

Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

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

[BibT_eX]

[DOI]

Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

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

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2018

A Natural Language Programming Approach for Requirements-Based Security Testing.

[BibT_eX]

[DOI]

Proceedings of the 29th IEEE International Symposium on Software Reliability Engineering, 2018

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

[BibT_eX]

[DOI]

Chunhui Wang

Proceedings of the 11th IEEE International Conference on Software Testing, 2018

Testing vision-based control systems using learnable evolutionary algorithms.

[BibT_eX]

[DOI]

Proceedings of the 40th International Conference on Software Engineering, 2018

2017

Automated Extraction and Clustering of Requirements Glossary Terms.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2017

Augmenting Field Data for Testing Systems Subject to Incremental Requirements Changes.

[BibT_eX]

[DOI]

Daniel Di Nardo

ACM Trans. Softw. Eng. Methodol., 2017

The Case for Context-Driven Software Engineering Research: Generalizability Is Overrated.

[BibT_eX]

[DOI]

IEEE Softw., 2017

An automated framework for detection and resolution of cross references in legal texts.

[BibT_eX]

[DOI]

Requir. Eng., 2017

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

[BibT_eX]

[DOI]

Proceedings of the IEEE 24th International Conference on Software Analysis, 2017

JoanAudit: a tool for auditing common injection vulnerabilities.

[BibT_eX]

[DOI]

Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

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

[BibT_eX]

[DOI]

Reza Matinnejad

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.

[BibT_eX]

[DOI]

Proceedings of the RV-CuBES 2017. An International Workshop on Competitions, 2017

Incremental Reconfiguration of Product Specific Use Case Models for Evolving Configuration Decisions.

[BibT_eX]

[DOI]

Proceedings of the Requirements Engineering: Foundation for Software Quality, 2017

A Change Management Approach in Product Lines for Use Case-Driven Development and Testing.

[BibT_eX]

[DOI]

Ines Hajri

Arda Goknil

Proceedings of the Joint Proceedings of REFSQ-2017 Workshops, 2017

From RELAW Research to Practice: Reflections on an Ongoing Technology Transfer Project.

[BibT_eX]

[DOI]

Nicolas Sannier

Proceedings of the IEEE 25th International Requirements Engineering Conference Workshops, 2017

Legal Markup Generation in the Large: An Experience Report.

[BibT_eX]

[DOI]

Proceedings of the 25th IEEE International Requirements Engineering Conference, 2017

A Model-Driven Approach to Trace Checking of Pattern-Based Temporal Properties.

[BibT_eX]

[DOI]

Proceedings of the 20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2017

Synthetic data generation for statistical testing.

[BibT_eX]

[DOI]

Proceedings of the 32nd IEEE/ACM International Conference on Automated Software Engineering, 2017

Automatically Repairing Web Application Firewalls Based on Successful SQL Injection Attacks.

[BibT_eX]

[DOI]

Dennis Appelt

Annibale Panichella

Proceedings of the 28th IEEE International Symposium on Software Reliability Engineering, 2017

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

[BibT_eX]

[DOI]

Chunhui Wang

Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

A Search-Based Testing Approach for XML Injection Vulnerabilities in Web Applications.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

Search-driven string constraint solving for vulnerability detection.

[BibT_eX]

[DOI]

Proceedings of the 39th International Conference on Software Engineering, 2017

2016

Clustering Deviations for Black Box Regression Testing of Database Applications.

[BibT_eX]

[DOI]

Erik Rogstad

IEEE Trans. Reliab., 2016

Simulink fault localization: an iterative statistical debugging approach.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 2016

Cost-effective strategies for the regression testing of database applications: Case study and lessons learned.

[BibT_eX]

[DOI]

Erik Rogstad

J. Syst. Softw., 2016

Localizing Multiple Faults in Simulink Models.

[BibT_eX]

[DOI]

Proceedings of the IEEE 23rd International Conference on Software Analysis, 2016

Automated change impact analysis between SysML models of requirements and design.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Ameni Ben Fadhel

Proceedings of the 21st ACM on Symposium on Access Control Models and Technologies, 2016

Automated Classification of Legal Cross References Based on Semantic Intent.

[BibT_eX]

[DOI]

Proceedings of the Requirements Engineering: Foundation for Software Quality, 2016

Model-Based Simulation of Legal Requirements: Experience from Tax Policy Simulation.

[BibT_eX]

[DOI]

Proceedings of the 24th IEEE International Requirements Engineering Conference, 2016

Making Model-Driven Verification Practical and Scalable - Experiences and Lessons Learned.

[BibT_eX]

Proceedings of the MODELSWARD 2016, 2016

Extracting domain models from natural-language requirements: approach and industrial evaluation.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering, 2016

Automated and effective testing of web services for XML injection attacks.

[BibT_eX]

[DOI]

Sadeeq Jan

Cu D. Nguyen

Proceedings of the 25th International Symposium on Software Testing and Analysis, 2016

SimCoTest: a test suite generation tool for simulink/stateflow controllers.

[BibT_eX]

[DOI]

Proceedings of the 38th International Conference on Software Engineering, 2016

Automated test suite generation for time-continuous simulink models.

[BibT_eX]

[DOI]

Proceedings of the 38th International Conference on Software Engineering, 2016

Testing the untestable: model testing of complex software-intensive systems.

[BibT_eX]

[DOI]

Proceedings of the 38th International Conference on Software Engineering, 2016

A Model-driven Approach to Representing and Checking RBAC Contextual Policies.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2015

aToucan: An Automated Framework to Derive UML Analysis Models from Use Case Models.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2015

Combining Genetic Algorithms and Constraint Programming to Support Stress Testing of Task Deadlines.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2015

Web Application Vulnerability Prediction Using Hybrid Program Analysis and Machine Learning.

[BibT_eX]

[DOI]

Hee Beng Kuan Tan

IEEE Trans. Dependable Secur. Comput., 2015

Coverage-based regression test case selection, minimization and prioritization: a case study on an industrial system.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 2015

Applying UML/MARTE on industrial projects: challenges, experiences, and guidelines.

[BibT_eX]

[DOI]

Muhammad Zohaib Iqbal

Softw. Syst. Model., 2015

Environment modeling and simulation for automated testing of soft real-time embedded software.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2015

VPML: an approach to detect design patterns of MOF-based modeling languages.

[BibT_eX]

[DOI]

Maged Elaasar

Softw. Syst. Model., 2015

A comprehensive modeling framework for role-based access control policies.

[BibT_eX]

[DOI]

Ameni Ben Fadhel

J. Syst. Softw., 2015

Search-based automated testing of continuous controllers: Framework, tool support, and case studies.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2015

UMTG: a toolset to automatically generate system test cases from use case specifications.

[BibT_eX]

[DOI]

Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015

Effective test suites for mixed discrete-continuous stateflow controllers.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015

Automated Inference of Access Control Policies for Web Applications.

[BibT_eX]

[DOI]

Proceedings of the 20th ACM Symposium on Access Control Models and Technologies, 2015

Change impact analysis for Natural Language requirements: An NLP approach.

[BibT_eX]

[DOI]

Proceedings of the 23rd IEEE International Requirements Engineering Conference, 2015

Known XML Vulnerabilities Are Still a Threat to Popular Parsers and Open Source Systems.

[BibT_eX]

[DOI]

Sadeeq Jan

Cu D. Nguyen

Proceedings of the 2015 IEEE International Conference on Software Quality, 2015

A model-based framework for probabilistic simulation of legal policies.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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).

[BibT_eX]

[DOI]

Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015

Automatic generation of system test cases from use case specifications.

[BibT_eX]

[DOI]

Proceedings of the 2015 International Symposium on Software Testing and Analysis, 2015

Security slicing for auditing XML, XPath, and SQL injection vulnerabilities.

[BibT_eX]

[DOI]

Julian Thomé

Proceedings of the 26th IEEE International Symposium on Software Reliability Engineering, 2015

Generating Complex and Faulty Test Data through Model-Based Mutation Analysis.

[BibT_eX]

[DOI]

Daniel Di Nardo

Proceedings of the 8th IEEE International Conference on Software Testing, 2015

Behind an Application Firewall, Are We Safe from SQL Injection Attacks?

[BibT_eX]

[DOI]

Dennis Appelt

Cu Duy Nguyen

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.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2014

Traceability and SysML design slices to support safety inspections: A controlled experiment.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2014

Architecture-Level Configuration of Large-Scale Embedded Software Systems.

[BibT_eX]

[DOI]

Razieh Behjati

ACM Trans. Softw. Eng. Methodol., 2014

A Hitchhiker's guide to statistical tests for assessing randomized algorithms in software engineering.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 2014

Does aspect-oriented modeling help improve the readability of UML state machines?

[BibT_eX]

[DOI]

Softw. Syst. Model., 2014

An extended systematic literature review on provision of evidence for safety certification.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2014

Empirical evaluations on the cost-effectiveness of state-based testing: An industrial case study.

[BibT_eX]

[DOI]

Nina Elisabeth Holt

Richard Torkar

Inf. Softw. Technol., 2014

Revisiting Model-Driven Engineering for Run-Time Verification of Business Processes.

[BibT_eX]

[DOI]

Proceedings of the System Analysis and Modeling: Models and Reusability, 2014

Requirement boilerplates: Transition from manually-enforced to automatically-verifiable natural language patterns.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Morayo Adedjouma

Proceedings of the IEEE 22nd International Requirements Engineering Conference, 2014

Model-Based Testing of Obligations.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Model-Driven Engineering Languages and Systems, 2014

CoCoTest: a tool for model-in-the-loop testing of continuous controllers.

[BibT_eX]

[DOI]

Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014

MiL testing of highly configurable continuous controllers: scalable search using surrogate models.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Software Testing and Analysis, 2014

Automated testing for SQL injection vulnerabilities: an input mutation approach.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Software Testing and Analysis, 2014

Improving requirements glossary construction via clustering: approach and industrial case studies.

[BibT_eX]

[DOI]

Proceedings of the 2014 ACM-IEEE International Symposium on Empirical Software Engineering and Measurement, 2014

OCLR: A More Expressive, Pattern-Based Temporal Extension of OCL.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Principles and Practice of Constraint Programming, 2014

2013

Generating Test Data from OCL Constraints with Search Techniques.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2013

Facilitating the transition from use case models to analysis models: Approach and experiments.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2013

Achieving scalable model-based testing through test case diversity.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2013

The value of design rationale information.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2013

A goal-based approach for qualification of new technologies: Foundations, tool support, and industrial validation.

[BibT_eX]

[DOI]

Reliab. Eng. Syst. Saf., 2013

Test case selection for black-box regression testing of database applications.

[BibT_eX]

[DOI]

Erik Rogstad

Richard Torkar

Inf. Softw. Technol., 2013

Supporting the verification of compliance to safety standards via model-driven engineering: Approach, tool-support and empirical validation.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2013

Guest Editorial: Special section of the best papers from the 2nd International Symposium on Search Based Software Engineering 2010.

[BibT_eX]

[DOI]

John A. Clark

Inf. Softw. Technol., 2013

SimPL: A product-line modeling methodology for families of integrated control systems.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2013

Automated Model-in-the-Loop Testing of Continuous Controllers Using Search.

[BibT_eX]

[DOI]

Proceedings of the Search Based Software Engineering - 5th International Symposium, 2013

A Multi-objective Genetic Algorithm to Rank State-Based Test Cases.

[BibT_eX]

[DOI]

Kathy Chen

Proceedings of the Search Based Software Engineering - 5th International Symposium, 2013

RUBRIC: a flexible tool for automated checking of conformance to requirement boilerplates.

[BibT_eX]

[DOI]

Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013

Assessing the Impact of Firewalls and Database Proxies on SQL Injection Testing.

[BibT_eX]

[DOI]

Dennis Appelt

Nadia Alshahwan

Proceedings of the Future Internet Testing - First International Workshop, 2013

Tackling Model-Based Software Testing and Verification as a Search Problem.

[BibT_eX]

[DOI]

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

Minimizing CPU time shortage risks in integrated embedded software.

[BibT_eX]

[DOI]

Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013

Model based test validation and oracles for data acquisition systems.

[BibT_eX]

[DOI]

Tomislav Nakic-Alfirevic

Vincent Masquelier

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.

[BibT_eX]

[DOI]

Mahinthan Chandramohan

Hee Beng Kuan Tan

Bindu Madhavi Padmanabhuni

Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013

Stress testing of task deadlines: A constraint programming approach.

[BibT_eX]

[DOI]

Proceedings of the IEEE 24th International Symposium on Software Reliability Engineering, 2013

Coverage-Based Test Case Prioritisation: An Industrial Case Study.

[BibT_eX]

[DOI]

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

Classification, Structuring, and Assessment of Evidence for Safety - A Systematic Literature Review.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

Mining SQL injection and cross site scripting vulnerabilities using hybrid program analysis.

[BibT_eX]

[DOI]

Hee Beng Kuan Tan

Proceedings of the 35th International Conference on Software Engineering, 2013

Automatic Checking of Conformance to Requirement Boilerplates via Text Chunking: An Industrial Case Study.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2012

Random Testing: Theoretical Results and Practical Implications.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2012

Formal Analysis of the Probability of Interaction Fault Detection Using Random Testing.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2012

A Precise Method-Method Interaction-Based Cohesion Metric for Object-Oriented Classes.

[BibT_eX]

[DOI]

Jehad Al-Dallal

ACM Trans. Softw. Eng. Methodol., 2012

Modeling robustness behavior using aspect-oriented modeling to support robustness testing of industrial systems.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2012

Planning for Safety Standards Compliance: A Model-Based Tool-Supported Approach.

[BibT_eX]

[DOI]

IEEE Softw., 2012

Embracing the Engineering Side of Software Engineering.

[BibT_eX]

[DOI]

IEEE Softw., 2012

A SysML-based approach to traceability management and design slicing in support of safety certification: Framework, tool support, and case studies.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2012

µTIL: Mutation-based Statistical Test Inputs Generation for Automatic Fault Localization.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Multicore Software Engineering, Performance, and Tools, 2012

Automatic selection of test execution plans from a video conferencing system product line.

[BibT_eX]

[DOI]

Proceedings of the VARiability for You Workshop, 2012

Modeling and Analysis of CPU Usage in Safety-Critical Embedded Systems to Support Stress Testing.

[BibT_eX]

[DOI]

Proceedings of the Model Driven Engineering Languages and Systems, 2012

Experiences of Applying UML/MARTE on Three Industrial Projects.

[BibT_eX]

[DOI]

Proceedings of the Model Driven Engineering Languages and Systems, 2012

Research-Based Innovation: A Tale of Three Projects in Model-Driven Engineering.

[BibT_eX]

[DOI]

Proceedings of the Model Driven Engineering Languages and Systems, 2012

A Modeling Approach to Support the Similarity-Based Reuse of Configuration Data.

[BibT_eX]

[DOI]

Razieh Behjati

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Proceeding of the 5th Annual India Software Engineering Conference, 2012

Testing Deadline Misses for Real-Time Systems Using Constraint Optimization Techniques.

[BibT_eX]

[DOI]

Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

Combining UML Sequence and State Machine Diagrams for Data-Flow Based Integration Testing.

[BibT_eX]

[DOI]

Yanhua Liu

Proceedings of the Modelling Foundations and Applications - 8th European Conference, 2012

Model-Based Automated and Guided Configuration of Embedded Software Systems.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Samar Mouchawrab

IEEE Trans. Software Eng., 2011

Modeling safety and airworthiness (RTCA DO-178B) information: conceptual model and UML profile.

[BibT_eX]

[DOI]

Gregory Zoughbi

Softw. Syst. Model., 2011

A systematic review of transformation approaches between user requirements and analysis models.

[BibT_eX]

[DOI]

Requir. Eng., 2011

Automating image segmentation verification and validation by learning test oracles.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2011

Conducting and Analyzing Empirical Studies in Search-Based Software Engineering.

[BibT_eX]

[DOI]

Proceedings of the Search Based Software Engineering - Third International Symposium, 2011

SafeSlice: a model slicing and design safety inspection tool for SysML.

[BibT_eX]

[DOI]

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

A Search-Based OCL Constraint Solver for Model-Based Test Data Generation.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Model Driven Engineering Languages and Systems, 2011

Adaptive random testing: an illusion of effectiveness?

[BibT_eX]

[DOI]

Proceedings of the 20th International Symposium on Software Testing and Analysis, 2011

Using Model-Driven Engineering for Managing Safety Evidence: Challenges, Vision and Experience.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Fourth IEEE International Conference on Software Testing, 2011

Industrial experiences with automated regression testing of a legacy database application.

[BibT_eX]

[DOI]

Proceedings of the IEEE 27th International Conference on Software Maintenance, 2011

Useful software engineering research - leading a double-agent life.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the 33rd International Conference on Software Engineering, 2011

Enabling the runtime assertion checking of concurrent contracts for the Java modeling language.

[BibT_eX]

[DOI]

Proceedings of the 33rd International Conference on Software Engineering, 2011

Using SysML for Modeling of Safety-Critical Software-Hardware Interfaces: Guidelines and Industry Experience.

[BibT_eX]

[DOI]

Anne-Heidi Evensen Mills

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Reymes Madrazo-Rivera

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.

[BibT_eX]

[DOI]

Proceedings of the 5th International Symposium on Empirical Software Engineering and Measurement, 2011

Using UML Profiles for Sector-Specific Tailoring of Safety Evidence Information.

[BibT_eX]

[DOI]

Proceedings of the Conceptual Modeling - ER 2011, 30th International Conference, 2011

CRESCO: Construction of Evidence Repositories for Managing Standards Compliance.

[BibT_eX]

[DOI]

Torbjørn Skyberg Knutsen

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.

[BibT_eX]

[DOI]

Proceedings of the Modelling Foundations and Applications - 7th European Conference, 2011

Domain-Specific Model Verification with QVT.

[BibT_eX]

[DOI]

Maged Elaasar

Proceedings of the Modelling Foundations and Applications - 7th European Conference, 2011

Extending SysML with AADL Concepts for Comprehensive System Architecture Modeling.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Michael Bowman

IEEE Trans. Software Eng., 2010

A Systematic Review of the Application and Empirical Investigation of Search-Based Test Case Generation.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2010

Improving the coverage criteria of UML state machines using data flow analysis.

[BibT_eX]

[DOI]

Q. Lin

Softw. Test. Verification Reliab., 2010

A systematic and comprehensive investigation of methods to build and evaluate fault prediction models.

[BibT_eX]

[DOI]

Eivind B. Johannessen

J. Syst. Softw., 2010

Investigating the impact of a measurement program on software quality.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2010

An object-oriented high-level design-based class cohesion metric.

[BibT_eX]

[DOI]

Jehad Al-Dallal

Inf. Softw. Technol., 2010

An enhanced test case selection approach for model-based testing: an industrial case study.

[BibT_eX]

[DOI]

Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2010

Reducing the Cost of Model-Based Testing through Test Case Diversity.

[BibT_eX]

[DOI]

Proceedings of the Testing Software and Systems, 2010

Black-Box System Testing of Real-Time Embedded Systems Using Random and Search-Based Testing.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Model Driven Engineering Languages and Systems, 2010

Formal analysis of the effectiveness and predictability of random testing.

[BibT_eX]

[DOI]

Proceedings of the Nineteenth International Symposium on Software Testing and Analysis, 2010

An Industrial Investigation of Similarity Measures for Model-Based Test Case Selection.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Thierry Coq

Proceedings of the Third International Conference on Software Testing, 2010

An Automated Approach to Transform Use Cases into Activity Diagrams.

[BibT_eX]

[DOI]

Proceedings of the Modelling Foundations and Applications - 6th European Conference, 2010

Software Verification - A Scalable, Model-Driven, Empirically Grounded Approach.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2009

Automated traceability analysis for UML model refinements.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2009

Automating regression test selection based on UML designs.

[BibT_eX]

[DOI]

S. He

Inf. Softw. Technol., 2009

Using machine learning to refine Category-Partition test specifications and test suites.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2009

A Use Case Modeling Approach to Facilitate the Transition towards Analysis Models: Concepts and Empirical Evaluation.

[BibT_eX]

[DOI]

Proceedings of the Model Driven Engineering Languages and Systems, 2009

A UML/MARTE Model Analysis Method for Detection of Data Races in Concurrent Systems.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Trustworthy Software Development Processes, 2009

2008

A Realistic Empirical Evaluation of the Costs and Benefits of UML in Software Maintenance.

[BibT_eX]

[DOI]

Wojciech J. Dzidek

IEEE Trans. Software Eng., 2008

Traffic-aware stress testing of distributed real-time systems based on UML models using genetic algorithms.

[BibT_eX]

[DOI]

J. Syst. Softw., 2008

Using Machine Learning to Refine Black-Box Test Specifications and Test Suites.

[BibT_eX]

[DOI]

Zaheer Bawar

Proceedings of the Eighth International Conference on Quality Software, 2008

Novel Applications of Machine Learning in Software Testing.

[BibT_eX]

[DOI]

Proceedings of the Eighth International Conference on Quality Software, 2008

A UML/SPT Model Analysis Methodology for Concurrent Systems Based on Genetic Algorithms.

[BibT_eX]

[DOI]

Proceedings of the Model Driven Engineering Languages and Systems, 2008

Concurrent Contracts for Java in JML.

[BibT_eX]

[DOI]

Proceedings of the 19th International Symposium on Software Reliability Engineering (ISSRE 2008), 2008

Toward Automatic Generation of Intrusion Detection Verification Rules.

[BibT_eX]

[DOI]

Frédéric Massicotte

Proceedings of the Twenty-Fourth Annual Computer Security Applications Conference, 2008

2007

Guest editorial.

[BibT_eX]

[DOI]

Geri Georg

Softw. Syst. Model., 2007

A state-based approach to integration testing based on UML models.

[BibT_eX]

[DOI]

Muhammad Jaffar-Ur Rehman

Hajra Asghar

Aamer Nadeem

Inf. Softw. Technol., 2007

A UML Profile for Developing Airworthiness-Compliant (RTCA DO-178B), Safety-Critical Software.

[BibT_eX]

[DOI]

Gregory Zoughbi

Proceedings of the Model Driven Engineering Languages and Systems, 2007

Model-Driven, Network-Context Sensitive Intrusion Detection.

[BibT_eX]

[DOI]

Proceedings of the Model Driven Engineering Languages and Systems, 2007

Using Machine Learning to Support Debugging with Tarantula.

[BibT_eX]

[DOI]

Xuetao Liu

Proceedings of the ISSRE 2007, 2007

Data Mining Techniques for Building Fault-proneness Models in Telecom Java Software.

[BibT_eX]

[DOI]

Magnus Fuglerud

Proceedings of the ISSRE 2007, 2007

Multi-Objective Genetic Algorithm to Support Class Responsibility Assignment.

[BibT_eX]

[DOI]

Michael Bowman

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.

[BibT_eX]

[DOI]

Samar Mouchawrab

Proceedings of the First International Symposium on Empirical Software Engineering and Measurement, 2007

A Critical Analysis of Empirical Research in Software Testing.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Johanne Leduc

IEEE Trans. Software Eng., 2006

The Impact of UML Documentation on Software Maintenance: An Experimental Evaluation.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2006

Using Mutation Analysis for Assessing and Comparing Testing Coverage Criteria.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2006

Automated impact analysis of UML models.

[BibT_eX]

[DOI]

J. Syst. Softw., 2006

Using genetic algorithms for early schedulability analysis and stress testing in real-time systems.

[BibT_eX]

[DOI]

Genet. Program. Evolvable Mach., 2006

The Experimental Paradigm in Reverse Engineering: Role, Challenges, and Limitations.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Model Driven Engineering Languages and Systems, 2006

A Metamodeling Approach to Pattern Specification.

[BibT_eX]

[DOI]

Maged Elaasar

Proceedings of the Model Driven Engineering Languages and Systems, 2006

Predicting fault-prone components in a java legacy system.

[BibT_eX]

[DOI]

Proceedings of the 2006 International Symposium on Empirical Software Engineering (ISESE 2006), 2006

Guiding the Application of Design Patterns Based on UML Models.

[BibT_eX]

[DOI]

Alexandre Sauve

Proceedings of the 22nd IEEE International Conference on Software Maintenance (ICSM 2006), 2006

Traffic-aware stress testing of distributed systems based on UML models.

[BibT_eX]

[DOI]

Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

Automated, contract-based user testing of commercial-off-the-shelf components.

[BibT_eX]

[DOI]

Michal M. Sówka

Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

The Role of Controlled Experiments <i>Working Group Results</i>.

[BibT_eX]

[DOI]

Andreas Jedlitschka

Proceedings of the Empirical Software Engineering Issues. Critical Assessment and Future Directions, 2006

Roadmapping <i>Working Group 2 Results</i>.

[BibT_eX]

[DOI]

Marcus Ciolkowski

Proceedings of the Empirical Software Engineering Issues. Critical Assessment and Future Directions, 2006

Empirical Evaluation in Software Engineering: Role, Strategy, and Limitations.

[BibT_eX]

[DOI]

Proceedings of the Empirical Software Engineering Issues. Critical Assessment and Future Directions, 2006

Automatic Evaluation of Intrusion Detection Systems.

[BibT_eX]

[DOI]

Proceedings of the 22nd Annual Computer Security Applications Conference (ACSAC 2006), 2006

2005

Determining Inspection Cost-Effectiveness by Combining Project Data and Expert Opinion.

[BibT_eX]

[DOI]

Ferdinand Vollei

IEEE Trans. Software Eng., 2005

An Experimental Investigation of Formality in UML-Based Development.

[BibT_eX]

[DOI]

Han (Daphne) Yan-Bondoc

IEEE Trans. Software Eng., 2005

Automated support for deriving test requirements from UML statecharts.

[BibT_eX]

[DOI]

Jim Cui

Softw. Syst. Model., 2005

A measurement framework for object-oriented software testability.

[BibT_eX]

[DOI]

Samar Mouchawrab

Inf. Softw. Technol., 2005

In this Issue.

[BibT_eX]

[DOI]

Empir. Softw. Eng., 2005

Lessons Learned from Developing a Dynamic OCL Constraint Enforcement Tool for Java.

[BibT_eX]

[DOI]

Wojciech J. Dzidek

Proceedings of the Satellite Events at the MoDELS 2005 Conference, 2005

Improving Statechart Testing Criteria Using Data Flow Information.

[BibT_eX]

[DOI]

Q. Lin

Proceedings of the 16th International Symposium on Software Reliability Engineering (ISSRE 2005), 2005

Tracing Distributed Systems Executions Using AspectJ.

[BibT_eX]

[DOI]

Johanne Leduc

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.

[BibT_eX]

[DOI]

Wojciech J. Dzidek

Proceedings of the 21st IEEE International Conference on Software Maintenance (ICSM 2005), 2005

Is mutation an appropriate tool for testing experiments?

[BibT_eX]

[DOI]

James H. Andrews

Proceedings of the 27th International Conference on Software Engineering (ICSE 2005), 2005

Stress testing real-time systems with genetic algorithms.

[BibT_eX]

[DOI]

Proceedings of the Genetic and Evolutionary Computation Conference, 2005

Control Flow Analysis of UML 2.0 Sequence Diagrams.

[BibT_eX]

[DOI]

Proceedings of the Model Driven Architecture, 2005

2004

Assessing and Improving State-Based Class Testing: A Series of Experiments.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2004

Dynamic Coupling Measurement for Object-Oriented Software.

[BibT_eX]

[DOI]

Audun Føyen

IEEE Trans. Software Eng., 2004

Empirical studies of software testing techniques: challenges, practical strategies, and future research.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 2004

Using multiple adaptive regression splines to support decision making in code inspections.

[BibT_eX]

[DOI]

Ferdinand Vollei

J. Syst. Softw., 2004

A Controlled Experiment on the Impact of the Object Constraint Language in UML-Based Development.

[BibT_eX]

[DOI]

H.-D. Yan

Proceedings of the 20th International Conference on Software Maintenance (ICSM 2004), 2004

Using Simulation to Empirically Investigate Test Coverage Criteria Based on Statechart.

[BibT_eX]

[DOI]

Proceedings of the 26th International Conference on Software Engineering (ICSE 2004), 2004

2003

An Investigation of Graph-Based Class Integration Test Order Strategies.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2003

Investigating the use of analysis contracts to improve the testability of object-oriented code.

[BibT_eX]

[DOI]

Hong Sun

Softw. Pract. Exp., 2003

Towards the Reverse Engineering of UML Sequence Diagrams.

[BibT_eX]

[DOI]

Y. Miao

Proceedings of the 10th Working Conference on Reverse Engineering, 2003

Towards Automated Support for Deriving Test Data from UML Statecharts.

[BibT_eX]

[DOI]

Jim Cui

Proceedings of the «UML» 2003, 2003

A Comprehensive and Systematic Methodology for Client-Server Class Integration Testing.

[BibT_eX]

[DOI]

Proceedings of the 14th International Symposium on Software Reliability Engineering (ISSRE 2003), 2003

Impact Analysis and Change Management of UML Models.

[BibT_eX]

[DOI]

Leeshawn O'Sullivan

Proceedings of the 19th International Conference on Software Maintenance (ICSM 2003), 2003

Panel: Empirical Validation-What, Why, When, and How.

[BibT_eX]

[DOI]

Proceedings of the 25th International Conference on Software Engineering, 2003

Software Documentation: How Much Is Enough?

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2002

An Operational Process for Goal-Driven Definition of Measures.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2002

A UML-Based Approach to System Testing.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2002

Empirical Studies of Quality Models in Object-Oriented Systems.

[BibT_eX]

[DOI]

Adv. Comput., 2002

Using genetic algorithms and coupling measures to devise optimal integration test orders.

[BibT_eX]

[DOI]

Jie Feng

Proceedings of the 14th international conference on Software engineering and knowledge engineering, 2002

On the many ways software engineering can benefit from knowledge engineering.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Hong Sun

Proceedings of the International Symposium on Software Testing and Analysis, 2002

A Case Study Using the Round-Trip Strategy for State-Based Class Testing.

[BibT_eX]

[DOI]

Giuliano Antoniol

Proceedings of the 13th International Symposium on Software Reliability Engineering (ISSRE 2002), 2002

Automating Impact Analysis and Regression Test Selection Based on UML Designs.

[BibT_eX]

[DOI]

G. Soccar

Proceedings of the 18th International Conference on Software Maintenance (ICSM 2002), 2002

2001

Modeling Development Effort in Object-Oriented Systems Using Design Properties.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2001

A Controlled Experiment for Evaluating Quality Guidelines on the Maintainability of Object-Oriented Designs.

[BibT_eX]

[DOI]

Christian Bunse

IEEE Trans. Software Eng., 2001

Integrating scenario-based and measurement-based software product assessment.

[BibT_eX]

[DOI]

J. Syst. Softw., 2001

Replicated Case Studies for Investigating Quality Factors in Object-Oriented Designs.

[BibT_eX]

Hakim Lounis

Empir. Softw. Eng., 2001

The Impact of Design Properties on Development Cost in Object-Oriented Systems.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2000

Using simulation for assessing the real impact of test-coverage on defect-coverage.

[BibT_eX]

[DOI]

Dietmar Pfahl

IEEE Trans. Reliab., 2000

Exploring the relationships between design measures and software quality in object-oriented systems.

[BibT_eX]

[DOI]

J. Syst. Softw., 2000

Assessing the Cost-Effectiveness of Inspections by Combining Project Data and Expert Opinion.

[BibT_eX]

[DOI]

Ferdinand Vollei

Proceedings of the 11th International Symposium on Software Reliability Engineering (ISSRE 2000), 2000

A replicated assessment and comparison of common software cost modeling techniques.

[BibT_eX]

[DOI]

Tristen Langley

Isabella Wieczorek

Proceedings of the 22nd International Conference on on Software Engineering, 2000

1999

Defining and Validating Measures for Object-Based High-Level Design.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1999

A Unified Framework for Coupling Measurement in Object-Oriented Systems.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1999

Empirical Studies of Object-Oriented Artifacts, Methods, and Processes: State of the Art and Future Directions.

[BibT_eX]

Pascale Thévenod-Fosse

Empir. Softw. Eng., 1999

Using Coupling Measurement for Impact Analysis in Object-Oriented Systems.

[BibT_eX]

[DOI]

Hakim Lounis

Proceedings of the 1999 International Conference on Software Maintenance, 1999

Investigating Quality Factors in Object-Oriented Designs: An Industrial Case Study.

[BibT_eX]

[DOI]

Stefan V. Ikonomovski

Hakim Lounis

Proceedings of the 1999 International Conference on Software Engineering, 1999

Explaining the Cost of European Space and Military Projects.

[BibT_eX]

[DOI]

Christiane Gresse von Wangenheim

Isabella Wieczorek

Proceedings of the 1999 International Conference on Software Engineering, 1999

An Assessment and Comparison of Common Software Cost Estimation Modeling Techniques.

[BibT_eX]

[DOI]

Proceedings of the 1999 International Conference on Software Engineering, 1999

1998

Q-MOPP: qualitative evaluation of maintenance organizations, processes and products.

[BibT_eX]

[DOI]

J. Softw. Maintenance Res. Pract., 1998

Requirements for the knowledge-based support of software engineering measurement plans.

[BibT_eX]

[DOI]

Knowl. Based Syst., 1998

Empirical Studies of Software Maintenance: A Report from WESS '97.

[BibT_eX]

[DOI]

Filippo Lanubile

Shari Lawrence Pfleeger

Gregg Rothermel

Norman F. Schneidewind

Empir. Softw. Eng., 1998

A Unified Framework for Cohesion Measurement in Object-Oriented Systems.

[BibT_eX]

[DOI]

Empir. Softw. Eng., 1998

A Comprehensive Empirical Validation of Design Measures for Object-Oriented Systems.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Ninth International Symposium on Software Reliability Engineering, 1998

Predicting fault-prone classes with design measures in object-oriented systems.

[BibT_eX]

[DOI]

Proceedings of the Ninth International Symposium on Software Reliability Engineering, 1998

Maintaining COTS-Based Systems: Is it Possible? (Panel).

[BibT_eX]

[DOI]

Jeffrey M. Voas

M. M. Lehman

Norman F. Schneidewind

Proceedings of the 1998 International Conference on Software Maintenance, 1998

COTS Evaluation and Selection.

[BibT_eX]

[DOI]

Proceedings of the 1998 International Conference on Software Maintenance, 1998

Using Simulation to Build Inspection Efficiency Benchmarks for Development Projects.

[BibT_eX]

[DOI]

Proceedings of the Forging New Links, 1998

COBRA: A Hybrid Method for Software Cost Estimation, Benchmarking, and Risk Assessment.

[BibT_eX]

[DOI]

Frank Bomarius

Proceedings of the Forging New Links, 1998

COMPARE: A Comprehensive Framework for Architecture Evaluation.

[BibT_eX]

[DOI]

Proceedings of the Object-Oriented Technology, ECOOP'98 Workshop Reader, 1998

1997

Comments on "Toward a Framework for Software Measurement Validation".

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1997

Response to: Comments on "Property-Based Software Engineering Measurement: Refining the Additivity Properties".

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1997

Empirical research in object-oriented quality.

[BibT_eX]

[DOI]

Softw. Process. Improv. Pract., 1997

Response to "Handling Regression Subsets in Software Modeling" by Ronald Gulezian.

[BibT_eX]

[DOI]

William M. Thomas

J. Syst. Softw., 1997

Process Modelling and Empirical Studies of Software Evolution (PMESSE'97) Workshop Report.

[BibT_eX]

[DOI]

Empir. Softw. Eng., 1997

Reply to ''Comments to the Paper: Briand, El Emam, Morasca: On the Application of Measurement Theory in Software Engineering.

[BibT_eX]

[DOI]

Empir. Softw. Eng., 1997

An Experimental Comparison of the Maintainability of Object-Oriented and Structured Design Documents.

[BibT_eX]

[DOI]

Christian Bunse

Christiane M. Differding

Empir. Softw. Eng., 1997

Guest Editor's Introduction.

[BibT_eX]

[DOI]

Empir. Softw. Eng., 1997

Towards A Theoretical Framework For Measuring Software Attributes.

[BibT_eX]

[DOI]

Proceedings of the 4th IEEE International Software Metrics Symposium (METRICS 1997), 1997

A Unified Framework for Cohesion Measurement.

[BibT_eX]

[DOI]

Proceedings of the 4th IEEE International Software Metrics Symposium (METRICS 1997), 1997

Quantitative evaluation of capture-recapture models to control software inspections.

[BibT_eX]

[DOI]

Proceedings of the Eighth International Symposium on Software Reliability Engineering, 1997

An Investigation into Coupling Measures for C++.

[BibT_eX]

[DOI]

Premkumar T. Devanbu

Proceedings of the Pulling Together, 1997

Software Measurement and Formal Methods: A Case Study Centered on TRIO+ Specifications.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Christian Bunse

Proceedings of the Papers presented at the Seventh Workshop on Empirical Studies of Programmers, 1997

1996

Assessor agreement in rating SPICE processes.

[BibT_eX]

[DOI]

Robert Smith

Softw. Process. Improv. Pract., December, 1996

Practical guidelines for measurement-based process improvement.

[BibT_eX]

[DOI]

Christiane M. Differding

H. Dieter Rombach

Softw. Process. Improv. Pract., December, 1996

Software Engineering R&D group at CRIM.

[BibT_eX]

[DOI]

Softw. Process. Improv. Pract., March, 1996

Property-Based Software Engineering Measurement.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1996

A Validation of Object-Oriented Design Metrics as Quality Indicators.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1996

On the application of measurement theory in software engineering.

[BibT_eX]

[DOI]

Empir. Softw. Eng., 1996

How Reuse Influences Productivity in Object-Oriented Systems.

[BibT_eX]

[DOI]

Commun. ACM, 1996

Understanding and Predicting the Process of Software Maintenance Release.

[BibT_eX]

[DOI]

Proceedings of the 18th International Conference on Software Engineering, 1996

1995

Characterizing and Assessing a Large-Scale Software Maintenance Organization.

[BibT_eX]

[DOI]

Proceedings of the 17th International Conference on Software Engineering, 1995

1994

A Change Analysis Process to Characterize Software Maintenance Projects.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Software Maintenance, 1994

1993

Developing Interpretable Models with Optimized Set Reduction for Identifying High-Risk Software Components.

[BibT_eX]

[DOI]

Christopher J. Hetmanski

IEEE Trans. Software Eng., 1993

Measuring and Assessing Maintainability at the End of High Level Design.

[BibT_eX]

[DOI]

Proceedings of the Conference on Software Maintenance, 1993

Modeling and Managing Risk Early in Software Development.

[BibT_eX]

[DOI]

William M. Thomas

Christopher J. Hetmanski

Proceedings of the 15th International Conference on Software Engineering, 1993

1992

A Pattern Recognition Approach for Software Engineering Data Analysis.

[BibT_eX]

[DOI]

William M. Thomas

IEEE Trans. Software Eng., 1992

Providing an empirical basis for optimizing the verification and testing phases of software development.

[BibT_eX]

[DOI]

Christopher J. Hetmanski

Proceedings of the Third International Symposium on Software Reliability Engineering, 1992

A classification procedure for the effective management of changes during the maintenance process.

[BibT_eX]

[DOI]

Proceedings of the Conference on Software Maintenance, 1992

Quantitative Empirical Modeling for Manageing Software Development: Constraints, Needs and Solutions.

[BibT_eX]

[DOI]