Table of Contents

• ACID: An API Compatibility Issue Detector for Android AppsTarek Mahmud, Meiru Che, Guowei Yang 0001. 1-5 [doi]
• A Dynamic Analysis Tool for Memory Safety Based on Smart Status and Source-Level InstrumentationZhe Chen, Jun Wu, Qi Zhang, Jingling Xue. 6-10 [doi]
• ARSearch: Searching for API Related Resources from Stack Overflow and GitHubKien Luong, Ferdian Thung, David Lo 0001. 11-15 [doi]
• Asymob: a platform for measuring and clustering chatbotsJose María López-Morales, Pablo C. Cañizares, Sara Pérez-Soler, Esther Guerra, Juan de Lara. 16-20 [doi]
• A Tool for Rejuvenating Feature Logging Levels via Git Histories and Degree of InterestYiming Tang, Allan Spektor, Raffi Khatchadourian, Mehdi Bagherzadeh 0001. 21-25 [doi]
• CIDER: Concept-based Interactive Design RecoveryHongzhou Fang, Yuanfang Cai, Rick Kazman, Jason Lefever. 26-30 [doi]
• Code Implementation Recommendation for Android GUI ComponentsYanjie Zhao, Li Li 0029, Xiaoyu Sun, Pei Liu, John Grundy 0001. 31-35 [doi]
• Common Data Guided Crash Injection for Cloud SystemsYu Gao, Dong Wang, Qianwang Dai, Wensheng Dou, Jun Wei 0001. 36-40 [doi]
• COSPEX: A Program Comprehension Tool for Novice ProgrammersNakshatra Gupta, Ashutosh Rajput, Sridhar Chimalakonda. 41-45 [doi]
• DiffWatch: Watch Out for the Evolving Differential Testing in Deep Learning LibrariesAlexander Prochnow, Jinqiu Yang 0001. 46-50 [doi]
• DistFax: A Toolkit for Measuring Interprocess Communications and Quality of Distributed SystemsXiaoqin Fu, Boxiang Lin, Haipeng Cai. 51-55 [doi]
• DScribe: Co-generating Unit Tests and DocumentationAlexa Hernandez, Mathieu Nassif, Martin P. Robillard. 56-60 [doi]
• Dynaplex: Inferring Asymptotic Runtime Complexity of Recursive ProgramsDidier Ishimwe, ThanhVu Nguyen, KimHao Nguyen. 61-64 [doi]
• ESBMC-Solidity: An SMT-Based Model Checker for Solidity Smart ContractsKunjian Song, Nedas Matulevicius, Eddie B. de Lima Filho, Lucas C. Cordeiro. 65-69 [doi]
• Fairkit-learn: A Fairness Evaluation and Comparison ToolkitBrittany Johnson, Yuriy Brun. 70-74 [doi]
• FuzzTastic: A Fine-grained, Fuzzer-agnostic Coverage AnalyzerStephan Lipp, Daniel Elsner, Thomas Hutzelmann, Sebastian Banescu, Alexander Pretschner, Marcel Böhme. 75-79 [doi]
• Gallery D.C.: Auto-created GUI Component Gallery for Design Search and Knowledge DiscoverySidong Feng, Chunyang Chen, Zhenchang Xing. 80-84 [doi]
• Gamekins: Gamifying Software Testing in JenkinsPhilipp Straubinger, Gordon Fraser 0001. 85-89 [doi]
• gDefects4DL: A Dataset of General Real-World Deep Learning Program DefectsYunkai Liang, Yun Lin 0001, Xuezhi Song, Jun Sun 0001, Zhiyong Feng, Jin Song Dong. 90-94 [doi]
• GIFdroid: An Automated Light-weight Tool for Replaying Visual Bug ReportsSidong Feng, Chunyang Chen. 95-99 [doi]
• HUDD: A tool to debug DNNs for safety analysisHazem M. Fahmy, Fabrizio Pastore, Lionel C. Briand. 100-104 [doi]
• ICCBot: Fragment-Aware and Context-Sensitive ICC Resolution for Android ApplicationsJiwei Yan, Shixin Zhang, Yepang Liu 0001, Jun Yan 0009, Jian Zhang 0001. 105-109 [doi]
• IDE Augmented with Human-Learning Inspired Natural Language ProgrammingMitchell Young, Zifan Nan, Xipeng Shen. 110-114 [doi]
• IntelliTC: Automating Type Changes in IntelliJ IDEAOleg Smirnov, Ameya Ketkar, Timofey Bryksin, Nikolaos Tsantalis, Danny Dig. 115-119 [doi]
• iPFlakies: A Framework for Detecting and Fixing Python Order-Dependent Flaky TestsRuixin Wang, Yang Chen, Wing Lam. 120-124 [doi]
• JMocker: Refactoring Test-Production Inheritance by MockitoXiao Wang 0030, Lu Xiao 0001, Tingting Yu, Anne Woepse, Sunny Wong. 125-129 [doi]
• M3triCity: Visualizing Evolving Software & Data CitiesSusanna Ardigò, Csaba Nagy 0001, Roberto Minelli, Michele Lanza. 130-133 [doi]
• MASS: A tool for Mutation Analysis of Space CPSOscar Cornejo, Fabrizio Pastore, Lionel C. Briand. 134-138 [doi]
• META: Multidimensional Evaluation of Testing AbilityTianqi Zhou, Jiawei Liu, Yifan Wang, Zhenyu Chen 0001. 139-143 [doi]
• ML-Quadrat & DriotData: A Model-Driven Engineering Tool and a Low-Code Platform for Smart IoT ServicesArmin Moin, Andrei Mituca, Moharram Challenger, Atta Badii, Stephan Günnemann. 144-148 [doi]
• NaturalCC: An Open-Source Toolkit for Code IntelligenceYao Wan, Yang He, Zhangqian Bi, Jianguo Zhang 0005, Yulei Sui, Hongyu Zhang 0002, Kazuma Hashimoto, Hai Jin 0001, Guandong Xu, Caiming Xiong, Philip S. Yu. 149-153 [doi]
• NaviDroid: A Tool for Guiding Manual Android Testing via Hint MovesZhe Liu, Chunyang Chen, Junjie Wang 0001, Yuhui Su, Qing Wang 0001. 154-158 [doi]
• Proactive Libraries: Enforcing Correct Behaviors in Android AppsOliviero Riganelli, Ionut Daniel Fagadau, Daniela Micucci, Leonardo Mariani. 159-163 [doi]
• PyKokkos: Performance Portable Kernels in PythonNader Al Awar, Neil Mehta, Steven Zhu, George Biros, Milos Gligoric. 164-167 [doi]
• Pynguin: Automated Unit Test Generation for PythonStephan Lukasczyk, Gordon Fraser 0001. 168-172 [doi]
• QuSBT: Search-Based Testing of Quantum ProgramsXinyi Wang, Paolo Arcaini, Tao Yue 0002, Shaukat Ali 0001. 173-177 [doi]
• ReGVD: Revisiting Graph Neural Networks for Vulnerability DetectionVan-Anh Nguyen, Dai Quoc Nguyen, Van Nguyen 0002, Trung Le, Quan Hung Tran, Dinh Phung 0001. 178-182 [doi]
• ReInstancer: Automatically Refactoring for Instanceof Pattern MatchingShuai Hong, Yang Zhang, Chaoshuai Li, Yu Bai. 183-187 [doi]
• RM2Doc: A Tool for Automatic Generation of Requirements Documents from Requirements ModelsTianshu Bao, Jing Yang, Yilong Yang 0001, Yongfeng Yin. 188-192 [doi]
• SEbox4DL: A Modular Software Engineering Toolbox for Deep Learning ModelsZhengyuan Wei, Haipeng Wang 0005, Zhen Yang, W. K. Chan 0001. 193-196 [doi]
• SymInfer: Inferring Numerical Invariants using Symbolic StatesThanhVu Nguyen, KimHao Nguyen, Hai Duong. 197-201 [doi]
• SynTest-Solidity: Automated Test Case Generation and Fuzzing for Smart ContractsMitchell Olsthoorn, Dimitri Michel Stallenberg, Arie van Deursen, Annibale Panichella. 202-206 [doi]
• Synthia: a Generic and Flexible Data Structure GeneratorMarc-Antoine Plourde, Sylvain Hallé. 207-211 [doi]
• TauPad: Test Data Augmentation of Point Clouds by Adversarial MutationGuandi Liu, Jiawei Liu, Quanjun Zhang, Chunrong Fang, Xufan Zhang. 212-216 [doi]
• TauLiM: Test Data Augmentation of LiDAR Point Cloud by Metamorphic RelationJu Lin, Jiawei Liu, Qanjun Zhang, Xufan Zhang, Chunrong Fang. 217-221 [doi]
• TestKnight: An Interactive Assistant to Stimulate Test EngineeringCristian-Alexandru Botocan, Piyush Deshmukh, Pavlos Makridis, Jorge Romeu Huidobro, Mathanrajan Sundarrajan, Maurício Aniche, Andy Zaidman. 222-226 [doi]
• UIPDroid: Unrooted Dynamic Monitor of Android App UIs for Fine-Grained Permission ControlMulin Duan, Lingxiao Jiang, Lwin Khin Shar, Debin Gao. 227-231 [doi]
• VRTest: An Extensible Framework for Automatic Testing of Virtual Reality ScenesXiaoyin Wang. 232-236 [doi]
• WhyGen: Explaining ML-powered Code Generation by Referring to Training ExamplesWeixiang Yan, Yuanchun Li. 237-241 [doi]
• A DevSecOps-enabled Framework for Risk Management of Critical InfrastructuresXhesika Ramaj. 242-244 [doi]
• A Framework to Support Software Developers in Implementing Privacy FeaturesAnthony Mazeli. 245-247 [doi]
• Applying Reconfiguration Cost and Control Pattern Modeling to Self-Adaptive SystemsMichael Matthé. 248-250 [doi]
• Architecture Synthesis for Optimized and Flexible ProductionTarik Terzimehic. 251-255 [doi]
• Assessing the Quality of Computational Notebooks for a Frictionless Transition from Exploration to ProductionLuigi Quaranta. 256-260 [doi]
• Behavior-based test smells refactoring : Toward an automatic approach to refactoring Eager Test and Lazy Test smellsAdriano Pizzini. 261-263 [doi]
• Completeness of Composite Refactorings for Smell RemovalAna Carla Bibiano. 264-268 [doi]
• Cross-Platform Testing of Quantum Computing PlatformsMatteo Paltenghi. 269-271 [doi]
• Diversity in Programming Education: Help Underrepresented Groups Learn ProgrammingIsabella Graßl. 272-274 [doi]
• Enabling Automatic Repair of Source Code Vulnerabilities Using Data-Driven MethodsAnastasiia Grishina. 275-277 [doi]
• Improving Automated Crash ReproductionPhilip Oliver. 278-280 [doi]
• Lean Software Startup Practices and Software Engineering EducationOrges Cico. 281-285 [doi]
• More Effective Test Case Generation with Multiple Tribes of AIMitchell Olsthoorn. 286-290 [doi]
• Quality-Driven Machine Learning-based Data Science Pipeline Realization: a software engineering approachGiordano d'Aloisio. 291-293 [doi]
• Students vs. Professionals: Improving the Learning of Software TestingZhongyan Chen. 294-296 [doi]
• Topology of the Documentation LandscapeMarco Raglianti. 297-299 [doi]
• Towards A Theory of Shared Understanding of Non-Functional Requirements in Continuous Software EngineeringColin Werner. 300-304 [doi]
• Towards facilitating software engineering for production systems in Industry 4.0 with behavior modelsBianca Wiesmayr. 305-309 [doi]
• An Empirical Study on the Current Adoption of Quantum ProgrammingManuel De Stefano. 310-312 [doi]
• Efficiently and Precisely Searching for Code Changes with DiffSearchLuca Di Grazia. 313-315 [doi]
• Finding Appropriate User Feedback Analysis Techniques for Multiple Data DomainsPeter Devine. 316-318 [doi]
• Is GitHub Copilot a Substitute for Human Pair-programming? An Empirical StudySaki Imai. 319-321 [doi]
• Let's Talk Open-Source - An Analysis of Conference Talks and Community DynamicsKimberly Truong. 322-324 [doi]
• Static Test Flakiness PredictionValeria Pontillo. 325-327 [doi]
• To Disengage or Not to Disengage: A Look at Contributor Disengagement in Open Source SoftwarePhilip Gray. 328-330 [doi]
• 2: Using Mutation Analysis to Guide Mutation-Based FuzzingIsabella Laybourn. 331-333 [doi]
• Woodpecker: Identifying and Fixing Android UI Display IssuesZhe Liu. 334-336 [doi]
• A Static Analyzer for Detecting Tensor Shape Errors in Deep Neural Network Training CodeHo Young Jhoo, Sehoon Kim, Woosung Song, Kyuyeon Park, Dongkwon Lee, Kwangkeun Yi. 337-338 [doi]
• CRISCE: Towards Generating Test Cases from Accident SketchesVuong Nguyen, Alessio Gambi, Jasim Ahmed, Gordon Fraser 0001. 339-340 [doi]
• CrystalBLEU: Precisely and Efficiently Measuring the Similarity of CodeAryaz Eghbali, Michael Pradel. 341-342 [doi]
• Deep Learning-based Production and Test Bug Report Classification using Source FilesMisoo Kim, YoungKyoung Kim, Eunseok Lee. 343-344 [doi]
• Deriving Semantics-Aware Fuzzers from Web API SchemasZac Hatfield-Dodds, Dmitry Dygalo. 345-346 [doi]
• Enabling End-Users to Implement Larger Block-Based ProgramsNico Ritschel, Felipe Fronchetti, Reid Holmes, Ronald Garcia, David C. Shepherd. 347-349 [doi]
• Flexible Model-Driven Runtime Monitoring Support for Cyber-Physical SystemsMarco Stadler, Michael Vierhauser, Antonio Garmendia, Manuel Wimmer, Jane Cleland-Huang. 350-351 [doi]
• GARUDA: Heap aware symbolic executionAjinkya Rajput, Kanchi Gopinath. 352-353 [doi]
• In Rust We Trust - A Transpiler from Unsafe C to Safer RustMichael Ling, Yijun Yu, Haitao Wu, Yuan Wang, James R. Cordy, Ahmed E. Hassan. 354-355 [doi]
• Improving Responsiveness of Android Activity Navigation via Genetic ImprovementJames Callan, Justyna Petke. 356-357 [doi]
• Mutation Testing of Quantum Programs Written in QISKitDaniel Fortunato, José Campos, Rui Abreu 0001. 358-359 [doi]
• Poster: Comprehensive Comparisons of Embedding Approaches for Cryptographic API CompletionYa Xiao, Salman Ahmed 0001, Xinyang Ge, Bimal Viswanath, Na Meng 0001, Danfeng Daphne Yao. 360-361 [doi]
• Program translation using model-driven engineeringKevin Lano. 362-363 [doi]
• The Symptoms, Causes, and Repairs of Workarounds in Apache Issue TrackersAoyang Yan, Hao Zhong, Daohan Song, Li Jia. 364-365 [doi]