14 citations · 53 across the 12 of their papers we have counts for
13 papers
Engineering Sustainable Agents: A Systematic Comparison of Agentic LLMs for Developer Workflows
Merve Astekin, Yan Naing Tun, Arda Goknil +5
Large language models (LLMs) are increasingly used in software engineering, including agentic systems that coordinate multiple agents, but impose higher computational and environme…
Technical Debt Friction for Maintenance Prioritization: An Industrial Multi-Case Study
Simeon Tverdal, Phu Nguyen, Arda Goknil +3
Software-intensive organizations need effective ways to identify where maintenance and refactoring efforts will yield the greatest practical benefit. Although software analytics su…
Sustainable LLM Inference for Edge AI: Evaluating Quantized LLMs for Energy Efficiency, Output Accuracy, and Inference Latency
Erik Johannes Husom, Arda Goknil, Merve Astekin +5
Deploying Large Language Models (LLMs) on edge devices presents significant challenges due to computational constraints, memory limitations, inference speed, and energy consumption…
Privacy Policy Analysis through Prompt Engineering for LLMs
Arda Goknil, Femke B. Gelderblom, Simeon Tverdal +2
Privacy policies are often obfuscated by their complexity, which impedes transparency and informed consent. Conventional machine learning approaches for automatically analyzing the…
The Price of Prompting: Profiling Energy Use in Large Language Models Inference
Erik Johannes Husom, Arda Goknil, Lwin Khin Shar +1
In the rapidly evolving realm of artificial intelligence, deploying large language models (LLMs) poses increasingly pressing computational and environmental challenges. This paper…
A Tool for Automated Reasoning About Traces Based on Configurable Formal Semantics
Ferhat Erata, Arda Goknil, Bedir Tekinerdogan +1
We present Tarski, a tool for specifying configurable trace semantics to facilitate automated reasoning about traces. Software development projects require that various types of tr…
AlloyInEcore: Embedding of First-Order Relational Logic into Meta-Object Facility for Automated Model Reasoning
Ferhat Erata, Arda Goknil, Ivan Kurtev +1
We present AlloyInEcore, a tool for specifying metamodels with their static semantics to facilitate automated, formal reasoning on models. Software development projects require tha…
Metamorphic Testing for Web System Security
Nazanin Bayati Chaleshtari, Fabrizio Pastore, Arda Goknil +1
Security testing aims at verifying that the software meets its security properties. In modern Web systems, however, this often entails the verification of the outputs generated whe…
ETAP: Energy-aware Timing Analysis of Intermittent Programs
Ferhat Erata, Arda Goknil, Eren Yıldız +4
Energy harvesting battery-free embedded devices rely only on ambient energy harvesting that enables stand-alone and sustainable IoT applications. These devices execute programs whe…
Metamorphic Security Testing for Web Systems
Phu X. Mai, Fabrizio Pastore, Arda Goknil +1
Security testing verifies that the data and the resources of software systems are protected from attackers. Unfortunately, it suffers from the oracle problem, which refers to the c…
Automatic Generation of Acceptance Test Cases from Use Case Specifications: an NLP-based Approach
Chunhui Wang, Fabrizio Pastore, Arda Goknil +1
Acceptance testing is a validation activity performed to ensure the conformance of software systems with respect to their functional requirements. In safety critical systems, it pl…
Automating System Test Case Classification and Prioritization for Use Case-Driven Testing in Product Lines
Ines Hajri, Arda Goknil, Fabrizio Pastore +1
Product Line Engineering (PLE) is a crucial practice in many software development environments where software systems are complex and developed for multiple customers with varying…
A Rule-Based Change Impact Analysis Approach in Software Architecture for Requirements Changes
Arda Goknil, Ivan Kurtev, Klaas van den Berg
Software systems usually operate in a dynamic context where their requirements change continuously and new requirements emerge frequently. A single requirement hardly exists in iso…