Elamur Research⌕
☰
home / venues / ACM Transactions on Software… / 2024 / papers / page 3

ACM Transactions on Software Engineering and Methodology 2024: all accepted papers

269 papers · page 3 of 3 · the most cited first · ← ACM Transactions on Software Engineering and Methodology 2024

1 2 3

  1. Bounded Verification of Atomicity Violations for Interrupt-Driven Programs via Lazy Sequentialization ↗Yuan Zhang, Lei Qu, Yifei Wu et al.3 citations
  2. Context-Aware Fuzzing for Robustness Enhancement of Deep Learning Models ↗Haipeng Wang, Zhengyuan Wei, Qilin Zhou et al.3 citations
  3. DREAM: Debugging and Repairing AutoML Pipelines ↗Xiaoyu Zhang, Juan Zhai, Shiqing Ma et al.3 citations
  4. DiPri : Distance-Based Seed Prioritization for Greybox Fuzzing—RCR Report ↗Ruixiang Qian, Quanjun Zhang, Chunrong Fang et al.3 citations
  5. DistMeasure : A Framework for Runtime Characterization and Quality Assessment of Distributed Software via Interprocess Communications ↗Xiaoqin Fu, Asif Zaman, Haipeng Cai3 citations
  6. Dynamic Transitive Closure-based Static Analysis through the Lens of Quantum Search ↗Jiawei Ren, Yulei Sui, Xiao Yu Cheng et al.3 citations
  7. EffFix: Efficient and Effective Repair of Pointer Manipulating Programs ↗Yuntong Zhang, Andreea Costea, Ridwan Shariffdeen et al.3 citations
  8. FunFuzz: Greybox Fuzzing with Function Significance ↗Ruixiang Qian, Quanjun Zhang, Chunrong Fang et al.3 citations
  9. Keeper: Automated Testing and Fixing of Machine Learning Software ↗Chengcheng Wan, Shicheng Liu, Sophie Xie et al.3 citations
  10. Leveraging Modular Architecture for Bug Characterization and Analysis in Automated Driving Software ↗Yingjie Jiang, Ran Mo, Wenjing Zhan et al.3 citations
  11. Refining Code-Line-Level Bugginess Identification: Getting the Best of Both Worlds by Fusing Syntactic and Semantic Features ↗Yufei Zhou, Haihua Tang, Longtao Zhu et al.3 citations
  12. S cuzer : A Scheduling Optimization Fuzzer for TVM ↗Xiangxiang Chen, Xingwei Lin, Jingyi Wang et al.3 citations
  13. SimClone: Detecting Tabular Data Clones Using Value Similarity ↗Xu Yang, Gopi Krishnan Rajbahadur, Dayi Lin et al.3 citations
  14. TG-CUP: A Transformer and GNN-Based Multi-Modal Comment Updating Method ↗Y. Chen, Yuan Huang, Xiangping Chen et al.3 citations
  15. Testing Updated Apps by Adapting Learned Models ↗Chanh Duc Ngo, Fabrizio Pastore, Lionel Briand3 citations
  16. Toward the Fractal Dimension of Classes ↗Weifeng Pan, Wei Min Wu, Hua Ming et al.3 citations
  17. Twenty Years Later: Evaluating the Adoption of Control Flow Integrity ↗Sabine Houy, Alexandre Bartel3 citations
  18. A Road-Map to Readily Available Early Validation and Verification of System Behaviour in Model-Based Systems Engineering using Software Engineering Best Practices ↗Johan Cederbladh, Antonio Cicchetti, Robbert Jongeling2 citations
  19. Adaptive Modelling Languages: Abstract Syntax and Model Migration ↗Juan D. Lara, Esther Guerra2 citations
  20. An Empirical Study on the Suitability of Test-based Patch Acceptance Criteria ↗Luciano Zemín, Ariel Godio, César Cornejo et al.2 citations
  21. Automatic Identification of Game Stuttering via Gameplay Videos Analysis ↗Emanuela Guglielmi, Gabriele Bavota, Rocco Oliveto et al.2 citations
  22. Benchmarking and Categorizing the Performance of Neural Program Repair Systems for Java ↗Wenkang Zhong, Chuanyi Li, Kui Liu et al.2 citations
  23. Bitmap-Based Security Monitoring for Deeply Embedded Systems ↗Anni Peng, Dongliang Fang, Le Guan et al.2 citations
  24. Can Coverage Criteria Guide Failure Discovery for Image Classifiers? An Empirical Study ↗Zhiyu Wang, Sihan Xu, Lingling Fan et al.2 citations
  25. Demo2Test: Transfer Testing of Agent in Competitive Environment with Failure Demonstrations ↗Chen Jian-ming, Yawen Wang, Junjie Wang et al.2 citations
  26. Enumerating Valid Non-Alpha-Equivalent Programs for Interpreter Testing ↗Xinmeng Xia, Yang Feng, Qingkai Shi et al.2 citations
  27. GIST : Generated Inputs Sets Transferability in Deep Learning ↗Florian Tambon, Foutse Khomh, Giuliano Antoniol2 citations
  28. MalSensor: Fast and Robust Windows Malware Classification ↗Haojun Zhao, Yueming Wu, Deqing Zou et al.2 citations
  29. Measuring and Mining Community Evolution in Developer Social Networks with Entropy-Based Indices ↗Jierui Zhang, Liang Wang, Ying Li et al.2 citations
  30. Mitigating Debugger-based Attacks to Java Applications with Self-debugging ↗Davide Pizzolotto, Stefano Berlato, Mariano Ceccato2 citations
  31. Neural Solving Uninterpreted Predicates with Abstract Gradient Descent ↗Shiwen Yu, Zengyu Liu, Ting Wang et al.2 citations
  32. PROV-IDEA: Supporting Interoperable Schema and Data Provenance within Database Evolution ↗Beatriz Pérez, Ángel L. Rubio, María Antonia Zapata2 citations
  33. Paving a Path for a Combined Family of Feature Toggle and Configuration Option Research ↗Rezvan Mahdavi-Hezaveh, Sameeha Fatima, Laurie A. Williams2 citations
  34. Software Product Line Engineering via Software Transplantation ↗Leandro Oliveria de Souza, Eduardo Santana de Almeida, Paulo Anselmo da Mota Silveira Neto et al.2 citations
  35. Unifying Model Execution and Deductive Verification with Interaction Trees in Isabelle/HOL ↗Simon Foster, Chung-Kil Hur, Jim Woodcock2 citations
  36. Validity-Preserving Delta Debugging via Generator Trace Reduction ↗Luyao Ren, Xing Zhang, Ziyue Hua et al.2 citations
  37. When Automated Program Repair Meets Regression Testing—An Extensive Study on Two Million Patches ↗Yiling Lou, Jun Yang, Samuel Benton et al.2 citations
  38. An Empirical Study on Common Sense-Violating Bugs in Mobile Apps ↗Fu Fan, Yanjie Jiang, Tianyi Chen et al.1 citation
  39. An Empirical Study on the Characteristics of Database Access Bugs in Java Applications ↗Wei Liu, Shouvick Mondal, Tse-Hsun Peter Chen1 citation
  40. Automating TODO-missed Methods Detection and Patching ↗Zhipeng Gao, Yanqi Su, Xing Hu et al.1 citation
  41. Deep API Sequence Generation via Golden Solution Samples and API Seeds ↗Yue-Kai Huang, Junjie Wang, Song Wang et al.1 citation
  42. Fine-grained Coverage-based Fuzzing - RCR Report ↗Wei‐Cheng Wu, Bernard Nongpoh, Marwan Nour et al.1 citation
  43. IATT: Interpretation Analysis-based Transferable Test Generation for Convolutional Neural Networks ↗Ruilin Xie, Xiang Chen, Qifan He et al.1 citation
  44. IDE 4 ICDS: A Human-Centric and Model-Driven Proposal to Improve the Digitization of Clinical Practice Guideline ↗Carlos Luís Parra-Calderón, J. A. García-García, Juan Manuel Ramos-Cueli et al.1 citation
  45. Improving Fault Localization with External Oracle by Using Counterfactual Execution ↗Jongchan Park, Tae Eun Kim, Dongsun Kim et al.1 citation
  46. Learning Failure-Inducing Models for Testing Software-Defined Networks ↗Raphaël Ollando, Seung Yeob Shin, Lionel Briand1 citation
  47. Non-Linear Software Documentation with Interactive Code Examples ↗Mathieu Nassif, Martin P. Robillard1 citation
  48. On Estimating the Feasible Solution Space of Multi-objective Testing Resource Allocation ↗Guofu Zhang, Lei Li, Zhaopin Su et al.1 citation
  49. Reducing the Impact of Time Evolution on Source Code Authorship Attribution via Domain Adaptation ↗Zhen Li, Shasha Zhao, Chen Chen et al.1 citation
  50. Repairs and Breaks Prediction for Deep Neural Networks ↗Yuta Ishimoto, Masanari Kondo, Lei Ma et al.1 citation
  51. Reputation Gaming in Crowd Technical Knowledge Sharing ↗Iren Mazloomzadeh, Gias Uddin, Foutse Khomh et al.1 citation
  52. SURE: A Visualized Failure Indexing Approach Using Program Memory Spectrum ↗Yi Song, Xihao Zhang, Xiaoyuan Xie et al.1 citation
  53. Speeding Up Genetic Improvement via Regression Test Selection ↗Giovani Guizzo, David Williams, Mark Harman et al.1 citation
  54. Technical Debt Monitoring Decision Making with Skin in the Game ↗Suwichak Fungprasertkul, Rami Bahsoon, Rick Kazman1 citation
  55. Termination and Universal Termination Problems for Nondeterministic Quantum Programs ↗Ming Xu, Jianling Fu, Hui Jiang et al.1 citation
  56. Understanding Developers Well-being and Productivity: A 2-year Longitudinal Analysis during the COVID-19 Pandemic—RCR Report ↗Daniel Russo, Paul H. P. Hanel, Niels van Berkel1 citation
  57. What Could Possibly Go Wrong: Undesirable Patterns in Collective Development ↗Mikhail Evtikhiev, Ekaterina Koshchenko, Vladimir Kovalenko1 citation
  58. A Machine Learning Approach for Automated Filling of Categorical Fields in Data Entry Forms—RCR Report ↗Hichem Belgacem, Xiaochen Li, Domenico Bianculli et al.
  59. Certified Cost Bounds for Abstract Programs ↗Elvira Albert, Reiner Hähnle, Alicia Merayo Corcoba et al.
  60. Code to Qed, the Project Manager's Guide to Proof Engineering ↗Nicolas Dejon, Chrystel Gaber, Gilles Grimaud et al.
  61. Editorial: ICSE and the Incredible Contradictions of Software Engineering ↗Mauro Pezzè
  62. Editorial: TOSEM Journal in 2025 and Beyond ↗Abhik Roychoudhury
  63. Editorial: The End of the Journey ↗Mauro Pezzè
  64. Editorial: Toward the Future with Eight Issues Per Year ↗Mauro Pezzè
  65. Improving Source Code Pre-Training via Type-Specific Masking ↗Wentao Zou, Qi Li, Chuanyi Li et al.
  66. Relevant Information in TDD Experiment Reporting ↗Fernando Uyaguari, Silvia Teresita Acuña, John W. Castro et al.
  67. Rigorous Assessment of Model Inference Accuracy using Language Cardinality ↗Donato Clun, Donghwan Shin, Antonio Filieri et al.
  68. Shortening Overlong Method Names with Abbreviations ↗Yanjie Jiang, Hui Liu, Shing-Chi Cheung et al.
  69. Using Voice and Biofeedback to Predict User Engagement during Product Feedback Interviews ↗Ferrari, Alessio, Uichapa, Thaide, Paola Spoletini et al.

1 2 3

↑ back to top

This page in Markdown → https://md.research.elamur.ai/free/en/venues/acm-transactions-on-software-engineering-and-methodology/2024/papers/page/3/