default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID23. ICTSS 2011: Paris, France
- Burkhart Wolff, Fatiha Zaïdi:
Testing Software and Systems - 23rd IFIP WG 6.1 International Conference, ICTSS 2011, Paris, France, November 7-10, 2011. Proceedings. Lecture Notes in Computer Science 7019, Springer 2011, ISBN 978-3-642-24579-4 - Marie-Claude Gaudel:
Counting for Random Testing. 1-8 - Manuel Núñez
:
Formal Testing of Timed and Probabilistic Systems. 9-14 - Gregor von Bochmann, Guy-Vincent Jourdan, Bo Wan:
Improved Usage Model for Web Application Reliability Testing. 15-31 - Kalou Cabrera Castillos, Frédéric Dadeau, Jacques Julliand, Safouan Taha:
Measuring Test Properties Coverage for Evaluating UML/OCL Model-Based Tests. 32-47 - Ana Cavalcanti, Marie-Claude Gaudel, Robert M. Hierons:
Conformance Relations for Distributed Testing Based on CSP. 48-63 - Ivan Enderlin, Frédéric Dadeau, Alain Giorgetti, Abdallah Ben Othman:
Praspel: A Specification Language for Contract-Based Testing in PHP. 64-79 - Amel Mammar, Ana R. Cavalli, Willy Jimenez, Wissam Mallouli, Edgardo Montes de Oca:
Using Testing Techniques for Vulnerability Detection in C Programs. 80-96 - Karl Meinke, Fei Niu:
Learning-Based Testing for Reactive Systems Using Term Rewriting Technology. 97-114 - Goran Frehse, Kim G. Larsen, Marius Mikucionis, Brian Nielsen:
Monitoring Dynamical Signals While Testing Timed Aspects of a System. 115-130 - Petur Olsen, Johan Foederer, Jan Tretmans:
Model-Based Testing of Industrial Transformational Systems. 131-145 - Jan Peleska, Artur Honisch, Florian Lapschies, Helge Löding, Hermann Schmid, Peer Smuda, Elena Vorobev, Cornelia Zahlten:
A Real-World Benchmark Model for Testing Concurrent Real-Time Systems in the Automotive Domain. 146-161 - Alexandre Petrenko, Nina Yevtushenko:
Adaptive Testing of Deterministic Implementations Specified by Nondeterministic FSMs. 162-178 - Christian Schwarzl, Bernhard K. Aichernig, Franz Wotawa:
Compositional Random Testing Using Extended Symbolic Transition Systems. 179-194 - Hiroyuki Shinbo, Toru Hasegawa:
An Empirical Study on Applying Anomaly Detection Technique to Detecting Software and Communication Failures in Mobile Data Communication Services. 195-208 - Neil Walkinshaw:
Assessing Test Adequacy for Black-Box Systems without Specifications. 209-224
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-05-22 02:24 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
