KOALA: A Configurable Tool for Collecting IDE Data When Solving Programming Tasks

Authors: Daniil Karol, Elizaveta Artser, Ilya Vlasov, Yaroslav Golubev, Hieke Keuning, Anastasiia Birillo

Source: Proceedings of the ACM Global on Computing Education Conference 2025 Vol 1. :183-189

Subject Terms: Software Engineering (cs.SE), FOS: Computer and information sciences, Computers and Society (cs.CY), Software Engineering, Computers and Society

Access URL: http://arxiv.org/abs/2506.21266

Everything You Need to Know About CS Education: Open Results from A Survey of More Than 18,000 Participants

Authors: Katsiaryna Dzialets, Aleksandra Makeeva, Ilya Vlasov, Anna Potriasaeva, Aleksei Rostovskii, Yaroslav Golubev, Anastasiia Birillo

Source: Proceedings of the ACM Global on Computing Education Conference 2025 Vol 1. :50-56

Subject Terms: Human-Computer Interaction, Software Engineering (cs.SE), FOS: Computer and information sciences, Computers and Society (cs.CY), Software Engineering, Computers and Society, Human-Computer Interaction (cs.HC)

Access URL: http://arxiv.org/abs/2508.05286

Helveg: Diagrams for Software Documentation

Authors: Adam Štěpánek, David Kuťák, Barbora Kozlíková, Jan Byška

Source: IEEE Transactions on Visualization and Computer Graphics. 31:9079-9091

Subject Terms: Software Engineering (cs.SE), FOS: Computer and information sciences, D.2.2, D.2.11, Software Engineering

Access URL: http://arxiv.org/abs/2507.10244

Privacy Bills of Materials (PriBOM): A Transparent Privacy Information Inventory for Collaborative Privacy Notice Generation in Mobile App Development

Authors: Tao, Zhen, Pan, Shidong, Xing, Zhenchang, Sun, Xiaoyu, Haggag, Omar, Grundy, John, Li, Jingjie, Zhu, Liming

Source: Proceedings on Privacy Enhancing Technologies. 2025:392-409

Subject Terms: Software Engineering (cs.SE), FOS: Computer and information sciences, Computer Science - Software Engineering, Computer Science - Cryptography and Security, Cryptography and Security (cs.CR)

Access URL: http://arxiv.org/abs/2501.01131

Toward Modified Condition/Decision Coverage of Rust

Authors: Wanja Zaeske, Umut Durak, Pietro Albini, Florian Gilcher

Source: Journal of Aerospace Information Systems. 22:834-841

Subject Terms: Software Engineering (cs.SE), FOS: Computer and information sciences, Computer Science - Software Engineering

Access URL: http://arxiv.org/abs/2409.08708

Semantic Zoom and Mini-Maps for Software Cities

Authors: Hansen, Malte, Bamberg, Jens, Baumann, Noe, Hasselbring, Wilhelm

Source: 2025 IEEE Working Conference on Software Visualization (VISSOFT). :47-57

Subject Terms: Software Engineering (cs.SE), FOS: Computer and information sciences, Software Engineering

File Description: text

Access URL: http://arxiv.org/abs/2510.00003
https://ieeexplore.ieee.org/document/11175649

HTML Structure Exploration in 3D Software Cities

Authors: Hansen, Malte, Moreno-Lumbreras, David, Hasselbring, Wilhelm

Source: 2025 IEEE Working Conference on Software Visualization (VISSOFT). :89-93

Subject Terms: Software Engineering (cs.SE), FOS: Computer and information sciences, Software Engineering

File Description: text

Access URL: http://arxiv.org/abs/2510.00004
https://ieeexplore.ieee.org/document/11175663

Visualizing Cloud-native Applications with KubeDiagrams

Authors: Merle, Philippe, Petrillo, Fabio

Contributors: Merle, Philippe

Source: 2025 IEEE Working Conference on Software Visualization (VISSOFT). :106-116

