Arda Goknil

Lionel C. Briand

IEEE Trans. Software Eng., June, 2023

A blockchain-based framework for trusted quality data sharing towards zero-defect manufacturing.

[BibT_eX]

[DOI]

Comput. Ind., April, 2023

ETAP: Energy-aware Timing Analysis of Intermittent Programs.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., March, 2023

A Systematic Review of Data Quality in CPS and IoT for Industry 4.0.

[BibT_eX]

[DOI]

ACM Comput. Surv., 2023

AutoConf: Automated Configuration of Unsupervised Learning Systems Using Metamorphic Testing and Bayesian Optimization.

[BibT_eX]

[DOI]

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

Edge-based Data Profiling and Repair as a Service for IoT.

[BibT_eX]

[DOI]

Proceedings of the 13th International Conference on the Internet of Things, 2023

REPTILE: a Tool for Replay-driven Continual Learning in IIoT.

[BibT_eX]

[DOI]

Proceedings of the 13th International Conference on the Internet of Things, 2023

Automated Behavior Labeling for IIoT Data.

[BibT_eX]

[DOI]

Proceedings of the 13th International Conference on the Internet of Things, 2023

Replay-Driven Continual Learning for the Industrial Internet of Things.

[BibT_eX]

[DOI]

Sagar Sen

Simon Myklebust Nielsen

Erik Johannes Husom

Leonardo Sastoque Pinilla

Simeon Tverdal

Proceedings of the 2nd IEEE/ACM International Conference on AI Engineering, 2023

2022

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

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2022

Taming Data Quality in AI-Enabled Industrial Internet of Things.

[BibT_eX]

[DOI]

IEEE Softw., 2022

Toward Sustainable IoT Applications: Unique Challenges for Programming the Batteryless Edge.

[BibT_eX]

[DOI]

Kasim Sinan Yildirim

IEEE Softw., 2022

UDAVA: an unsupervised learning pipeline for sensor data validation in manufacturing.

[BibT_eX]

[DOI]

Proceedings of the 1st International Conference on AI Engineering: Software Engineering for AI, 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

2020

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

[BibT_eX]

[DOI]

Empir. Softw. Eng., 2020

Metamorphic Security Testing for Web Systems.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE International Conference on Software Testing, 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

Taskify: An Integrated Development Environment to Develop and Debug Intermittent Software for the Batteryless Internet of Things.

[BibT_eX]

[DOI]

Murat Mülayim

Kasim Sinan Yildirim

Proceedings of the 16th International Conference on Distributed Computing in Sensor Systems, 2020

2019

Automatic Generation of System Test Cases from Use Case Specifications: an NLP-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

MCP: a security testing tool driven by requirements.

[BibT_eX]

[DOI]

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

2018

Configuring use case models in product families.

[BibT_eX]

[DOI]

Softw. Syst. Model., 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

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

[BibT_eX]

[DOI]

Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 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

2017

A tool for automated reasoning about traces based on configurable formal semantics.

[BibT_eX]

[DOI]

Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 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

Lionel C. Briand

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

2016

A Rule-Based Change Impact Analysis Approach in Software Architecture for Requirements Changes.

[BibT_eX]

[DOI]

CoRR, 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

A rule-based approach for evolution of AADL models based on changes in functional requirements.

[BibT_eX]

[DOI]

Proceedings of the Proccedings of the 10th European Conference on Software Architecture Workshops, Copenhagen, Denmark, November 28, 2016

2015

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

[BibT_eX]

[DOI]

Muhammad Zohaib Z. Iqbal

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

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

[BibT_eX]

[DOI]

Proceedings of the 23rd IEEE International Requirements Engineering Conference, 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

Automatic generation of system test cases from use case specifications.

[BibT_eX]

[DOI]

Muhammad Zohaib Z. Iqbal

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

2014

Generation and validation of traces between requirements and architecture based on formal trace semantics.

[BibT_eX]

[DOI]

J. Syst. Softw., 2014

Change impact analysis for requirements: A metamodeling approach.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2014

Experimental evaluation of a tool for change impact prediction in requirements models: Design, results, and lessons learned.

[BibT_eX]

[DOI]

Proceedings of the IEEE 4th International Model-Driven Requirements Engineering Workshop, 2014

2013

Tool Support for the Analysis of TADL2 Timing Constraints Using TimeSquare.

[BibT_eX]

[DOI]

Julien DeAntoni

Frédéric Mallet

Proceedings of the 2013 18th International Conference on Engineering of Complex Computer Systems, 2013

A metamodeling approach for reasoning on multiple requirements models.

[BibT_eX]

[DOI]

Jean-Vivien Millo

Proceedings of the 17th IEEE International Enterprise Distributed Object Computing Conference, 2013

Analysis Support for TADL2 Timing Constraints on EAST-ADL Models.

[BibT_eX]

[DOI]

Jagadish Suryadevara

Frédéric Mallet

Proceedings of the Software Architecture - 7th European Conference, 2013

2012

A DSL for specifying timing requirements.

[BibT_eX]

[DOI]

Proceedings of the Second IEEE International Workshop on Model-Driven Requirements Engineering, 2012

Modeling a BSG-E Automotive System with the Timing Augmented Description Language.

[BibT_eX]

[DOI]

Morayo Adedjouma

Pierre Yves Gueguen

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies, 2012

A Timing Model for Specifying Multi Clock Automotive Systems: The Timing Augmented Description Language V2.

[BibT_eX]

[DOI]

Julien DeAntoni

Johan Nordlander

Proceedings of the 17th IEEE International Conference on Engineering of Complex Computer Systems, 2012

2011

Semantics of trace relations in requirements models for consistency checking and inferencing.

[BibT_eX]

[DOI]

Softw. Syst. Model., 2011

2010

Tool support for generation and validation of traces between requirements and architecture.

[BibT_eX]

[DOI]

Proceedings of the 6th ECMFA Traceability Workshop, 2010

2009

Model Driven Development of Semantic Web Enabled Multi-Agent Systems.

[BibT_eX]

[DOI]

Int. J. Cooperative Inf. Syst., 2009

2008

A Metamodeling Approach for Reasoning about Requirements.

[BibT_eX]

[DOI]

Proceedings of the Model Driven Architecture, 2008

2007

Model Transformation for Model Driven Development of Semantic Web Enabled Multi-Agent Systems.

[BibT_eX]

[DOI]

Proceedings of the Multiagent System Technologies, 5th German Conference, 2007

Survey of Traceability Approaches in Model-Driven Engineering.

[BibT_eX]

[DOI]

Ismênia Galvão

Proceedings of the 11th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007), 2007

2006

Metamodeling of Semantic Web Enabled Multiagent Systems.

[BibT_eX]

Proceedings of the Multiagent Systems and Software Architecture, 2006

Modeling the Interaction Between Semantic Agents and Semantic Web Services Using MDA Approach.

[BibT_eX]

[DOI]

Proceedings of the Engineering Societies in the Agents World VII, 2006

2005

Ontology Based Model Transformation Infrastructure.

[BibT_eX]

N. Yasemin Topaloglu

Proceedings of the Web Services and Model-Driven Enterprise Information Services, 2005

Ontological perspective in metamodeling for model transformations.

[BibT_eX]

[DOI]