|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1187 occurrences of 727 keywords
|
|
|
Results
Found 2695 publication records. Showing 2695 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Nick Feng, Lina Marsso, Sinem Getir Yaman, Beverley A. Townsend, Ana Cavalcanti 0001, Radu Calinescu, Marsha Chechik |
Towards a Formal Framework for Normative Requirements Elicitation. |
ASE |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Celal Ziftci, Ben Greenberg |
Improving Design Reviews at Google. |
ASE |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Zhijie Liu, Liang Feng Zhang, Yutian Tang |
Enhancing Malware Detection for Android Apps: Detecting Fine-Granularity Malicious Components. |
ASE |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Yi Liu, Yuekang Li, Gelei Deng, Felix Juefei-Xu, Yao Du, Cen Zhang, Chengwei Liu, Yeting Li, Lei Ma 0003, Yang Liu 0003 |
ASTER: Automatic Speech Recognition System Accessibility Testing for Stutterers. |
ASE |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Yingying He, Wenhua Yang 0001, Minxue Pan, Yasir Hussain, Yu Zhou 0010 |
Understanding and Enhancing Issue Prioritization in GitHub. |
ASE |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Juntao Ji, Rongtong Jin, Yubao Fu, Yinyou Gu, Tsung-Han Tsai, Qingshan Lin |
RocketHA: A High Availability Design Paradigm for Distributed Log-Based Storage System. |
ASE |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Jun Huang 0003, Yang Yang, Hang Yu, Jianguo Li, Xiao Zheng |
Twin Graph-Based Anomaly Detection via Attentive Multi-Modal Learning for Microservice System. |
ASE |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Minghao Liu 0001, Kunhang Lv, Pei Huang 0002, Rui Han, Fuqi Jia, Yu Zhang, Feifei Ma, Jian Zhang 0001 |
NRAgo: Solving SMT(NRA) Formulas with Gradient-Based Optimization. |
ASE |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Ningke Li, Shenao Wang, Mingxi Feng, Kailong Wang, Meizhen Wang, Haoyu Wang 0001 |
MalWuKong: Towards Fast, Accurate, and Multilingual Detection of Malicious Code Poisoning in OSS Supply Chains. |
ASE |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Ramos, Hailie Mitchell, Inês Lynce, Vasco M. Manquinho, Ruben Martins, Claire Le Goues |
MELT: Mining Effective Lightweight Transformations from Pull Requests. |
ASE |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Shuyao Jiang, Ruiying Zeng, Zihao Rao, Jiazhen Gu, Yangfan Zhou, Michael R. Lyu |
Revealing Performance Issues in Server-Side WebAssembly Runtimes Via Differential Testing. |
ASE |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Antonio Mastropaolo, Massimiliano Di Penta, Gabriele Bavota |
Towards Automatically Addressing Self-Admitted Technical Debt: How Far Are We? |
ASE |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Jiaxing Liu, Chaofeng Sha, Xin Peng 0001 |
An Empirical Study of Parameter-Efficient Fine-Tuning Methods for Pre-Trained Code Models. |
ASE |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Neng Zhang 0001, Qinde Chen, Zibin Zheng, Ying Zou 0001 |
iASTMapper: An Iterative Similarity-Based Abstract Syntax Tree Mapping Algorithm. |
ASE |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Sai Krishna Avula, Venkatesh Vobbilisetti, Shouvick Mondal |
Minecraft: Automated Mining of Software Bug Fixes with Precise Code Context. |
ASE |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Shuai Zhang, Xiaodong Gu 0002, Yuting Chen, Beijun Shen |
InfeRE: Step-by-Step Regex Generation via Chain of Inference. |
ASE |
2023 |
DBLP DOI BibTeX RDF |
|
1 | G. M. Shahariar, Tahmid Hasan, Anindya Iqbal, Gias Uddin 0001 |
Contrastive Learning for API Aspect Analysis. |
ASE |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Xuheng Wang, Jiaxing Song, Xu Zhang 0024, Junshu Tang, Weihe Gao, Qingwei Lin |
LogOnline: A Semi-Supervised Log-Based Anomaly Detector Aided with Online Learning Mechanism. |
ASE |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Cheryl Lee, Tianyi Yang, Zhuangbin Chen, Yuxin Su 0001, Michael R. Lyu |
Maat: Performance Metric Anomaly Anticipation for Cloud Services with Conditional Diffusion. |
ASE |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Maolin Sun, Yibiao Yang, Yang Wang, Ming Wen 0001, Haoxiang Jia, Yuming Zhou |
SMT Solver Validation Empowered by Large Pre-Trained Language Models. |
ASE |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Yuwei Liu, Siqi Chen, Yuchong Xie, Yanhao Wang, Libo Chen, Bin Wang, Yingming Zeng, Zhi Xue, Purui Su |
VD-Guard: DMA Guided Fuzzing for Hypervisor Virtual Device. |
ASE |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Christian Birchler, Cyrill Rohrbach, Hyeongkyun Kim, Alessio Gambi, Tianhai Liu, Jens Horneber, Timo Kehrer, Sebastiano Panichella |
TEASER: Simulation-Based CAN Bus Regression Testing for Self-Driving Cars Software. |
ASE |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Tianzhi Ma, Yanjie Zhao, Li Li 0029, Liang Liu 0006 |
CiD4HMOS: A Solution to HarmonyOS Compatibility Issues. |
ASE |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Zhen Li, Ruqian Zhang, Deqing Zou, Ning Wang, Yating Li, Shouhuai Xu, Chen Chen 0001, Hai Jin 0001 |
Robin: A Novel Method to Produce Robust Interpreters for Deep Learning-Based Code Classifiers. |
ASE |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Dirk Beyer 0001, Marian Lingsch Rosenfeld, Martin Spiessl |
cegar-pt: A Tool for Abstraction by Program Transformation. |
ASE |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Fuqi Jia, Rui Han, Xutong Ma, Baoquan Cui, Minghao Liu 0001, Pei Huang 0002, Feifei Ma, Jian Zhang 0001 |
PSMT: Satisfiability Modulo Theories Meets Probability Distribution. |
ASE |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Antonio Vitale, Valentina Piantadosi, Simone Scalabrino, Rocco Oliveto |
Using Deep Learning to Automatically Improve Code Readability. |
ASE |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Nikitha Rao, Kush Jain, Uri Alon 0002, Claire Le Goues, Vincent J. Hellendoorn |
CAT-LM Training Language Models on Aligned Code And Tests. |
ASE |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Mukelabai Mukelabai, Christoph Derks, Jacob Krüger, Thorsten Berger |
To Share, or Not to Share: Exploring Test-Case Reusability in Fork Ecosystems. |
ASE |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Jiaming Ye, Shangzhou Xia, Fuyuan Zhang, Paolo Arcaini, Lei Ma 0003, Jianjun Zhao 0001, Fuyuki Ishikawa |
QuraTest: Integrating Quantum Specific Features in Quantum Program Testing. |
ASE |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Liang Wang 0006, Zhiwen Zheng, Xiangchen Wu, Baihui Sang, Jierui Zhang, Xianping Tao |
Fork Entropy: Assessing the Diversity of Open Source Software Projects' Forks. |
ASE |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Shangshu Qian, Wen Fan, Lin Tan 0001, Yongle Zhang |
Vicious Cycles in Distributed Software Systems. |
ASE |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Yuanzhang Lin, Guoyao Wen, Xiang Gao 0012 |
Automated Fixing of Web UI Tests via Iterative Element Matching. |
ASE |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Weiwei Xu, Hao He 0012, Kai Gao, Minghui Zhou 0001 |
Understanding and Remediating Open-Source License Incompatibilities in the PyPI Ecosystem. |
ASE |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Ziyou Jiang, Lin Shi 0006, Guowei Yang 0001, Qing Wang 0001 |
SCPatcher: Mining Crowd Security Discussions to Enrich Secure Coding Practices. |
ASE |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Jiaqi Xiong, Guoqiang Chen, Kejiang Chen, Han Gao, Shaoyin Cheng, Weiming Zhang 0001 |
HexT5: Unified Pre-Training for Stripped Binary Code Information Inference. |
ASE |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Haoyu Wang, Junjie Chen 0003, Chuyue Xie, Shuang Liu 0007, Zan Wang, Qingchao Shen, Yingquan Zhao |
MLIRSmith: Random Program Generation for Fuzzing MLIR Compiler Infrastructure. |
ASE |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Allison Sullivan |
Live Programming for Finite Model Finders. |
ASE |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Yang Lan, Di Jin, Zhun Wang, Wende Tan, Zheyu Ma, Chao Zhang 0008 |
Thunderkaller: Profiling and Improving the Performance of Syzkaller. |
ASE |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Aakash Bansal, Chia-Yi Su, Zachary Karas, Yifan Zhang, Yu Huang 0015, Toby Jia-Jun Li, Collin McMillan |
Modeling Programmer Attention as Scanpath Prediction. |
ASE |
2023 |
DBLP DOI BibTeX RDF |
|
1 | |
38th IEEE/ACM International Conference on Automated Software Engineering, ASE 2023, Luxembourg, September 11-15, 2023 |
ASE |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Shiyao Zhou, Muhui Jiang, Weimin Chen, Hao Zhou, Haoyu Wang 0001, Xiapu Luo |
WADIFF: A Differential Testing Framework for WebAssembly Runtimes. |
ASE |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Wenke Li, Feng Wu, Cai Fu, Fan Zhou |
A Large-Scale Empirical Study on Semantic Versioning in Golang Ecosystem. |
ASE |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Yanju Chen, Chenglong Wang, Xinyu Wang 0006, Osbert Bastani, Yu Feng 0001 |
Fast and Reliable Program Synthesis via User Interaction. |
ASE |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Zhao Tian, Junjie Chen, Zhi Jin |
Code Difference Guided Adversarial Example Generation for Deep Code Models. |
ASE |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Shengyou Hu, Huayao Wu, Peng Wang, Jing Chang, Yongjun Tu, Xiu Jiang, Xintao Niu, Changhai Nie |
ATOM: Automated Black-Box Testing of Multi-Label Image Classification Systems. |
ASE |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Dapeng Yan, Zhipeng Gao, Zhiming Liu 0001 |
A Closer Look at Different Difficulty Levels Code Generation Abilities of ChatGPT. |
ASE |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Wenbo Guo 0011, Zhengzi Xu, Chengwei Liu, Cheng Huang 0003, Yong Fang 0002, Yang Liu 0003 |
An Empirical Study of Malicious Code In PyPI Ecosystem. |
ASE |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Teng Wang 0004, Haochen He, Xiaodong Liu 0004, Shanshan Li 0001, Zhouyang Jia, Yu Jiang, Qing Liao 0001, Wang Li 0003 |
ConfTainter: Static Taint Analysis For Configuration Options. |
ASE |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Chunqiu Steven Xia, Yifeng Ding, Lingming Zhang 0001 |
The Plastic Surgery Hypothesis in the Era of Large Language Models. |
ASE |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Tundo, Marco Mobilio, Shashikant Ilager, Ivona Brandic, Ezio Bartocci, Leonardo Mariani |
An Energy-Aware Approach to Design Self-Adaptive AI-based Applications on the Edge. |
ASE |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Pengcheng Liu, Yifei Lu, Wenhua Yang 0001, Minxue Pan |
VALAR: Streamlining Alarm Ranking in Static Analysis with Value-Flow Assisted Active Learning. |
ASE |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Kai Huang, Xiangxin Meng, Jian Zhang, Yang Liu 0003, Wenjie Wang, Shuhao Li, Yuqing Zhang |
An Empirical Study on Fine-Tuning Large Language Models of Code for Automated Program Repair. |
ASE |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Shuai Shao, Tingting Yu |
Information Retrieval-Based Fault Localization for Concurrent Programs. |
ASE |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Jiakun Liu, Xing Hu 0008, Ferdian Thung, Shahar Maoz, Eran Toch, Debin Gao, David Lo 0001 |
AutoDebloater: Automated Android App Debloating. |
ASE |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Zhipeng Xue, Zhipeng Gao, Xing Hu 0008, Shanping Li |
ACWRecommender: A Tool for Validating Actionable Warnings with Weak Supervision. |
ASE |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Xinyue Liu, Lukasz Ziarek |
PTDETECTOR: An Automated JavaScript Front-end Library Detector. |
ASE |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Wenxuan Wang, Jingyuan Huang, Jen-tse Huang 0001, Chang Chen, Jiazhen Gu, Pinjia He, Michael R. Lyu |
An Image is Worth a Thousand Toxic Words: A Metamorphic Testing Framework for Content Moderation Software. |
ASE |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Yuan-an Xiao, Chenyang Yang 0002, Bo Wang 0050, Yingfei Xiong 0001 |
ExpressAPR: Efficient Patch Validation for Java Automated Program Repair Systems. |
ASE |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Lwin Khin Shar, Arda Goknil, Erik Johannes Husom, Sagar Sen, Yan Naing Tun, Kisub Kim |
AutoConf: Automated Configuration of Unsupervised Learning Systems Using Metamorphic Testing and Bayesian Optimization. |
ASE |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Weilin Luo, Yuhang Zheng, Rongzhen Ye, Hai Wan, Jianfeng Du, Pingjia Liang, Polong Chen |
SAT-Verifiable LTL Satisfiability Checking via Graph Representation Learning. |
ASE |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Bohan Zhang, Yashaswini Shivalingaiah, Ankit Agrawal 0002 |
DroneReqValidator: Facilitating High Fidelity Simulation Testing for Uncrewed Aerial Systems Developers. |
ASE |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Jia Xu 0010, Xiao Liu 0004, Wuzhen Pan, Xuejun Li 0001, Aiting Yao, Yun Yang 0001 |
EXPRESS 2.0: An Intelligent Service Management Framework for AIoT Systems in the Edge. |
ASE |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Zhenhao Li, An Ran Chen, Xing Hu 0008, Xin Xia 0001, Tse-Hsun Chen, Weiyi Shang |
Are They All Good? Studying Practitioners' Expectations on the Readability of Log Messages. |
ASE |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Prantik Chatterjee, Pankaj Kumar Kalita, Sumit Lahiri, Sujit Kumar Muduli, Vishal Singh, Gourav Takhar, Subhajit Roy 0001 |
An Integrated Program Analysis Framework for Graduate Courses in Programming Languages and Software Engineering. |
ASE |
2023 |
DBLP DOI BibTeX RDF |
|
1 | He Ye, Zimin Chen, Claire Le Goues |
PreciseBugCollector: Extensible, Executable and Precise Bug-Fix Collection: Solution for Challenge 8: Automating Precise Data Collection for Code Snippets with Bugs, Fixes, Locations, and Types. |
ASE |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Mingxuan Xiao, Yan Xiao 0002, Hai Dong, Shunhui Ji, Pengcheng Zhang |
LEAP: Efficient and Automated Test Method for NLP Software. |
ASE |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Wenxin Xiao, Jingyue Li, Hao He 0012, Ruiqiao Qiu, Minghui Zhou 0001 |
Personalized First Issue Recommender for Newcomers in Open Source Projects. |
ASE |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Tao Wang 0030, Wei Chen 0018, Liwei Liu, Guoquan Wu, Jun Wei 0001, Tao Huang 0001 |
Detecting Smart Home Automation Application Interferences with Domain Knowledge. |
ASE |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Dongwei Xiao, Zhibo Liu, Shuai Wang |
PhyFu: Fuzzing Modern Physics Simulation Engines. |
ASE |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Talank Baral, Shanto Rahman, Bala Naren Chanumolu, Basak Balci, Tuna Tuncer, August Shi, Wing Lam |
Optimizing Continuous Development by Detecting and Preventing Unnecessary Content Generation. |
ASE |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Samarth Sikand, Vibhu Saujanya Sharma, Vikrant Kaulgud, Sanjay Podder |
Green AI Quotient: Assessing Greenness of AI-based software and the way forward. |
ASE |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Szymon Stradowski, Lech Madeyski |
Bridging the Gap Between Academia and Industry in Machine Learning Software Defect Prediction: Thirteen Considerations. |
ASE |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Tamal Mondal, Scott Barnett, Akash Lal, Jyothi Vedurada |
Cell2Doc: ML Pipeline for Generating Documentation in Computational Notebooks. |
ASE |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Bo Peng, Pingjia Liang, Tingchen Han, Weilin Luo, Jianfeng Du, Hai Wan, Rongzhen Ye, Yuhang Zheng |
PURLTL: Mining LTL Specification from Imperfect Traces in Testing. |
ASE |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Kanchanjot Kaur Phokela, Samarth Sikand, Kapil Singi, Kuntal Dey, Vibhu Saujanya Sharma, Vikrant Kaulgud |
Smart Prompt Advisor: Multi-Objective Prompt Framework for Consistency and Best Practices. |
ASE |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Mira Leung, Gail Murphy |
On Automated Assistants for Software Development: The Role of LLMs. |
ASE |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Nuno Saavedra, João Gonçalves, Miguel Henriques, João F. Ferreira 0001, Alexandra Mendes |
Polyglot Code Smell Detection for Infrastructure as Code with GLITCH. |
ASE |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Shixin Zhang, Shanna Li, Xi Deng, Jiwei Yan, Jun Yan 0009 |
ICTDroid: Parameter-Aware Combinatorial Testing for Components of Android Apps. |
ASE |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Shi Meng, Liu Wang, Shenao Wang, Kailong Wang, Xusheng Xiao, Guangdong Bai, Haoyu Wang 0001 |
Wemint:Tainting Sensitive Data Leaks in WeChat Mini-Programs. |
ASE |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Paschal C. Amusuo, Ricardo Andrés Calvo Méndez, Zhongwei Xu, Aravind Machiry, James C. Davis 0001 |
Systematically Detecting Packet Validation Vulnerabilities in Embedded Network Stacks. |
ASE |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Qiang Hu, Yuejun Guo 0001, Maxime Cordy, Mike Papadakis, Yves Le Traon |
MUTEN: Mutant-Based Ensembles for Boosting Gradient-Based Adversarial Attack. |
ASE |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Egor Klimov, Muhammad Umair Ahmed, Nikolai Sviridov, Pouria Derakhshanfar, Eray Tüzün, Vladimir Kovalenko |
Bus Factor Explorer. |
ASE |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Xin-Cheng Wen, Xinchen Wang, Cuiyun Gao, Shaohua Wang 0002, Yang Liu 0003, Zhaoquan Gu |
When Less is Enough: Positive and Unlabeled Learning Model for Vulnerability Detection. |
ASE |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Zhuo Li, Xiongfei Wu, Derui Zhu, Mingfei Cheng, Siyuan Chen, Fuyuan Zhang, Xiaofei Xie, Lei Ma 0003, Jianjun Zhao 0001 |
Generative Model-Based Testing on Decision-Making Policies. |
ASE |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Chunyang Meng, Shijie Song, Haogang Tong, Maolin Pan, Yang Yu 0027 |
DeepScaler: Holistic Autoscaling for Microservices Based on Spatiotemporal GNN with Adaptive Graph Learning. |
ASE |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Xiaoxue Ren, Xinyuan Ye, Dehai Zhao, Zhenchang Xing, Xiaohu Yang 0001 |
From Misuse to Mastery: Enhancing Code Generation with Knowledge-Driven AI Chaining. |
ASE |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Johannes Düsing, Ben Hermann 0001 |
Persisting and Reusing Results of Static Program Analyses on a Large Scale. |
ASE |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Siang Zhao, Zhongyang Li, Zhenbang Chen, Ji Wang 0001 |
Symbolic Verification of Fuzzy Logic Models. |
ASE |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Eric Liu, Shengjie Xu, David Lie |
FLUX: Finding Bugs with LLVM IR Based Unit Test Crossovers. |
ASE |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Yintong Huo, Yichen Li, Yuxin Su 0001, Pinjia He, Zifan Xie, Michael R. Lyu |
AutoLog: A Log Sequence Synthesis Framework for Anomaly Detection. |
ASE |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Xiaoyin Wang, Tahmid Rafi, Na Meng 0001 |
VRGuide: Efficient Testing of Virtual Reality Scenes via Dynamic Cut Coverage. |
ASE |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Gabin An, Minhyuk Kwon, Kyunghwa Choi, Jooyong Yi, Shin Yoo |
BUGSC++: A Highly Usable Real World Defect Benchmark for C/C++. |
ASE |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Tsz On Li, Wenxi Zong, Yibo Wang, Haoye Tian, Ying Wang 0038, Shing-Chi Cheung, Jeff Kramer |
Nuances are the Key: Unlocking ChatGPT to Find Failure-Inducing Tests with Differential Prompting. |
ASE |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Wei Wang, Andrei Benea, Franjo Ivancic |
Zero-Config Fuzzing for Microservices. |
ASE |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Xiufeng Xu, Chenguang Zhu 0002, Yi Li 0008 |
Compsuite: A Dataset of Java Library Upgrade Incompatibility Issues. |
ASE |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Zongze Jiang, Ming Wen 0001, Yixin Yang, Chao Peng 0002, Ping Yang, Hai Jin 0001 |
Effective Concurrency Testing for Go via Directional Primitive-Constrained Interleaving Exploration. |
ASE |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Lyuye Zhang, Chengwei Liu, Sen Chen 0001, Zhengzi Xu, Lingling Fan 0003, Lida Zhao, Yiran Zhang, Yang Liu 0003 |
Mitigating Persistence of Open-Source Vulnerabilities in Maven Ecosystem. |
ASE |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Peisen Yao, Jingyu Ke, Jiahui Sun, Hongfei Fu 0001, Rongxin Wu, Kui Ren 0001 |
Demystifying Template-Based Invariant Generation for Bit-Vector Programs. |
ASE |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Mingwei Liu 0002, Tianyong Yang, Yiling Lou, Xueying Du, Ying Wang, Xin Peng 0001 |
CodeGen4Libs: A Two-Stage Approach for Library-Oriented Code Generation. |
ASE |
2023 |
DBLP DOI BibTeX RDF |
|
Displaying result #101 - #200 of 2695 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ >>] |
|