搜索页_+bug+finding

设为首页

收藏本站

网站地图 | English | 公务邮箱

About the library

Background
History
Leadership
Organization

Readers' Guide

Opening Hours
Collections
Help Via Email

Publications

Electronic Information Resources

外文资源

Wiley电子期刊(8)	SpringerLink电子期刊(345)	NATURE电子期刊(4)	ACS电子期刊(8)
Springer电子图书(2)	ProQuest学位论文(30)	Elsevier电子期刊(243)

在“SpringerLink电子期刊”中，命中：345条，耗时：0.0269863 秒

在所有数据库中总计命中：640条

1. Effective Bug Finding in C Programs with Shape and Effect Abstractions

关键词：Bug finding ; Type and effects ; Model checkingC ; Linux ; Double lock

刊名：Lecture Notes in Computer Science

出版年：2017

2. Surveying concurrency bug detectors based on types of detected bugs

作者： Zhendong Wu ; Kai Lu ; Xiaoping Wang

关键词：concurrency bug detection ; data race ; atomicity violation ; order violation ; deadlock

刊名：SCIENCE CHINA Information Sciences

出版年：2017

3. Insecticidal activity of an essential oil of Tagetes patula L. (Asteraceae) on common bed bug Cimex lectularius L. and molecular docking of major compounds at the catalytic site of ClAChE1

作者： Flávio Augusto Sanches Politi ; Juliana Damieli Nascimento…

关键词：Insecticide resistance ; Natural products ; Homology modeling ; Acetylcholinesterase inhibitors

刊名：Parasitology Research

出版年：2017

4. Characterizing logging practices in Java-based open source software projects – a replication study in Apache Software Foundation

作者： Boyuan Chen ; Zhen Ming (Jack) Jiang

关键词：Empirical study ; Replication ; Log messages ; Logging code ; Mining software engineering data ; MSR

刊名：Empirical Software Engineering

出版年：2017

5. A cointegration-based monitoring method for rolling bearings working in time-varying operational conditions

作者： Ali Akbar Tabrizi ; Hussein Al-Bugharbee ; Irina Trendafilova ; Luigi Garibaldi

关键词：Rolling bearings fault detection ; Teager–Kaiser energy operator (TKEO) ; One ; class support vector machine ; Performance improved ensemble empirical mode decomposition (PIEEMD) ; Cointegration ; Time ; varying operating conditions

刊名：Meccanica

出版年：2017

6. Adjusting foraging strategies: a comparison of rural and urban common mynas (Acridotheres tristis)

作者： Ira G. Federspiel ; Alexis Garland ; David Guez ; Thomas Bugnyar…

关键词：Behavioural flexibility ; Reversal learning ; Discrimination learning ; Urbanisation ; Rural birds ; Indian myna

刊名：Animal Cognition

出版年：2017

7. Effects of intercropping tea with aromatic plants on population dynamics of arthropods in Chinese tea plantations

作者： Zhengqun Zhang ; Chao Zhou ; Yongyu Xu ; Xiaoqin Huang ; Lixia Zhang…

关键词：Intercropping ; Biological control ; Tea pests ; Natural enemies ; Sustainable pest management

刊名：Journal of Pest Science

出版年：2017

8. Toxicity of organophosphorus pesticide sumithion on larval stages of stinging catfish Heteropneustes fossilis

作者： Md. Shahjahan ; Md. Farajul Kabir…

关键词：environment ; organophosphorus pesticide ; fish ; toxicity

刊名：Chinese Journal of Oceanology and Limnology

出版年：2017

9. Exploring Fitness and Edit Distance of Mutated Python Programs

关键词：Search Based Software Engineering ; Genetic Improvement ; Genetic Programming ; Automatic programming ; Software repair

刊名：Lecture Notes in Computer Science

出版年：2017

10. Predicting Bug-Fix Time: Using Standard Versus Topic-Based Text Categorization Techniques

关键词：Bug triage ; Bug ; fix time prediction ; Text categorization ; Supervised topic models ; Supervised Latent Dirichlet Allocation (SLDA)

刊名：Lecture Notes in Computer Science

出版年：2016

按检索点细分(345)

题名(14)

关键词(7)

文摘(219)

按出版年细分(345)

2017年(9)

2016年(32)

2015年(26)

2014年(40)

2013年(33)

2012年(32)

2011年(13)

2010年(14)

2009年(25)

2008年(23)

2007年(14)

2006年(28)

2005年(19)

2004年(10)

2003年(6)

2002年(2)

2001年(2)

2000年(9)

2000年及以前(8)