Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Formal Approaches to Software Testing [[electronic resource] ] : 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers / / edited by Wolfgang Grieskamp, Carsten Weise
| Formal Approaches to Software Testing [[electronic resource] ] : 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers / / edited by Wolfgang Grieskamp, Carsten Weise |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
| Descrizione fisica | 1 online resource (XII, 219 p.) |
| Disciplina | 004.01/51 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Programming languages (Electronic computers) Computer logic Management information systems Computer science Software Engineering/Programming and Operating Systems Software Engineering Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Management of Computing and Information Systems |
| ISBN | 3-540-34455-1 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Proceedings FATES 2005 -- Simulated Time for Testing Railway Interlockings with TTCN-3 -- Model-Based Testing Through a GUI -- Play to Test -- A Note on an Anomaly in Black-Box Testing -- A Novel Test Coverage Metric for Concurrently-Accessed Software Components -- Adaptive Random Testing by Bisection and Localization -- Interactive Testing with HOL-TestGen -- Conformance Testing Relations for Timed Systems -- Conformance Tests as Checking Experiments for Partial Nondeterministic FSM -- Calculating Probabilities of Real-Time Test Cases -- Time Unbalanced Partial Order -- Testing Systems of Concurrent Black-Boxes—An Automata-Theoretic and Decompositional Approach -- Automated Generation of Positive and Negative Tests for Parsers -- Testing from Algebraic Specifications: Test Data Set Selection by Unfolding Axioms. |
| Record Nr. | UNISA-996465885503316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Formal Approaches to Software Testing : 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers / / edited by Wolfgang Grieskamp, Carsten Weise
| Formal Approaches to Software Testing : 5th International Workshop, FATES 2005, Edinburgh, UK, July 11, 2005, Revised Selected Papers / / edited by Wolfgang Grieskamp, Carsten Weise |
| Edizione | [1st ed. 2006.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 |
| Descrizione fisica | 1 online resource (XII, 219 p.) |
| Disciplina | 004.01/51 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Programming languages (Electronic computers) Computer logic Management information systems Computer science Software Engineering/Programming and Operating Systems Software Engineering Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Management of Computing and Information Systems |
| ISBN | 3-540-34455-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Proceedings FATES 2005 -- Simulated Time for Testing Railway Interlockings with TTCN-3 -- Model-Based Testing Through a GUI -- Play to Test -- A Note on an Anomaly in Black-Box Testing -- A Novel Test Coverage Metric for Concurrently-Accessed Software Components -- Adaptive Random Testing by Bisection and Localization -- Interactive Testing with HOL-TestGen -- Conformance Testing Relations for Timed Systems -- Conformance Tests as Checking Experiments for Partial Nondeterministic FSM -- Calculating Probabilities of Real-Time Test Cases -- Time Unbalanced Partial Order -- Testing Systems of Concurrent Black-Boxes—An Automata-Theoretic and Decompositional Approach -- Automated Generation of Positive and Negative Tests for Parsers -- Testing from Algebraic Specifications: Test Data Set Selection by Unfolding Axioms. |
| Record Nr. | UNINA-9910483902403321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2006 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Testing Software and Systems [[electronic resource] ] : 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012, Proceedings / / edited by Brian Nielsen, Carsten Weise
| Testing Software and Systems [[electronic resource] ] : 24th IFIP WG 6.1 International Conference, ICTSS 2012, Aalborg, Denmark, November 19-21, 2012, Proceedings / / edited by Brian Nielsen, Carsten Weise |
| Edizione | [1st ed. 2012.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
| Descrizione fisica | 1 online resource (X, 263 p. 97 illus.) |
| Disciplina | 005.14 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer communication systems Programming languages (Electronic computers) Special purpose computers Computer logic Management information systems Computer science Software Engineering Computer Communication Networks Programming Languages, Compilers, Interpreters Special Purpose and Application-Based Systems Logics and Meanings of Programs Management of Computing and Information Systems |
| ISBN | 3-642-34691-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 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. |
| Record Nr. | UNISA-996466316303316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||