Subject Terms: Software Engineering (cs.SE), FOS: Computer and information sciences, Computer Science - Software Engineering, Software Architecture, KubeDiagrams, Cloud-native, Computer Science - Distributed, Parallel, and Cluster Computing, Kubernetes, Distributed, Parallel, and Cluster Computing (cs.DC), [INFO] Computer Science [cs], Architectural diagrams

File Description: application/pdf

Access URL: http://arxiv.org/abs/2505.22879
https://hal.science/hal-05263068v1/document
https://hal.science/hal-05263068v1
https://doi.org/10.1109/vissoft67405.2025.00022

LLM-based Co-Evolution of Configurable Software Systems

Authors: Nada Zine, Clément Quinton, Romain Rouvoy

Contributors: Quinton, Clément

Source: Proceedings of the 29th ACM International Systems and Software Product Line Conference - Volume A. :27-38

Subject Terms: [INFO.INFO-SE] Computer Science [cs]/Software Engineering [cs.SE]

File Description: application/pdf

Access URL: https://hal.science/hal-05090995v1

On the Effect of Feature Reduction on Energy Consumption: An Exploratory Study

Authors: Xhevahire Tërnava, Romain Lefeuvre, Quentin Perez, Djamel Eddine Khelladi, Mathieu Acher, Benoit Combemale

Contributors: Lefeuvre, Romain

Source: Proceedings of the 29th ACM International Systems and Software Product Line Conference - Volume A. :57-68

Subject Terms: Energy consumption, Configurable systems, [INFO.INFO-SE] Computer Science [cs]/Software Engineering [cs.SE], Feature reduction

File Description: application/pdf

Access URL: https://hal.science/hal-05166140v1
https://doi.org/10.1145/3744915.3748463
https://hal.science/hal-05166140v1/document

Formal Methods for Residual Risk Reduction in Cyber-Physical Systems

Authors: Kaufmann, David, Mateescu, Radu, Muller, Lucie, Serwe, Wendelin, Wotawa, Franz

Contributors: Mateescu, Radu

Source: 2025 25th International Conference on Software Quality, Reliability and Security (QRS). :258-269

Subject Terms: formal methods, verification and validation, [INFO.INFO-SE] Computer Science [cs]/Software Engineering [cs.SE], management system, [INFO.INFO-MO] Computer Science [cs]/Modeling and Simulation, residual risks, cyber-physical systems, system monitoring, [INFO.INFO-ES] Computer Science [cs]/Embedded Systems

File Description: application/pdf

Access URL: https://inria.hal.science/hal-05305293v1
https://inria.hal.science/hal-05305293v1/document
https://doi.org/10.1109/qrs65678.2025.00035

One Documentation Does Not Fit All : Case study of TensorFlow Documentation

Authors: Thirimanne, Sharuka Promodya, Lemango, Elim Yoseph, Antoniol, Giulio, Nayebi, Maleknaz

Source: 2025 IEEE 49th Annual Computers, Software, and Applications Conference (COMPSAC). :1234-1243

Subject Terms: Software Engineering (cs.SE), FOS: Computer and information sciences, Computer Science - Software Engineering, Computer Vision and Pattern Recognition, Data Visualization and Analytics

Access URL: http://arxiv.org/abs/2505.01939

Generative AI-Based Adaptation in Microservices Architectures: A Systematic Mapping Study

Authors: Sanwouo, Brell, Temple, Paul, Quinton, Clément

Contributors: Quinton, Clément

Source: 2025 IEEE International Conference on Web Services (ICWS). :1-8

Subject Terms: LLM, Generative AI, [INFO.INFO-SE] Computer Science [cs]/Software Engineering [cs.SE], Adaptation, Microservice

File Description: application/pdf

Access URL: https://hal.science/hal-05082732v2

A Fuzzy Approach to Project Success: Measuring What Matters: measuring what matters

Authors: Granja-Correia, João, Hernández-Linares, Remedios, Ferranti, Luca, Rego, Arménio

Source: 2025 IEEE International Conference on Fuzzy Systems (FUZZ). :1-4

Subject Terms: Software Engineering (cs.SE), FOS: Computer and information sciences, Project success, Project management, Software Engineering, Fuzzy systems, Computation and Language, Computation and Language (cs.CL), H.4.m

