Filter your results
- 22
- 1
- 22
- 1
- 23
- 23
- 23
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 3
- 2
- 2
- 2
- 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
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
AI for Localizing Faults in Spreadsheets29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. pp.71-87, ⟨10.1007/978-3-319-67549-7_5⟩
Conference papers
hal-01678961v1
|
||
|
Quality Estimation of Virtual Machine Placement in Cloud Infrastructures29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. pp.213-229, ⟨10.1007/978-3-319-67549-7_13⟩
Conference papers
hal-01678958v1
|
||
|
Using Robustness Testing to Handle Incomplete Verification Results When Combining Verification and Testing Techniques29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. pp.54-70, ⟨10.1007/978-3-319-67549-7_4⟩
Conference papers
hal-01678963v1
|
||
|
Testing Software and SystemsSpringer International Publishing, LNCS-10533, 2017, Lecture Notes in Computer Science, 978-3-319-67548-0. ⟨10.1007/978-3-319-67549-7⟩
Books
hal-01678967v1
|
||
|
Constraint-Based Oracles for Timed Distributed Systems29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. pp.276-292, ⟨10.1007/978-3-319-67549-7_17⟩
Conference papers
hal-01678964v1
|
||
|
Homing Sequence Derivation with Quantified Boolean Satisfiability29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. pp.230-242, ⟨10.1007/978-3-319-67549-7_14⟩
Conference papers
hal-01678974v1
|
||
|
A “Strength of Decision Tree Equivalence”-Taxonomy and Its Impact on Test Suite Reduction29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. pp.197-212, ⟨10.1007/978-3-319-67549-7_12⟩
Conference papers
hal-01678986v1
|
||
|
Refining the Specification FSM When Deriving Test Suites w.r.t. the Reduction Relation29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. pp.333-339, ⟨10.1007/978-3-319-67549-7_22⟩
Conference papers
hal-01678992v1
|
||
|
GREP: Games for the Runtime Enforcement of Properties29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. pp.259-275, ⟨10.1007/978-3-319-67549-7_16⟩
Conference papers
hal-01678960v1
|
||
|
Testing TLS Using Combinatorial Methods and Execution Framework29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. pp.162-177, ⟨10.1007/978-3-319-67549-7_10⟩
Conference papers
hal-01678990v1
|
||
|
Generating Checking Sequences for User Defined Fault Models29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. pp.320-325, ⟨10.1007/978-3-319-67549-7_20⟩
Conference papers
hal-01678955v1
|
||
|
Fault-Based Testing for Refinement in CSP29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. pp.21-37, ⟨10.1007/978-3-319-67549-7_2⟩
Conference papers
hal-01678973v1
|
||
|
Ongoing Work on Automated Verification of Noisy Nonlinear Systems with Ariadne29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. pp.313-319, ⟨10.1007/978-3-319-67549-7_19⟩
Conference papers
hal-01678971v1
|
||
|
Adaptive Localizer Based on Splitting Trees29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. pp.326-332, ⟨10.1007/978-3-319-67549-7_21⟩
Conference papers
hal-01678983v1
|
||
|
Fragility-Oriented Testing with Model Execution and Reinforcement Learning29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. pp.3-20, ⟨10.1007/978-3-319-67549-7_1⟩
Conference papers
hal-01678980v1
|
||
|
Using Data Integration for Security Testing29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. pp.178-194, ⟨10.1007/978-3-319-67549-7_11⟩
Conference papers
hal-01678954v1
|
||
|
Multiple Mutation Testing from Finite State Machines with Symbolic Inputs29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. pp.108-125, ⟨10.1007/978-3-319-67549-7_7⟩
Conference papers
hal-01678962v1
|
||
|
n-Complete Test Suites for IOCO29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. pp.91-107, ⟨10.1007/978-3-319-67549-7_6⟩
Conference papers
hal-01678988v1
|
||
|
Synchronizing Heuristics: Speeding up the Slowest29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. pp.243-256, ⟨10.1007/978-3-319-67549-7_15⟩
Conference papers
hal-01678975v1
|
||
|
Checking Response-Time Properties of Web-Service Applications Under Stochastic User Profiles29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. pp.293-310, ⟨10.1007/978-3-319-67549-7_18⟩
Conference papers
hal-01678972v1
|
||
|
Effective Infinite-State Model Checking by Input Equivalence Class Partitioning29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. pp.38-53, ⟨10.1007/978-3-319-67549-7_3⟩
Conference papers
hal-01678956v1
|
||
|
Safety-Complete Test Suites29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. pp.145-161, ⟨10.1007/978-3-319-67549-7_9⟩
Conference papers
hal-01678989v1
|
||
|
From Passive to Active FSM Inference via Checking Sequence Construction29th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2017, St. Petersburg, Russia. pp.126-141, ⟨10.1007/978-3-319-67549-7_8⟩
Conference papers
hal-01678991v1
|