4 citations · 12 across the 6 of their papers we have counts for
6 papers · 1 filter
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…
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 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…