An edition of Testing Software and Systems
(2012)
Testing Software and Systems
24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012. Proceedings
by Brian Nielsen
Share
×Close
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.
Publish Date
2012
Publisher
Springer Berlin Heidelberg,
Imprint: Springer
Language
English
Pages
263
Check nearby libraries
Buy this book
Subjects
Information Systems, Software engineering, Computer networks, Logic design, Logics and Meanings of Programs, Computer science, Management of Computing and Information Systems, Programming Languages, Compilers, Interpreters, Special Purpose and Application-Based Systems, Computer software, Congresses, Testing, Computer network protocols, Telecommunication systems, Computer Communication Networks| Edition | Availability |
|---|---|
1
Testing Software and Systems: 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012. Proceedings
2012, Springer Berlin Heidelberg, Imprint: Springer
electronic resource :
in English
364234691X 9783642346910
|
aaaa
|
2
Testing Software and Systems: 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012, Proceedings
Nov 14, 2012, Springer
paperback
3642346928 9783642346927
|
zzzz
|
3
Testing Software and Systems: 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012, Proceedings
Oct 09, 2012, Springer
paperback
3642346901 9783642346903
|
zzzz
|
Book Details
Table of Contents
Requirements-Driven Log Analysis
Active Learning of Extended Finite State Machines
Testing in Practice
Efficient and Trustworthy Tool Qualification for Model-Based Testing Tools
Managing Execution Environment Variability during Software Testing:mAn Industrial Experience
A Technique for Agile and Automatic Interaction Testing for Product Lines
CaPTIF: Comprehensive Performance TestIng Framework
Test Frameworks for Distributed Systems Towards a TTCN-3 Test System for Runtime Testing of Adaptable and Distributed Systems
Passive Interoperability Testing for Request-Response Protocols: Method, Tool and Application on CoAP Protocol
Using Knapsack Problem Model to Design a Resource Aware Test Architecture for Adaptable and Distributed Systems.-Testing of Embedded Systems Off-Line Test Case Generation for Timed Symbolic Model-Based Conformance Testing
Querying Parametric Temporal Logic Properties on Embedded Systems
State Estimation and Property-Guided Exploration for Hybrid Systems Testing
Test Optimization
Extending Coverage Criteria by Evaluating Their Robustness to Code Structure Changes
Using Behaviour Inference to Optimise Regression Test Sets
New Testing Methods
Machine Learning Approach in Mutation Testing
Lightweight Automatic Error Detection by Monitoring Collar Variables
Protocol Testing and Performance Evaluation for MANETs with Non-uniform Node Density Distribution
Parameterized GUI Tests.
Edition Notes
Classifications
The Physical Object
Edition Identifiers
Work Identifiers
Community Reviews (0)
Lists
| August 25, 2024 | Edited by MARC Bot | import existing book |
| December 29, 2021 | Edited by ImportBot | import existing book |
| November 13, 2020 | Edited by MARC Bot | import existing book |
| July 7, 2019 | Created by MARC Bot | import new book |