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.
Testing: Academic and Industrial Conference - Practice and Research Techniques [[electronic resource] ] : 5th International Conference, TAIC PART 2010, Windsor, UK, September 4-6, 2010, Proceedings / / edited by Leonardo Bottaci, Gordon Fraser
| Testing: Academic and Industrial Conference - Practice and Research Techniques [[electronic resource] ] : 5th International Conference, TAIC PART 2010, Windsor, UK, September 4-6, 2010, Proceedings / / edited by Leonardo Bottaci, Gordon Fraser |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (XIII, 219 p. 82 illus.) |
| Disciplina | 005.3028/7 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer logic Programming languages (Electronic computers) Computer communication systems Computer programming Software Engineering/Programming and Operating Systems Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Computer Communication Networks Programming Techniques |
| ISBN |
1-280-38878-1
9786613566706 3-642-15585-5 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Keynote Addresses -- Automatic Testing and Fixing for Eiffel -- Testing and Proving, Hand-in-Hand -- Microsoft’s Protocol Documentation Program: A Success Story for Model-Based Testing -- Full Papers -- Masking Boundary Value Coverage: Effectiveness and Efficiency -- Model-Checking Erlang – A Comparison between EtomCRL2 and McErlang -- Bad Pairs in Software Testing -- Localizing Defects in Multithreaded Programs by Mining Dynamic Call Graphs -- Filtering Test Models to Support Incremental Testing -- Does Testing Help to Reduce the Number of Potentially Faulty Statements in Debugging? -- Linguistic Security Testing for Text Communication Protocols -- Tool Papers -- An Open-Source Tool for Automated Generation of Black-Box xUnit Test Code and Its Industrial Evaluation -- TeCReVis: A Tool for Test Coverage and Test Redundancy Visualization -- A Fault Injection Tool for Testing Web Services Composition -- Synthesis of On-Line Planning Tester for Non-deterministic EFSM Models -- A Generic Approach to Run Mutation Analysis -- Challenge Paper -- The Practical Assessment of Test Sets with Inductive Inference Techniques -- Experience Reports -- Mining API Popularity -- Automatic Discovery of Unspecified Behaviors in Automotive Control Software -- Fast Abstracts -- An Empirical Evaluation to Study Benefits of Visual versus Textual Test Coverage Information -- A Multi-criteria Decision Making Framework for Real Time Model-Based Testing -- Improved Testing through Refactoring: Experience from the ProTest Project -- Towards Run-Time Monitoring of Web Services Conformance to Business-Level Agreements -- A New Approach for Software Testability -- DOM Transactions for Testing JavaScript -- The GZoltar Project: A Graphical Debugger Interface. |
| Record Nr. | UNISA-996466274603316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Testing: Academic and Industrial Conference - Practice and Research Techniques : 5th International Conference, TAIC PART 2010, Windsor, UK, September 4-6, 2010, Proceedings / / edited by Leonardo Bottaci, Gordon Fraser
| Testing: Academic and Industrial Conference - Practice and Research Techniques : 5th International Conference, TAIC PART 2010, Windsor, UK, September 4-6, 2010, Proceedings / / edited by Leonardo Bottaci, Gordon Fraser |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (XIII, 219 p. 82 illus.) |
| Disciplina | 005.3028/7 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer logic Programming languages (Electronic computers) Computer communication systems Computer programming Software Engineering/Programming and Operating Systems Software Engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Computer Communication Networks Programming Techniques |
| ISBN |
1-280-38878-1
9786613566706 3-642-15585-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Keynote Addresses -- Automatic Testing and Fixing for Eiffel -- Testing and Proving, Hand-in-Hand -- Microsoft’s Protocol Documentation Program: A Success Story for Model-Based Testing -- Full Papers -- Masking Boundary Value Coverage: Effectiveness and Efficiency -- Model-Checking Erlang – A Comparison between EtomCRL2 and McErlang -- Bad Pairs in Software Testing -- Localizing Defects in Multithreaded Programs by Mining Dynamic Call Graphs -- Filtering Test Models to Support Incremental Testing -- Does Testing Help to Reduce the Number of Potentially Faulty Statements in Debugging? -- Linguistic Security Testing for Text Communication Protocols -- Tool Papers -- An Open-Source Tool for Automated Generation of Black-Box xUnit Test Code and Its Industrial Evaluation -- TeCReVis: A Tool for Test Coverage and Test Redundancy Visualization -- A Fault Injection Tool for Testing Web Services Composition -- Synthesis of On-Line Planning Tester for Non-deterministic EFSM Models -- A Generic Approach to Run Mutation Analysis -- Challenge Paper -- The Practical Assessment of Test Sets with Inductive Inference Techniques -- Experience Reports -- Mining API Popularity -- Automatic Discovery of Unspecified Behaviors in Automotive Control Software -- Fast Abstracts -- An Empirical Evaluation to Study Benefits of Visual versus Textual Test Coverage Information -- A Multi-criteria Decision Making Framework for Real Time Model-Based Testing -- Improved Testing through Refactoring: Experience from the ProTest Project -- Towards Run-Time Monitoring of Web Services Conformance to Business-Level Agreements -- A New Approach for Software Testability -- DOM Transactions for Testing JavaScript -- The GZoltar Project: A Graphical Debugger Interface. |
| Record Nr. | UNINA-9910484999203321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||