Notice bibliographique
- Notice
Type(s) de contenu et mode(s) de consultation : Texte noté : électronique
Auteur(s) : ICTSS 2012 (2012 ; Aalborg, Denmark)
Titre(s) : Testing software and systems [Texte électronique] : 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012 : proceedings / Brian Nielsen, Carsten Weise (eds.)
Publication : Berlin ; New York : Springer, cop. 2012
Description matérielle : 1 ressource dématérialisée
Collection : LNCS sublibrary. SL 2, Programming and software engineering
Lecture notes in computer science ; 7641
Note(s) : Includes author index. - Includes bibliographical references
This book constitutes the refereed proceedings of the 24th IFIP WG 6.1 International
Conference on Testing Software and Systems, ICTSS 2012, held in Aalborg, Denmark,
in November 2012. The 16 revised full papers presented together with 2 invited talks
were carefully selected from 48 submissions. The papers are organized in topical sections
on testing in practice, test frameworks for distributed systems, testing of embedded
systems, test optimization, and new testing methods
Autre(s) forme(s) du titre :
- Autre forme du titre : ICTSS 2012
Indice(s) Dewey :
005.14 (23e éd.) = Programmation (informatique) - Vérification, tests, mesures, débogage
Identifiants, prix et caractéristiques : ISBN 9783642346910
Identifiant de la notice : ark:/12148/cb44705944j
Notice n° :
FRBNF44705944
(notice reprise d'un réservoir extérieur)
Table des matières : Requirements-Driven Log Analysis(Extended Abstract)Klaus Havelund ; Active Learning
of Extended Finite State Machines /Frits Vaandrager ; Efficient and Trustworthy Tool
Qualification for Model-Based Testing Tools /Jörg Brauer, Jan Peleska and Uwe Schulze
; Managing Execution Environment Variability during Software Testing: An Industrial
Experience /Aymeric Hervieu, Benoit Baudry and Arnaud Gotlieb ; A Technique for Agile
and Automatic Interaction Testing for Product Lines /Martin Fagereng Johansen, Øystein
Haugen, Franck Fleurey, Erik Carlson and Jan Endresen, et al. ; CaPTIF: Comprehensive
Performance TestIng Framework /Daniel A. Mayer, Orie Steele, Susanne Wetzel and Ulrike
Meyer ; Towards a TTCN-3 Test System for Runtime Testing of Adaptable and Distributed
Systems /Mariam Lahami, Fairouz Fakhfakh, Moez Krichen and Mohamed Jmaiel
Passive Interoperability Testing for Request-Response Protocols: Method, Tool and
Application on CoAP Protocol /Nanxing Chen and César Viho ; Using Knapsack Problem
Model to Design a Resource Aware Test Architecture for Adaptable and Distributed Systems
/Mariam Lahami, Moez Krichen, Mariam Bouchakwa and Mohamed Jmaiel ; Off-Line Test
Case Generation for Timed Symbolic Model-Based Conformance Testing /Boutheina Bannour,
Jose Pablo Escobedo, Christophe Gaston and Pascale Le Gall ; Querying Parametric Temporal
Logic Properties on Embedded Systems /Hengyi Yang, Bardh Hoxha and Georgios Fainekos
; State Estimation and Property-Guided Exploration for Hybrid Systems Testing /Thao
Dang and Noa Shalev ; Extending Coverage Criteria by Evaluating Their Robustness to
Code Structure Changes /Angelo Gargantini, Marco Guarnieri and Eros Magri
Using Behaviour Inference to Optimise Regression Test Sets /Ramsay Taylor, Mathew
Hall, Kirill Bogdanov and John Derrick ; Machine Learning Approach in Mutation Testing
/Joanna Strug and Barbara Strug ; Lightweight Automatic Error Detection by Monitoring
Collar Variables /João Santos and Rui Abreu ; Protocol Testing and Performance Evaluation
for MANETs with Non-uniform Node Density Distribution /Akihito Hiromori, Takaaki Umedu,
Hirozumi Yamaguchi and Teruo Higashino ; Parameterized GUI Tests /Stephan Arlt, Pedro
Borromeo, Martin Schäf and Andreas Podelski