![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Search dblp
Full-text search
- > Home
Please enter a search query
- case-insensitive prefix search: default
e.g., sig matches "SIGIR" as well as "signal" - exact word search: append dollar sign ($) to word
e.g., graph$ matches "graph", but not "graphics" - boolean and: separate words by space
e.g., codd model - boolean or: connect words by pipe symbol (|)
e.g., graph|network
Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.
Author search results
no matches
Venue search results
no matches
Refine list
refine by author
- no options
- temporarily not available
refine by venue
- no options
- temporarily not available
refine by type
- no options
- temporarily not available
refine by access
- no options
- temporarily not available
refine by year
- no options
- temporarily not available
Publication search results
found 121 matches
- 2024
- Dirk Beyer, Po-Chun Chien, Marek Jankola, Nian-Ze Lee:
A Transferability Study of Interpolation-Based Hardware Model Checking for Software Verification. Proc. ACM Softw. Eng. 1(FSE): 2028-2050 (2024) - Dirk Beyer, Matthias Kettl, Thomas Lemberger:
Decomposing Software Verification using Distributed Summary Synthesis. Proc. ACM Softw. Eng. 1(FSE): 1307-1329 (2024) - Tao Chen, Miqing Li:
Adapting Multi-objectivized Software Configuration Tuning. Proc. ACM Softw. Eng. 1(FSE): 539-561 (2024) - Xiao Cheng, Jiawei Ren, Yulei Sui:
Fast Graph Simplification for Path-Sensitive Typestate Analysis through Tempo-Spatial Multi-Point Slicing. Proc. ACM Softw. Eng. 1(FSE): 494-516 (2024) - Yi Qin, Yanxiang Tong, Yifei Xu, Chun Cao, Xiaoxing Ma:
Active Monitoring Mechanism for Control-Based Self-Adaptive Systems. Proc. ACM Softw. Eng. 1(FSE): 1841-1864 (2024) - Yan Wang, Xiaoning Li, Tien N. Nguyen, Shaohua Wang, Chao Ni, Ling Ding:
Natural Is the Best: Model-Agnostic Code Simplification for Pre-trained Large Language Models. Proc. ACM Softw. Eng. 1(FSE): 586-608 (2024) - Wei Wang, Huilong Ning, Gaowei Zhang, Libo Liu, Yi Wang:
Rocks Coding, Not Development: A Human-Centric, Experimental Evaluation of LLM-Supported SE Tasks. Proc. ACM Softw. Eng. 1(FSE): 699-721 (2024) - Tarek Alakmeh, David R. Reich, Lena A. Jäger, Thomas Fritz:
Predicting Code Comprehension: A Novel Approach to Align Human Gaze with Code using Deep Neural Networks. Proc. ACM Softw. Eng. 1(FSE): 1982-2004 (2024) - Ramakrishna Bairi, Atharv Sonwane, Aditya Kanade, Vageesh D. C., Arun Iyer, Suresh Parthasarathy, Sriram Rajamani, Balasubramanyan Ashok, Shashank Shet:
CodePlan: Repository-Level Coding using LLMs and Planning. Proc. ACM Softw. Eng. 1(FSE): 675-698 (2024) - Christian Birchler, Tanzil Kombarabettu Mohammed, Pooja Rani, Teodora Nechita, Timo Kehrer, Sebastiano Panichella:
How Does Simulation-Based Testing for Self-Driving Cars Match Human Perception? Proc. ACM Softw. Eng. 1(FSE): 929-950 (2024) - Islem Bouzenia, Bajaj Piyush Krishan, Michael Pradel:
DyPyBench: A Benchmark of Executable Python Software. Proc. ACM Softw. Eng. 1(FSE): 338-358 (2024) - David Broneske, Sebastian Kittan, Jacob Krüger:
Sharing Software-Evolution Datasets: Practices, Challenges, and Recommendations. Proc. ACM Softw. Eng. 1(FSE): 2051-2074 (2024) - Luwei Cai, Fu Song, Taolue Chen:
Towards Efficient Verification of Constant-Time Cryptographic Implementations. Proc. ACM Softw. Eng. 1(FSE): 1019-1042 (2024) - Ophir M. Carmel, Guy Katz:
On Reducing Undesirable Behavior in Deep-Reinforcement-Learning-Based Software. Proc. ACM Softw. Eng. 1(FSE): 1518-1539 (2024) - Simin Chen, Zexin Li, Wei Yang, Cong Liu:
DeciX: Explain Deep Learning Based Code Generation Applications. Proc. ACM Softw. Eng. 1(FSE): 2424-2446 (2024) - Zhiyang Chen, Ye Liu, Sidi Mohamed Beillahi, Yi Li, Fan Long:
Demystifying Invariant Effectiveness for Securing Smart Contracts. Proc. ACM Softw. Eng. 1(FSE): 1772-1795 (2024) - Jesse Chen, Dharun Anandayuvaraj, James C. Davis, Sazzadur Rahaman:
On the Contents and Utility of IoT Cybersecurity Guidelines. Proc. ACM Softw. Eng. 1(FSE): 1400-1423 (2024) - Simin Chen, Xiaoning Feng, Xiaohong Han, Cong Liu, Wei Yang:
PPM: Automated Generation of Diverse Programming Problems for Benchmarking Code Generation Models. Proc. ACM Softw. Eng. 1(FSE): 1194-1215 (2024) - Yuntianyi Chen, Yuqi Huai, Shilong Li, Changnam Hong, Joshua Garcia:
Misconfiguration Software Testing for Failure Emergence in Autonomous Driving Systems. Proc. ACM Softw. Eng. 1(FSE): 1913-1936 (2024) - Jinyin Chen, Chengyu Jia, Yunjie Yan, Jie Ge, Haibin Zheng, Yao Cheng:
A Miss Is as Good as A Mile: Metamorphic Testing for Deep Learning Operators. Proc. ACM Softw. Eng. 1(FSE): 2005-2027 (2024) - Xiangping Chen, Furen Xu, Yuan Huang, Neng Zhang, Zibin Zheng:
JIT-Smart: A Multi-task Learning Framework for Just-in-Time Defect Prediction and Localization. Proc. ACM Softw. Eng. 1(FSE): 1-23 (2024) - Sourav Deb, Kush Jain, Rijnard van Tonder, Claire Le Goues, Alex Groce:
Syntax Is All You Need: A Universal-Language Approach to Mutant Generation. Proc. ACM Softw. Eng. 1(FSE): 654-674 (2024) - Giovanni Denaro, Noura El Moussa, Rahim Heydarov, Francesco Lomio, Mauro Pezzè, Ketai Qiu:
Predicting Failures of Autoscaling Distributed Applications. Proc. ACM Softw. Eng. 1(FSE): 1960-1981 (2024) - Malinda Dilhara, Abhiram Bellur, Timofey Bryksin, Danny Dig:
Unprecedented Code Change Automation: The Fusion of LLMs and Transformation by Example. Proc. ACM Softw. Eng. 1(FSE): 631-653 (2024) - Shihan Dou, Yueming Wu, Haoxiang Jia, Yuhao Zhou, Yan Liu, Yang Liu:
CC2Vec: Combining Typed Tokens with Contrastive Learning for Effective Code Clone Detection. Proc. ACM Softw. Eng. 1(FSE): 1564-1584 (2024) - Georgios-Petros Drosos, Thodoris Sotiropoulos, Diomidis Spinellis, Dimitris Mitropoulos:
Bloat beneath Python's Scales: A Fine-Grained Inter-Project Dependency Analysis. Proc. ACM Softw. Eng. 1(FSE): 2584-2607 (2024) - Hai Duong, Dong Xu, ThanhVu Nguyen, Matthew B. Dwyer:
Harnessing Neuron Stability to Improve DNN Verification. Proc. ACM Softw. Eng. 1(FSE): 859-881 (2024) - Madeline Endres, Sarah Fakhoury, Saikat Chakraborty, Shuvendu K. Lahiri:
Can Large Language Models Transform Natural Language Intent into Formal Method Postconditions? Proc. ACM Softw. Eng. 1(FSE): 1889-1912 (2024) - Haeun Eom, Dohee Kim, Sori Lim, Hyungjoon Koo, Sungjae Hwang:
R2I: A Relative Readability Metric for Decompiled Code. Proc. ACM Softw. Eng. 1(FSE): 383-405 (2024) - Farbod Farhour, Ahmad Abdellatif, Essam Mansour, Emad Shihab:
A Weak Supervision-Based Approach to Improve Chatbots for Code Repositories. Proc. ACM Softw. Eng. 1(FSE): 2378-2401 (2024)
skipping 91 more matches
loading more results
failed to load more results, please try again later
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
retrieved on 2024-07-28 02:22 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint