Arda Goknil

According to our database1, Arda Goknil authored at least 42 papers between 2005 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.



In proceedings 
PhD thesis 





Automating system test case classification and prioritization for use case-driven testing in product lines.
Empir. Softw. Eng., 2020

Metamorphic Security Testing for Web Systems.
Proceedings of the 13th IEEE International Conference on Software Testing, 2020

SMRL: a metamorphic security testing tool for web systems.
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.
Proceedings of the 16th International Conference on Distributed Computing in Sensor Systems, 2020

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

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

MCP: a security testing tool driven by requirements.
Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings, 2019

Configuring use case models in product families.
Softw. Syst. Model., 2018

Change impact analysis for evolving configuration decisions in product line use case models.
J. Syst. Softw., 2018

Modeling Security and Privacy Requirements: a Use Case-Driven Approach.
Inf. Softw. Technol., 2018

AlloyInEcore: embedding of first-order relational logic into meta-object facility for automated model reasoning.
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.
Proceedings of the 29th IEEE International Symposium on Software Reliability Engineering, 2018

A tool for automated reasoning about traces based on configurable formal semantics.
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.
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

A Rule-Based Change Impact Analysis Approach in Software Architecture for Requirements Changes.
CoRR, 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

A rule-based approach for evolution of AADL models based on changes in functional requirements.
Proceedings of the Proccedings of the 10th European Conference on Software Architecture Workshops, Copenhagen, Denmark, November 28, 2016

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

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

Change impact analysis for Natural Language requirements: An NLP approach.
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.
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.
Proceedings of the 2015 International Symposium on Software Testing and Analysis, 2015

Generation and validation of traces between requirements and architecture based on formal trace semantics.
J. Syst. Softw., 2014

Change impact analysis for requirements: A metamodeling approach.
Inf. Softw. Technol., 2014

Experimental evaluation of a tool for change impact prediction in requirements models: Design, results, and lessons learned.
Proceedings of the IEEE 4th International Model-Driven Requirements Engineering Workshop, 2014

Tool Support for the Analysis of TADL2 Timing Constraints Using TimeSquare.
Proceedings of the 2013 18th International Conference on Engineering of Complex Computer Systems, 2013

A metamodeling approach for reasoning on multiple requirements models.
Proceedings of the 17th IEEE International Enterprise Distributed Object Computing Conference, 2013

Analysis Support for TADL2 Timing Constraints on EAST-ADL Models.
Proceedings of the Software Architecture - 7th European Conference, 2013

A DSL for specifying timing requirements.
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.
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.
Proceedings of the 17th IEEE International Conference on Engineering of Complex Computer Systems, 2012

Semantics of trace relations in requirements models for consistency checking and inferencing.
Softw. Syst. Model., 2011

Tool support for generation and validation of traces between requirements and architecture.
Proceedings of the 6th ECMFA Traceability Workshop, 2010

Model Driven Development of Semantic Web Enabled Multi-Agent Systems.
Int. J. Cooperative Inf. Syst., 2009

A Metamodeling Approach for Reasoning about Requirements.
Proceedings of the Model Driven Architecture, 2008

Model Transformation for Model Driven Development of Semantic Web Enabled Multi-Agent Systems.
Proceedings of the Multiagent System Technologies, 5th German Conference, 2007

Survey of Traceability Approaches in Model-Driven Engineering.
Proceedings of the 11th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007), 2007

Metamodeling of Semantic Web Enabled Multiagent Systems.
Proceedings of the Multiagent Systems and Software Architecture, 2006

Modeling the Interaction Between Semantic Agents and Semantic Web Services Using MDA Approach.
Proceedings of the Engineering Societies in the Agents World VII, 2006

Ontology Based Model Transformation Infrastructure.
Proceedings of the Web Services and Model-Driven Enterprise Information Services, 2005

Ontological perspective in metamodeling for model transformations.
Proceedings of the Metainformatics, International Symposium, 2005