30 citations
- Centre for Quantum Computation and Communication TechnologyAU2 papers
- Engineering Software Research and Development (United States)US2 papers
- Australian National UniversityAU1 paper
- Communication University of ZhejiangCN1 paper
- École de Technologie SupérieureCA1 paper
- École PolytechniqueFR1 paper
- Gestione Sistemi per l’Informatica (Italy)IT1 paper
- Indian Institute of Technology GuwahatiIN1 paper
- Institute of AstronomyRU1 paper
- Institute of Materials Research and EngineeringSG1 paper
- Institute of SoftwareCN1 paper
- Institut national de recherche en sciences et technologies du numériqueFR1 paper
4 papers · 1 filter
Is My RPC Response Reliable? Detecting RPC Bugs in Ethereum Blockchain Client under Context
Zhijie Zhong, Yuhong Nan, Mingxi Ye +5
Blockchain clients are fundamental software for running blockchain nodes. They provide users with various RPC (Remote Procedure Call) interfaces to interact with the blockchain. Th…
Constant Optimization Driven Database System Testing
Chi Zhang, Manuel Rigger
Logic bugs are bugs that can cause database management systems (DBMSs) to silently produce incorrect results for given queries. Such bugs are severe, because they can easily be ove…
From Requirements to Architecture: An AI-Based Journey to Semi-Automatically Generate Software Architectures
Tobias Eisenreich, Sandro Speth, Stefan Wagner
Designing domain models and software architectures represents a significant challenge in software development, as the resulting architectures play a vital role in fulfilling the sy…
Personalization of Computer-Based Technologies for Autism: An Open Challenge for Software Engineering?
Roberto E. Lopez-Herrejon, Gerardo Herrera, Javier Sevilla
Autism Spectrum Disorder (ASD) is neurodevelopmental condition characterized by social interaction and communication difficulties, along with narrow and repetitive interests. Being…