


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.
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 97 matches
- 2023
- Shaukat Ali, Tao Yue:
Quantum Software Testing: A Brief Introduction. ICSE Companion 2023: 332-333 - Dirk Beyer
, Sudeep Kanav, Henrik Wachowitz:
CoVeriTeam Service: Verification as a Service. ICSE Companion 2023: 21-25 - S M Hasan Mansur, Kevin Moran:
Toward Automated Tools to Support Ethical GUI Design. ICSE Companion 2023: 294-298 - Arpan Agrawal, Emily First, Zhanna Kaufman, Tom Reichel, Shizhuo Zhang, Timothy Zhou
, Alex Sanchez-Stern, Talia Ringer, Yuriy Brun:
PRoofster: Automated Formal Verification. ICSE Companion 2023: 26-30 - Fozail Ahmad:
Graph Solver as a Service. ICSE Companion 2023: 291-293 - Luís Almeida, Miguel Gonzaga, José Fragoso Santos
, Rui Abreu
:
Rexstepper: a Reference Debugger for JavaScript Regular Expressions. ICSE Companion 2023: 41-45 - Bimpe Ayoola:
Evaluation of Stakeholder Mapping and Personas for Sustainable Software Development. ICSE Companion 2023: 270-272 - Abdul Ali Bangash
:
Cost-effective Strategies for Building Energy Efficient Mobile Applications. ICSE Companion 2023: 281-285 - Joshua Behler, Praxis Weston, Drew T. Guarnera, Bonita Sharif
, Jonathan I. Maletic:
iTrace-Toolkit: A Pipeline for Analyzing Eye-Tracking Data of Software Engineering Studies. ICSE Companion 2023: 46-50 - Leon Bettscheider:
Learning Test Input Constraints from Branch Conditions. ICSE Companion 2023: 248-250 - Umamaheswara Sharma Bhutamapuram
:
Some Investigations of Machine Learning Models for Software Defects. ICSE Companion 2023: 259-263 - Shuanglong Chang, Juntao Gao, Yilong Yang:
InputGen: A Tool for Automatic Generation of Prototype Inputs to Support Rapid Requirements Validation. ICSE Companion 2023: 122-126 - Wachiraphan Charoenwet
:
Complementing Secure Code Review with Automated Program Analysis. ICSE Companion 2023: 189-191 - Zhongqi Chen, Neng Zhang, Pengyue Si, Qinde Chen, Chao Liu, Zibin Zheng:
ShellFusion: An Answer Generator for Shell Programming Tasks via Knowledge Fusion. ICSE Companion 2023: 93-97 - Jialuo Chen, Youcheng Sun, Jingyi Wang, Peng Cheng, Xingjun Ma:
DEEPJUDGE: A Testing Framework for Copyright Protection of Deep Learning Models. ICSE Companion 2023: 64-67 - Sridhar Chimalakonda, Debeshee Das, Alex Mathai, Srikanth Tamilselvam, Atul Kumar:
The Landscape of Source Code Representation Learning in AI-Driven Software Engineering Tasks. ICSE Companion 2023: 342-343 - Wenjing Deng:
AIGROW: A Feedback-Driven Test Generation Framework for Hardware Model Checkers. ICSE Companion 2023: 314-316 - Chandan Dhal, Xiaoqin Fu, Haipeng Cai
:
A Control-Theoretic Approach to Auto-Tuning Dynamic Analysis for Distributed Services. ICSE Companion 2023: 330-331 - Zishuo Ding:
Towards Utilizing Natural Language Processing Techniques to Assist in Software Engineering Tasks. ICSE Companion 2023: 286-290 - Michael Fu
:
Toward More Effective Deep Learning-based Automated Software Vulnerability Prediction, Classification, and Repair. ICSE Companion 2023: 208-212 - Joshua Garcia, Mehdi Mirakhorli, Lu Xiao, Sam Malek, Rick Kazman, Yuanfang Cai, Nenad Medvidovic:
SAIN: A Community-Wide Software Architecture INfrastructure. ICSE Companion 2023: 336-337 - Martin Gruber, Gordon Fraser:
FlaPy: Mining Flaky Python Tests at Scale. ICSE Companion 2023: 127-131 - Saksham Gupta, Gust Verbruggen, Mukul Singh, Sumit Gulwani, Vu Le:
Personalized action suggestions in low-code automation platforms. ICSE Companion 2023: 346-350 - Austin Hoag, James E. Kostas, Bruno Castro da Silva, Philip S. Thomas, Yuriy Brun
:
Seldonian Toolkit: Building Software with Safe and Fair Machine Learning. ICSE Companion 2023: 107-111 - Rashina Hoda:
Technical Briefing on Socio-Technical Grounded Theory for Qualitative Data Analysis. ICSE Companion 2023: 344-345 - Jaemin Hong
:
Improving Automatic C-to-Rust Translation with Static Analysis. ICSE Companion 2023: 273-277 - Qing Huang, Jiahui Zhu, Zhilong Li, Zhenchang Xing, Changjing Wang, Xiwei Xu:
PCR-Chain: Partial Code Reuse Assisted by Hierarchical Chaining of Prompts on Frozen Copilot. ICSE Companion 2023: 1-5 - Nargiz Humbatova, Gunel Jahangirova, Paolo Tonella:
DeepCrime: from Real Faults to Mutation Testing Tool for Deep Learning. ICSE Companion 2023: 68-72 - Dmitry Ivanov, Alexey Babushkin, Saveliy Grigoryev, Pavel Iatchenii, Vladislav Kalugin
, Egor Kichin, Egor Kulikov, Aleksandr Misonizhnik, Dmitry Mordvinov, Sergey Morozov, Olga Naumenko, Alexey Pleshakov, Pavel Ponomarev, Svetlana Shmidt, Alexey Utkin, Vadim Volodin, Arseniy Volynets:
UnitTestBot: Automated Unit Test Generation for C Code in Integrated Development Environments. ICSE Companion 2023: 380-384 - Sungmin Kang, Shin Yoo:
GLAD: Neural Predicate Synthesis to Repair Omission Faults. ICSE Companion 2023: 320-321
loading more results
failed to load more results, please try again later

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.
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.
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.
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 2025-07-12 04:54 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
