设为首页
收藏本站
网站地图
|
English
|
公务邮箱
About the library
Background
History
Leadership
Organization
Readers' Guide
Opening Hours
Collections
Help Via Email
Publications
Electronic Information Resources
常用资源
电子图书
期刊论文
学位会议
外文资源
特色专题
内部出版物
中国地质文献-英文(12)
SpringerLink电子期刊(3138)
GSW全文库(10)
Wiley电子期刊(60)
ProQuest学位论文(378)
Elsevier电子期刊(3101)
Springer电子图书(80)
NATURE电子期刊(5)
ACS电子期刊(35)
在“
SpringerLink电子期刊
”中,
命中:
3,138
条,耗时:0.0280175 秒
在所有数据库中总计命中:
6,819
条
1.
Statistical prioritization for
software
product line
testing
: an experience report
作者:
Xavier Devroey
;
Gilles Perrouin
;
Maxime Cordy
;
Hamza Samih…
关键词:
Software
product line
testing
;
Prioritization
;
Statistical
testing
刊名:
Software
& Systems Modeling
出版年:2017
2.
Model-based regression
testing
by OCL
作者:
Philipp Zech
;
Philipp Kalb
;
Michael Felderer…
关键词:
Model
;
based
testing
;
Regression
testing
;
Model
;
based regression
testing
;
Model evolution
;
Software
testing
;
Software
evolution
刊名:International Journal on
Software
Tools for Technology Transfer
出版年:2017
3.
FOREPOST: finding performance problems automatically with feedback-directed learning
software
testing
作者:
Qi Luo
;
Aswathy Nair
;
Mark Grechanik
;
Denys Poshyvanyk
关键词:
Performance
testing
;
Feedback
;
directed learning system
刊名:Empirical
Software
Engineering
出版年:2017
4.
An Automated Analysis of the Branch Coverage and Energy Consumption Using Concolic
Testing
作者:
Sangharatna Godboley
;
Subhrakanta Panda…
关键词:
Branch coverage
;
Concolic
testing
;
Energy consumption
;
Green IT
;
Green
Software
Engineering
;
Green and sustainable technologies
刊名:Arabian Journal for Science and Engineering
出版年:2017
5.
Unit
testing
performance with Stochastic Performance Logic
作者:
Lubomír Bulej
;
Tomáš Bureš
;
Vojtěch Horký
;
Jaroslav Kotrč…
关键词:
Performance evaluation
;
Unit
testing
;
Java
刊名:Automated
Software
Engineering
出版年:2017
6.
Automated Detection of Instruction Cache Leaks in Modular Exponentiation
Software
关键词:
RSA
;
Granular leakage detection
;
Open
;
source crypto library
;
Non
;
trivial bug discovery
;
Noiseless evaluation environment
;
Automated
software
testing
;
DBI
刊名:Lecture Notes in Computer Science
出版年:2017
7.
SLMBC: spiral life cycle model-based Bayesian classification technique for efficient
software
fault prediction and classification
作者:
Rajaganapathy Chinna Gounder Dhanajayan
;
Subramani Appavu Pillai
关键词:
Bayesian classification
;
Segregate fault prediction algorithm
;
Robust similarity
;
aware clustering (RSC) algorithm
;
Spiral life cycle model
;
Software
development
;
Spiral life cycle model
;
based Bayesian classification technique (SLMBC)
刊名:Soft Computing
出版年:2017
8.
Continuous validation of performance test workloads
作者:
Mark D. Syer
;
Weiyi Shang
;
Zhen Ming Jiang…
关键词:
Performance
testing
;
Continuous
testing
;
Workload characterization
;
Workload comparison
;
Execution logs
刊名:Automated
Software
Engineering
出版年:2017
9.
The physics of
software
tools: SWOT analysis and vision
作者:
Bernhard Steffen
关键词:
Validation tools
;
Tool profiles
;
Conceptual design
;
SWOT analysis
;
Open source
;
Internet
;
Exchange platform
;
Tool competitions
刊名:International Journal on
Software
Tools for Technology Transfer
出版年:2017
10.
Constraint-based test generation for automotive operating systems
作者:
Yunja Choi
;
Taejoon Byun
关键词:
Verification
;
Constraint specification
;
Operating system
;
Automotive
software
;
Test generation
刊名:
Software
& Systems Modeling
出版年:2017
1
2
3
4
5
6
7
8
9
按检索点细分(3138)
题名(229)
作者(1)
关键词(360)
文摘(2486)
NGLC 2004-2010.National Geological Library of China All Rights Reserved.
Add:29 Xueyuan Rd,Haidian District,Beijing,PRC. Mail Add: 8324 mailbox 100083
For exchange or info please contact us via
email
.