Остановите войну!
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 27 matches
- 2014
- Haipeng Cai, Raúl A. Santelices, Tianyu Xu:
Estimating the Accuracy of Dynamic Change-Impact Analysis Using Sensitivity Analysis. SERE 2014: 48-57 - Jiaqiang Chen, Shulong Liu, Wangshu Liu, Xiang Chen, Qing Gu, Daoxu Chen:
A Two-Stage Data Preprocessing Approach for Software Fault Prediction. SERE 2014: 20-29 - Luping Chen, John H. R. May:
A Diversity Model Based on Failure Distribution and Its Application in Safety Cases. SERE 2014: 1-10 - Mohammad R. Eletriby, Mohammed Ali Sobh, Ayman M. Bahaa Eldin, Hossam M. A. Fahmy:
High Performance Java Card Operating System. SERE 2014: 30-39 - Mohammad Reza Farhadi, Benjamin C. M. Fung, Philippe Charland, Mourad Debbabi:
BinClone: Detecting Code Clones in Malware. SERE 2014: 78-87 - Elizabeta Fourneret, Jérôme Cantenot, Fabrice Bouquet, Bruno Legeard, Julien Botella:
SeTGaM: Generalized Technique for Regression Testing Based on UML/OCL Models. SERE 2014: 147-156 - Lena Herscheid, Peter Tröger:
Specification of Dynamic Fault Tree Concepts with Stochastic Petri Nets. SERE 2014: 177-186 - Charitha Hettiarachchi, Hyunsook Do, Byoungju Choi:
Effective Regression Testing Using Requirements and Risks. SERE 2014: 157-166 - Gerry Howser, Bruce M. McMillin:
A Modal Model of Stuxnet Attacks on Cyber-physical Systems: A Matter of Trust. SERE 2014: 225-234 - Azadeh Jahanbanifar, Ferhat Khendek, Maria Toeroe:
Providing Hardware Redundancy for Highly Available Services in Virtualized Environments. SERE 2014: 40-47 - Jang Jin Kwon, Doohwan Kim, Jae Jin Park, Jang-Eui Hong:
Collision Analysis of Safety Devices to Prevent Hazards in Safety Critical Systems. SERE 2014: 245-254 - Mo Li, Shaoying Liu:
Traceability-Based Formal Specification Inspection. SERE 2014: 167-176 - Ang Li, Zishan Qin, Mingsong Chen, Jing Liu:
ADAutomation: An Activity Diagram Based Automated GUI Testing Framework for Smartphone Applications. SERE 2014: 68-77 - Chung-Yi Lin, Wen-Guey Tzeng:
Game-Theoretic Strategy Analysis for Data Reliability Management in Cloud Storage Systems. SERE 2014: 187-195 - Hsiao-Ying Lin, Li-Ping Tung, Bao-Shuh Paul Lin:
Reliable Repair Mechanisms with Low Connection Cost for Code Based Distributed Storage Systems. SERE 2014: 235-244 - Yen Ju Liu, Chong Kuan Chen, Michael Cheng Yi Cho, Shiuhpyng Shieh:
Fast Discovery of VM-Sensitive Divergence Points with Basic Block Comparison. SERE 2014: 196-205 - Peter Mell, Richard E. Harang:
Using Network Tainting to Bound the Scope of Network Ingress Attacks. SERE 2014: 206-215 - Ting Su, Geguang Pu, Bin Fang, Jifeng He, Jun Yan, Siyuan Jiang, Jianjun Zhao:
Automated Coverage-Driven Test Data Generation Using Dynamic Symbolic Execution. SERE 2014: 98-107 - Wei-Tek Tsai, Guanqiu Qi, Lian Yu, Jerry Gao:
TaaS (Testing-as-a-Service) Design for Combinatorial Testing. SERE 2014: 127-136 - Shuai Wei, Enyi Tang, Tianyu Liu, Norbert Th. Müller, Zhenyu Chen:
Automatic Numerical Analysis Based on Infinite-Precision Arithmetic. SERE 2014: 216-224 - Tianyong Wu, Jun Yan, Jian Zhang:
Automatic Test Data Generation for Unit Testing to Achieve MC/DC Criterion. SERE 2014: 118-126 - Yangsong Wu, Yibiao Yang, Yangyang Zhao, Hongmin Lu, Yuming Zhou, Baowen Xu:
The Influence of Developer Quality on Software Fault-Proneness Prediction. SERE 2014: 11-19 - Weifeng Xu, Tao Ding, Dianxiang Xu:
Rule-Based Test Input Generation from Bytecode. SERE 2014: 108-117 - Lian Yu, Wei-Tek Tsai, Yanbing Jiang, Jerry Gao:
Generating Test Cases for Context-Aware Applications Using Bigraphs. SERE 2014: 137-146 - Philipp Zech, Michael Felderer, Basel Katt, Ruth Breu:
Security Test Generation by Answer Set Programming. SERE 2014: 88-97 - Yingjun Zhang, Kai Chen:
AppMark: A Picture-Based Watermark for Android Apps. SERE 2014: 58-67 - Eighth International Conference on Software Security and Reliability, SERE 2014, San Francisco, California, USA, June 30 - July 2, 2014. IEEE 2014, ISBN 978-1-4799-4296-1 [contents]
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-08-22 21:33 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