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 3,025 matches
- 2023
- Tooba Aamir, Mohan Baruwal Chhetri, M. A. P. Chamikara, Marthie Grobler:
Government Mobile Apps: Analysing Citizen Feedback via App Reviews. ASE 2023: 1858-1863 - Alexandre Abreu, Nuno Macedo, Alexandra Mendes:
Exploring Automatic Specification Repair in Dafny Programs. ASEW 2023: 105-112 - Toufique Ahmed, Premkumar T. Devanbu:
Better Patching Using LLM Prompting, via Self-Consistency. ASE 2023: 1742-1746 - Issam Al-Azzoni, Reiko Heckel:
Modelling Multi-Party Role-Based Access Control Policies for iContractML Smart Contracts. ASEW 2023: 100-104 - João Cambaia De Almeida, Fernando Brito e Abreu, Duarte Almeida:
Cross-Platform Mobile App Development: The IscteSpots experience. ASEW 2023: 11-16 - Paschal C. Amusuo, Ricardo Andrés Calvo Méndez, Zhongwei Xu, Aravind Machiry, James C. Davis:
Systematically Detecting Packet Validation Vulnerabilities in Embedded Network Stacks. ASE 2023: 926-938 - Gabin An, Minhyuk Kwon, Kyunghwa Choi, Jooyong Yi, Shin Yoo:
BUGSC++: A Highly Usable Real World Defect Benchmark for C/C++. ASE 2023: 2034-2037 - Monika Di Angelo, Thomas Durieux, João F. Ferreira, Gernot Salzer:
SmartBugs 2.0: An Execution Framework for Weakness Detection in Ethereum Smart Contracts. ASE 2023: 2102-2105 - Michael Auer, Gordon Fraser:
Exploring Android Apps Using Motif Actions. ASEW 2023: 135-142 - Marco Autili, Alessio Bucaioni, Gianluca Filippone, Farnaz Fotrousi, Rim Saddem, Gian Luca Scoccia:
5th International Workshop on Automated and Verifiable Software System Development (ASYDE 2023). ASEW 2023: 9-10 - Marco Autili, Gianluca Filippone, Massimo Tivoli:
Migrating from Monoliths to Microservices: Enforcing Correct Coordination. ASEW 2023: 113-118 - Sai Krishna Avula, Venkatesh Vobbilisetti, Shouvick Mondal:
Minecraft: Automated Mining of Software Bug Fixes with Precise Code Context. ASE 2023: 1969-1979 - Aakash Bansal, Chia-Yi Su, Zachary Karas, Yifan Zhang, Yu Huang, Toby Jia-Jun Li, Collin McMillan:
Modeling Programmer Attention as Scanpath Prediction. ASE 2023: 1732-1736 - Michael Bar-Sinai, Achiya Elyasaf, Gera Weiss, Yeshayahu Weiss:
Provengo: A Tool Suite for Scenario Driven Model-Based Testing. ASE 2023: 2062-2065 - 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: 901-913 - Dirk Beyer, Po-Chun Chien, Nian-Ze Lee:
CPA-DF: A Tool for Configurable Interval Analysis to Boost Program Verification. ASE 2023: 2050-2053 - Dirk Beyer, Marian Lingsch Rosenfeld, Martin Spiessl:
cegar-pt: A Tool for Abstraction by Program Transformation. ASE 2023: 2078-2081 - Dirk Beyer, Martin Spiessl:
LIV: Loop-Invariant Validation Using Straight-Line Programs. ASE 2023: 2074-2077 - 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: 2058-2061 - Tegawendé F. Bissyandé, Jacques Klein, Christian Bird, Federica Sarro:
Message from the Chairs: ASE 2023. ASE 2023: xxxii-xxxv - Halil Ibrahim Ceylan, Onur Kilinççeker, Mutlu Beyazit, Serge Demeyer:
MUT4SLX: Fast Mutant Generation for Simulink. ASE 2023: 2086-2089 - Sarthak Chakraborty, Shubham Agarwal, Shaddy Garg, Abhimanyu Sethia, Udit Narayan Pandey, Videh Aggarwal, Shiv Kumar Saini:
ESRO: Experience Assisted Service Reliability against Outages. ASE 2023: 255-267 - Xiaoning Chang, Zheheng Liang, Guoquan Wu, Yu Gao, Wei Chen, Jun Wei, Zhenyue Long, Lei Cui, Tao Huang:
Characterizing Flaky Tests in Node.js Applications. ASE 2023: 1753-1755 - Rajrupa Chattaraj, Sridhar Chimalakonda:
RJoules: An Energy Measurement Tool for R. ASE 2023: 2026-2029 - Prantik Chatterjee, Pankaj Kumar Kalita, Sumit Lahiri, Sujit Kumar Muduli, Vishal Singh, Gourav Takhar, Subhajit Roy:
An Integrated Program Analysis Framework for Graduate Courses in Programming Languages and Software Engineering. ASE 2023: 598-610 - Yanju Chen, Chenglong Wang, Xinyu Wang, Osbert Bastani, Yu Feng:
Fast and Reliable Program Synthesis via User Interaction. ASE 2023: 963-975 - Yiru Chen, Chenxi Zhang, Zhen Dong, Dingyu Yang, Xin Peng, Jiayu Ou, Hong Yang, Zheshun Wu, Xiaojun Qu, Wei Li:
Dynamic Graph Neural Networks-Based Alert Link Prediction for Online Service Systems. ASE 2023: 79-90 - Mohan Baruwal Chhetri, Xiao Liu, Marthie Grobler, Thuong N. Hoang, Karen Renaud, Chetan Arora:
Report on the 4th Workshop on Human-Centric Software Engineering & Cyber Security (HCSE&CS 2023). ASEW 2023: 1-2 - Baoquan Cui, Miaomiao Wang, Chi Zhang, Jiwei Yan, Jun Yan, Jian Zhang:
Detection of Java Basic Thread Misuses Based on Static Event Analysis. ASE 2023: 1049-1060 - Debeshee Das, Noble Saji Mathews, Alex Mathai, Srikanth Tamilselvam, Kranthi Sedamaki, Sridhar Chimalakonda, Atul Kumar:
COMEX: A Tool for Generating Customized Source Code Representations. ASE 2023: 2054-2057
skipping 2,995 more matches
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.
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-10-06 23:39 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