×
Verification Code:
换一张
Forgotten Password?
Stay signed in
×
Login
中文
|
English
BNBU
|
Library
Login
Register
Home
Publications
Faculty/School
Scholars
Analysis
Search
ALL
ORCID
Title
Creator
Date Issued
Keyword
Document Type
Original Document Type
Indexed By
Publisher
Status
Collection
Faculty of Science and Tech...
1
Authors
FENG Xin
1
Document Type
Conference paper
1
Date Issued
2012
1
Language
英语English
1
Indexed By
CPCI-S
1
Funding Organization
Keyword
Software testing
1
Substitution completeness
1
Tabular expression
1
Test case constraint
1
Test case generation
1
Source Publication
Proceedings - International...
1
Funding Project
×
Knowledge Map
Feedback
Browse/Search Results: 1-1 of 1
Selected(
0
)
Clear
Items/Page:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Sort:
Select
Journal Impact Factor Ascending
Journal Impact Factor Descending
Submit date Ascending
Submit date Descending
Author Ascending
Author Descending
Issue Date Ascending
Issue Date Descending
WOS Cited Times Ascending
WOS Cited Times Descending
Title Ascending
Title Descending
Function substitution: Towards constraint solving in software testing
Conference paper
Proceedings - International Conference on Quality Software, Xian, PEOPLES R CHINA, AUG 27-29, 2012
Authors:
Feng, Xin
;
Marr, Simon
;
O'Callaghan, Tony
;
Zhou, Zhi Quan
;
Carette, Jacques
Favorite
|
View/Download：6/0
|
Submit date：2021/10/19
Software testing
Substitution completeness
Tabular expression
Test case constraint
Test case generation
BNBU 
Library