Filter your results
- 15
- 1
- 15
- 15
- 15
- 15
- 2
- 2
- 2
- 2
- 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
|
|
|
sorted by
|
|
|
Formal Testing of Timed and Probabilistic Systems23th International Conference on Testing Software and Systems (ICTSS), Nov 2011, Paris, France. pp.9-14, ⟨10.1007/978-3-642-24580-0_2⟩
Conference papers
hal-01583920v1
|
||
|
|
Monitoring Dynamical Signals While Testing Timed Aspects of a System23th International Conference on Testing Software and Systems (ICTSS), Nov 2011, Paris, France. pp.115-130, ⟨10.1007/978-3-642-24580-0_9⟩
Conference papers
hal-01583916v1
|
||
|
|
Conformance Relations for Distributed Testing Based on CSP23th International Conference on Testing Software and Systems (ICTSS), Nov 2011, Paris, France. pp.48-63, ⟨10.1007/978-3-642-24580-0_5⟩
Conference papers
hal-01583923v1
|
||
|
|
Counting for Random Testing23th International Conference on Testing Software and Systems (ICTSS), Nov 2011, Paris, France. pp.1-8, ⟨10.1007/978-3-642-24580-0_1⟩
Conference papers
hal-01583925v1
|
||
|
|
Using testing techniques for vulnerability detection in C programs23th International Conference on Testing Software and Systems (ICTSS), Nov 2011, Paris, France. pp.80-96, ⟨10.1007/978-3-642-24580-0_7⟩
Conference papers
hal-01303013v1
|
||
|
|
Model-Based Testing of Industrial Transformational Systems23th International Conference on Testing Software and Systems (ICTSS), Nov 2011, Paris, France. pp.131-145, ⟨10.1007/978-3-642-24580-0_10⟩
Conference papers
hal-01583924v1
|
||
|
|
Improved Usage Model for Web Application Reliability Testing23th International Conference on Testing Software and Systems (ICTSS), Nov 2011, Paris, France. pp.15-31, ⟨10.1007/978-3-642-24580-0_3⟩
Conference papers
hal-01583914v1
|
||
|
|
An Empirical Study on Applying Anomaly Detection Technique to Detecting Software and Communication Failures in Mobile Data Communication Services23th International Conference on Testing Software and Systems (ICTSS), Nov 2011, Paris, France. pp.195-208, ⟨10.1007/978-3-642-24580-0_14⟩
Conference papers
hal-01583915v1
|
||
|
|
Learning-Based Testing for Reactive Systems Using Term Rewriting Technology23th International Conference on Testing Software and Systems (ICTSS), Nov 2011, Paris, France. pp.97-114, ⟨10.1007/978-3-642-24580-0_8⟩
Conference papers
hal-01583917v1
|
||
|
|
Assessing Test Adequacy for Black-Box Systems without Specifications23th International Conference on Testing Software and Systems (ICTSS), Nov 2011, Paris, France. pp.209-224, ⟨10.1007/978-3-642-24580-0_15⟩
Conference papers
hal-01583922v1
|
||
|
|
A Real-World Benchmark Model for Testing Concurrent Real-Time Systems in the Automotive Domain23th International Conference on Testing Software and Systems (ICTSS), Nov 2011, Paris, France. pp.146-161, ⟨10.1007/978-3-642-24580-0_11⟩
Conference papers
hal-01583919v1
|
||
|
|
Adaptive Testing of Deterministic Implementations Specified by Nondeterministic FSMs23th International Conference on Testing Software and Systems (ICTSS), Nov 2011, Paris, France. pp.162-178, ⟨10.1007/978-3-642-24580-0_12⟩
Conference papers
hal-01583921v1
|
||
|
|
Measuring Test Properties Coverage for evaluating UML/OCL Model-Based Tests23th International Conference on Testing Software and Systems (ICTSS), Nov 2011, Paris, France. pp.32-47, ⟨10.1007/978-3-642-24580-0_4⟩
Conference papers
hal-00640312v1
|
||
|
|
Praspel: A Specification Language for Contract-Based Testing in PHP23th International Conference on Testing Software and Systems (ICTSS), Nov 2011, Paris, France. pp.64-79, ⟨10.1007/978-3-642-24580-0_6⟩
Conference papers
hal-00640279v1
|
||
|
|
Compositional Random Testing Using Extended Symbolic Transition Systems23th International Conference on Testing Software and Systems (ICTSS), Nov 2011, Paris, France. pp.179-194, ⟨10.1007/978-3-642-24580-0_13⟩
Conference papers
hal-01583918v1
|