设为首页
收藏本站
网站地图
|
English
|
公务邮箱
About the library
Background
History
Leadership
Organization
Readers' Guide
Opening Hours
Collections
Help Via Email
Publications
Electronic Information Resources
常用资源
电子图书
期刊论文
学位会议
外文资源
特色专题
内部出版物
Springer电子图书(5)
SpringerLink电子期刊(58)
ProQuest学位论文(10)
Elsevier电子期刊(38)
在“
SpringerLink电子期刊
”中,
命中:
58
条,耗时:0.0699695 秒
在所有数据库中总计命中:
111
条
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.
Analysis of 12 X-STR loci in the population of south Croatia
作者:
Gordan Mršić
;
Petar Ozretić
;
Josip Crnjac
;
Siniša Merkaš…
关键词:X ;
STR
;
Investigator® Argus X
;
12
;
Population study
;
South Croatia
;
Forensics
刊名:Molecular Biology Reports
出版年:2017
3.
Applying Incremental Model Slicing to
Product
-
Line
Regression
Testing
关键词:
Software
product
line
;
Model
;
based
testing
;
Regression
testing
;
Model slicing
刊名:Lecture Notes in Computer Science
出版年:2016
4.
On Featured Transition Systems
刊名:Lecture Notes in Computer Science
出版年:2017
5.
Testing
variability-intensive systems using automated analysis: an application to Android
作者:
José A. Galindo
;
Hamilton Turner
;
David Benavides
;
Jules White
关键词:
Testing
;
Software
product
line
s
;
Automated analysis
;
Feature models
;
Android
刊名:
Software
Quality Journal
出版年:2016
6.
Comprehensive Variability Analysis of Requirements and
Testing
Artifacts
关键词:
Variability analysis
;
Ontology
;
Software
reuse
;
Software
product
line
s
;
Application lifecycle management
刊名:Lecture Notes in Computer Science
出版年:2016
7.
Generating counterexamples of model-based
software
product
line
s
作者:
Jo?o Bosco Ferreira Filho
;
Olivier Barais…
关键词:
Software
product
line
s
;
Model
;
based engineering
;
Counterexamples
刊名:International Journal on
Software
Tools for Technology Transfer (STTT)
出版年:2015
8.
A Tool for Analyzing Variability Based on Functional Requirements and
Testing
Artifacts
关键词:
Variability analysis
;
Feature diagrams
;
Natural language processing
;
Ontology
;
Software
product
line
engineering
刊名:Lecture Notes in Computer Science
出版年:2016
9.
Facilitating Reuse in Multi-goal Test-Suite Generation for
Software
Product
Line
s
作者:
Johannes B眉rdek (15)
Malte Lochau (15)
Stefan Bauregger (15)
Andreas Holzer (16)
Alexander von Rhein (17)
Sven Apel (17)
Dirk Beyer (17)
15. TU Darmstadt
;
Darmstadt
;
Germany
16. TU Wien
;
Wien
;
Austria
17. University of Passau
;
Passau
;
Germany
关键词:
Software
Product
Line
s
;
Automated Test Generation
;
Symbolic Model Checking
;
CPAchecker
;
CPA/tiger
刊名:Lecture Notes in Computer Science
出版年:2015
10.
Model-Based
Product
Line
Testing
: Sampling Configurations for Optimal Fault Detection
关键词:
Testing
;
Reusable
software
;
Sampling
;
Fault detection
刊名:Lecture Notes in Computer Science
出版年:2015
1
2
3
4
5
6
按检索点细分(58)
题名(18)
关键词(23)
文摘(47)
按出版年细分(58)
2017年(3)
2016年(4)
2015年(5)
2014年(5)
2013年(5)
2012年(16)
2011年(2)
2010年(9)
2009年(2)
2007年(3)
2006年(2)
2003年(2)
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
.