Filter your results
- 16
- 1
- 15
- 1
- 1
- 17
- 16
- 1
- 17
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
Genetic Algorithm Application for Enhancing State-Sensitivity Partitioning27th IFIP International Conference on Testing Software and Systems (ICTSS), Nov 2015, Sharjah and Dubai, United Arab Emirates. pp.249-256, ⟨10.1007/978-3-319-25945-1_16⟩
Conference papers
hal-01470151v1
|
||
Testing Software and SystemsSpringer, LNCS-9447, 2015, Testing Software and Systems, 978-3-319-25944-4. ⟨10.1007/978-3-319-25945-1⟩
Books
hal-01470162v1
|
|||
|
Novel Insights on Cross Project Fault Prediction Applied to Automotive Software27th IFIP International Conference on Testing Software and Systems (ICTSS), Nov 2015, Sharjah and Dubai, United Arab Emirates. pp.141-157, ⟨10.1007/978-3-319-25945-1_9⟩
Conference papers
hal-01470161v1
|
||
|
Testing for Distinguishing Repair Candidates in Spreadsheets – the Mussco Approach27th IFIP International Conference on Testing Software and Systems (ICTSS), Nov 2015, Sharjah and Dubai, United Arab Emirates. pp.124-140, ⟨10.1007/978-3-319-25945-1_8⟩
Conference papers
hal-01470160v1
|
||
|
Automated Test Design for Boundaries of Product Line Variants27th IFIP International Conference on Testing Software and Systems (ICTSS), Nov 2015, Sharjah and Dubai, United Arab Emirates. pp.86-101, ⟨10.1007/978-3-319-25945-1_6⟩
Conference papers
hal-01470159v1
|
||
|
Checking Experiments for Finite State Machines with Symbolic Inputs27th IFIP International Conference on Testing Software and Systems (ICTSS), Nov 2015, Sharjah and Dubai, United Arab Emirates. pp.3-18, ⟨10.1007/978-3-319-25945-1_1⟩
Conference papers
hal-01470154v1
|
||
|
A Negative Input Space Complexity Metric as Selection Criterion for Fuzz Testing27th IFIP International Conference on Testing Software and Systems (ICTSS), Nov 2015, Sharjah and Dubai, United Arab Emirates. pp.257-262, ⟨10.1007/978-3-319-25945-1_17⟩
Conference papers
hal-01470152v1
|
||
|
Graph Methods for Generating Test Cases with Universal and Existential Constraints27th IFIP International Conference on Testing Software and Systems (ICTSS), Nov 2015, Sharjah and Dubai, United Arab Emirates. pp.55-70, ⟨10.1007/978-3-319-25945-1_4⟩
Conference papers
hal-01470157v1
|
||
|
Selective Test Generation Approach for Testing Dynamic Behavioral Adaptations27th IFIP International Conference on Testing Software and Systems (ICTSS), Nov 2015, Sharjah and Dubai, United Arab Emirates. pp.224-239, ⟨10.1007/978-3-319-25945-1_14⟩
Conference papers
hal-01470172v1
|
||
|
A Practical Evaluation Method of Network Traffic Load for Capacity Planning27th IFIP International Conference on Testing Software and Systems (ICTSS), Nov 2015, Sharjah and Dubai, United Arab Emirates. pp.263-268, ⟨10.1007/978-3-319-25945-1_18⟩
Conference papers
hal-01470153v1
|
||
|
mu2: A Refactoring-Based Mutation Testing Framework for Erlang27th IFIP International Conference on Testing Software and Systems (ICTSS), Nov 2015, Sharjah and Dubai, United Arab Emirates. pp.178-193, ⟨10.1007/978-3-319-25945-1_11⟩
Conference papers
hal-01470148v1
|
||
|
Model-based Testing from Input Output Symbolic Transition Systems Enriched by Program Calls and ContractsTesting Software and Systems , 9447), pp.35-51, 2014, Lecture Notes in Computer Science, ⟨10.1007/978-3-319-25945-1_3⟩
Book sections
hal-01470156v1
|
||
|
Inferring Finite State Machines Without Reset Using State Identification Sequences27th IFIP International Conference on Testing Software and Systems (ICTSS), Nov 2015, Sharjah and Dubai, United Arab Emirates. pp.161-177, ⟨10.1007/978-3-319-25945-1_10⟩
Conference papers
hal-01470168v1
|
||
|
Using Multiple Adaptive Distinguishing Sequences for Checking Sequence Generation27th IFIP International Conference on Testing Software and Systems (ICTSS), Nov 2015, Sharjah and Dubai, United Arab Emirates. pp.19-34, ⟨10.1007/978-3-319-25945-1_2⟩
Conference papers
hal-01470155v1
|
||
|
A Survey on Testing for Cyber Physical System27th IFIP International Conference on Testing Software and Systems (ICTSS), Nov 2015, Sharjah and Dubai, United Arab Emirates. pp.194-207, ⟨10.1007/978-3-319-25945-1_12⟩
Conference papers
hal-01470149v1
|
||
|
Test-Data Generation for Testing Parallel Real-Time Systems27th IFIP International Conference on Testing Software and Systems (ICTSS), Nov 2015, Sharjah and Dubai, United Arab Emirates. pp.211-223, ⟨10.1007/978-3-319-25945-1_13⟩
Conference papers
hal-01470169v1
|
||
|
Reducing the Cost of Grammar-Based Testing Using Pattern CoverageICTSS 2015 - 27th IFIP International Conference on Testing Software and Systems, Nov 2015, Dubai, United Arab Emirates. pp.71-85, ⟨10.1007/978-3-319-25945-1_5⟩
Conference papers
hal-01470158v1
|