Остановите войну!
for scientists:
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 139 matches
- 2023
- Daniel Lehmann, Michelle Thalakottur, Frank Tip, Michael Pradel:
That's a Tough Call: Studying the Challenges of Call Graph Construction for WebAssembly. ISSTA 2023: 892-903 - Lei Cui, Jiancong Cui, Yuede Ji, Zhiyu Hao, Lun Li, Zhenquan Ding:
API2Vec: Learning Representations of API Sequences for Malware Detection. ISSTA 2023: 261-273 - Juan C. Alonso, Sergio Segura, Antonio Ruiz-Cortés:
AGORA: Automated Generation of Test Oracles for REST APIs. ISSTA 2023: 1018-1030 - Ziyad Alsaeed, Michal Young:
Finding Short Slow Inputs Faster with Grammar-Based Search. ISSTA 2023: 1068-1079 - Ziyad Alsaeed, Michal Young:
TreeLine and SlackLine: Grammar-Based Performance Fuzzing on Coffee Break. ISSTA 2023: 1507-1510 - Shenglin Bao, Chaofeng Sha, Bihuan Chen, Xin Peng, Wenyun Zhao:
In Defense of Simple Techniques for Neural Network Test Case Selection. ISSTA 2023: 501-513 - Dan Bruce, David Kelly, Héctor D. Menéndez, Earl T. Barr, David Clark:
June: A Type Testability Transformation for Improved ATG Performance. ISSTA 2023: 274-284 - Lei Bu, Qiuping Zhang, Suwan Li, Jinglin Dai, Guangdong Bai, Kai Chen, Xuandong Li:
Security Checking of Trigger-Action-Programming Smart Home Integrations. ISSTA 2023: 639-651 - Dylan Callaghan, Bernd Fischer:
Improving Spectrum-Based Localization of Multiple Faults by Iterative Test Suite Reduction. ISSTA 2023: 1445-1457 - Zhuo Chen, Jie Liu, Yubo Hu, Lei Wu, Yajin Zhou, Yiling He, Xianhao Liao, Ke Wang, Jinku Li, Zhan Qin:
DeUEDroid: Detecting Underground Economy Apps Based on UTG Similarity. ISSTA 2023: 223-235 - Chu Chen, Pinghong Ren, Zhenhua Duan, Cong Tian, Xu Lu, Bin Yu:
SBDT: Search-Based Differential Testing of Certificate Parsers in SSL/TLS Implementations. ISSTA 2023: 967-979 - Simin Chen, Shiyi Wei, Cong Liu, Wei Yang:
DyCL: Dynamic Neural Network Compilation Via Program Rewriting and Graph Optimization. ISSTA 2023: 614-626 - Yang Chen, Alperen Yildiz, Darko Marinov, Reyhaneh Jabbarvand:
Transforming Test Suites into Croissants. ISSTA 2023: 1080-1092 - Kai Cheng, Yaowen Zheng, Tao Liu, Le Guan, Peng Liu, Hong Li, Hongsong Zhu, Kejiang Ye, Limin Sun:
Detecting Vulnerabilities in Linux-Based Embedded Firmware with SSE-Based On-Demand Alias Analysis. ISSTA 2023: 360-372 - Mingfei Cheng, Yuan Zhou, Xiaofei Xie:
BehAVExplor: Behavior Diversity Guided Testing for Autonomous Driving Systems. ISSTA 2023: 488-500 - Michael Chesser, Surya Nepal, Damith C. Ranasinghe:
Icicle: A Re-designed Emulator for Grey-Box Firmware Fuzzing. ISSTA 2023: 76-88 - Yiu Wai Chow, Max Schäfer, Michael Pradel:
Beware of the Unexpected: Bimodal Taint Analysis. ISSTA 2023: 211-222 - Nadia Daoudi, Kevin Allix, Tegawendé F. Bissyandé, Jacques Klein:
Guided Retraining to Enhance the Detection of Difficult Android Malware. ISSTA 2023: 1131-1143 - Yinlin Deng, Chunqiu Steven Xia, Haoran Peng, Chenyuan Yang, Lingming Zhang:
Large Language Models Are Zero-Shot Fuzzers: Fuzzing Deep-Learning Libraries via Large Language Models. ISSTA 2023: 423-435 - Yangruibo Ding, Saikat Chakraborty, Luca Buratti, Saurabh Pujar, Alessandro Morari, Gail E. Kaiser, Baishakhi Ray:
CONCORD: Clone-Aware Contrastive Learning for Source Code. ISSTA 2023: 26-38 - Yihong Dong, Ge Li, Zhi Jin:
CODEP: Grammatical Seq2Seq Model for General-Purpose Code Generation. ISSTA 2023: 188-198 - Mara Downing:
Quantitative Robustness Analysis of Neural Networks. ISSTA 2023: 1527-1531 - Hang Du, Vijay Krishna Palepu, James A. Jones:
To Kill a Mutant: An Empirical Study of Mutation Testing Kills. ISSTA 2023: 715-726 - William Eiers, Ganesh Sankaran, Tevfik Bultan:
Quantitative Policy Repair for Access Control on the Cloud. ISSTA 2023: 564-575 - Max Eisele, Daniel Ebert, Christopher Huth, Andreas Zeller:
Fuzzing Embedded Systems using Debug Interfaces. ISSTA 2023: 1031-1042 - Karine Even-Mendoza, Arindam Sharma, Alastair F. Donaldson, Cristian Cadar:
GrayC: Greybox Fuzzing of Compilers and Analysers for C. ISSTA 2023: 1219-1231 - Zhiyu Fan, Shin Hwei Tan, Abhik Roychoudhury:
Concept-Based Automated Grading of CS-1 Programming Assignments. ISSTA 2023: 199-210 - Yuzhou Fang, Daoyuan Wu, Xiao Yi, Shuai Wang, Yufan Chen, Mengjie Chen, Yang Liu, Lingxiao Jiang:
Beyond "Protected" and "Private": An Empirical Security Analysis of Custom Function Modifiers in Smart Contracts. ISSTA 2023: 1157-1168 - Pengcheng Fang, Zhenhua Zou, Xusheng Xiao, Zhuotao Liu:
iSyn: Semi-automated Smart Contract Synthesis from Legal Financial Agreements. ISSTA 2023: 727-739 - Francisco Ferreira, Sung-Shik Jongmans:
Oven: Safe and Live Communication Protocols in Scala, using Synthetic Behavioural Type Analysis. ISSTA 2023: 1511-1514
skipping 109 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-05-11 09:21 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