Access URL: http://arxiv.org/abs/2507.12653
https://ciencia.ucp.pt/en/publications/f06469ae-17ec-45fd-bf87-20ca4f4711d9
https://doi.org/10.1109/FUZZ62266.2025.11152125

ROSA: Finding Backdoors with Fuzzing

Authors: Kokkonis, Dimitri, Marcozzi, Michaël, Decoux, Emilien, Zacchiroli, Stefano

Contributors: Zacchiroli, Stefano

Source: 2025 IEEE/ACM 47th International Conference on Software Engineering (ICSE). :2816-2828

Subject Terms: Software Engineering (cs.SE), FOS: Computer and information sciences, Computer Science - Software Engineering, Computer Science - Cryptography and Security, [INFO.INFO-SE] Computer Science [cs]/Software Engineering [cs.SE], vulnerability detection, backdoors, dynamic analysis, Cryptography and Security (cs.CR), fuzzing, metamorphic testing, [INFO.INFO-CR] Computer Science [cs]/Cryptography and Security [cs.CR]

File Description: application/pdf

Access URL: http://arxiv.org/abs/2505.08544
https://hal.science/hal-05063960v1/document
https://hal.science/hal-05063960v1
https://doi.org/10.1109/icse55347.2025.00183

Graffiti: Enabling an Ecosystem of Personalized and Interoperable Social Applications

Authors: Theia Henderson, David R. Karger, David D. Clark

Source: Proceedings of the 38th Annual ACM Symposium on User Interface Software and Technology. :1-21

Subject Terms: Human-Computer Interaction, Social and Information Networks (cs.SI), Software Engineering (cs.SE), FOS: Computer and information sciences, Software Engineering, Social and Information Networks, Human-Computer Interaction (cs.HC)

Access URL: http://arxiv.org/abs/2508.04889

NeuroSync: Intent-Aware Code-Based Problem Solving via Direct LLM Understanding Modification

Authors: Wenshuo Zhang, Leixian Shen, Shuchang Xu, Jindu Wang, Jian Zhao, Huamin Qu, Lin-Ping Yuan

Source: Proceedings of the 38th Annual ACM Symposium on User Interface Software and Technology. :1-19

Subject Terms: Human-Computer Interaction, Software Engineering (cs.SE), FOS: Computer and information sciences, Artificial Intelligence (cs.AI), Artificial Intelligence, Software Engineering, Computation and Language, Computation and Language (cs.CL), Human-Computer Interaction (cs.HC)

Access URL: http://arxiv.org/abs/2508.02823

The Security Performance Analysis of Blockchain System Based on Post-Quantum Cryptography — A Case of Cryptocurrency Exchanges

Authors: Abel C. H. Chen

Source: Vietnam Journal of Computer Science. :1-30

Subject Terms: Software Engineering (cs.SE), FOS: Computer and information sciences, Cryptography and Security, Computers and Society (cs.CY), Software Engineering, Computers and Society, Cryptography and Security (cs.CR)

Access URL: http://arxiv.org/abs/2404.16837

METHODS FOR EVALUATING SOFTWARE ACCESSIBILITY

Authors: Kuz, Mykola, Yaremiy, Ivan, Yaremii, Hanna, Pikuliak, Mykola, Lazarovych, Ihor, Kozlenko, Mykola, Vekeryk, Denys

Source: Radio Electronics, Computer Science, Control. :163-172

Subject Terms: Software Engineering (cs.SE), FOS: Computer and information sciences, 68N30, Software Engineering, D.2.8

Access URL: http://arxiv.org/abs/2509.23469

Detecção de Conflitos Semânticos com Testes Gerados por LLM

Authors: Barbosa, Nathalia, Borba, Paulo, Da Silva, Léuson

Source: Anais do X Simpósio Brasileiro de Testes de Software Sistemático e Automatizado (SAST 2025). :18-27

Subject Terms: Software Engineering (cs.SE), FOS: Computer and information sciences, Software Engineering, K.6.3

Access URL: http://arxiv.org/abs/2507.06762