![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
23. 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
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.