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.
Tests and Proofs [[electronic resource] ] : 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings / / edited by Margus Veanes, Luca Vigano
| Tests and Proofs [[electronic resource] ] : 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings / / edited by Margus Veanes, Luca Vigano |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (X, 233 p. 50 illus.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer programming Computer logic Mathematical logic Programming languages (Electronic computers) Computer simulation Software Engineering Programming Techniques Logics and Meanings of Programs Mathematical Logic and Formal Languages Programming Languages, Compilers, Interpreters Simulation and Modeling |
| ISBN | 3-642-38916-3 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Incremental Refinement Checking for Test Case Generation -- Time for Mutants — Model-Based Mutation Testing with Timed Automata -- Model-Based Testing for Verification Back-Ends -- A Metric for Testing Program Verification Systems -- Test Program Generation for a Microprocessor: A Case-Study -- A Declarative Debugger for Sequential Erlang Programs -- Initiating a Benchmark for UML and OCL Analysis Tools -- Speeding Up Algorithmic Debugging Using Balanced Execution Trees -- Generating Test Suites with Augmented Dynamic Symbolic Execution -- Divergent Quiescent Transition Systems. |
| Record Nr. | UNISA-996465405403316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Tests and Proofs : 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings / / edited by Margus Veanes, Luca Vigano
| Tests and Proofs : 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings / / edited by Margus Veanes, Luca Vigano |
| Edizione | [1st ed. 2013.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
| Descrizione fisica | 1 online resource (X, 233 p. 50 illus.) |
| Disciplina | 005.1 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer programming Computer logic Mathematical logic Programming languages (Electronic computers) Computer simulation Software Engineering Programming Techniques Logics and Meanings of Programs Mathematical Logic and Formal Languages Programming Languages, Compilers, Interpreters Simulation and Modeling |
| ISBN | 3-642-38916-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Incremental Refinement Checking for Test Case Generation -- Time for Mutants — Model-Based Mutation Testing with Timed Automata -- Model-Based Testing for Verification Back-Ends -- A Metric for Testing Program Verification Systems -- Test Program Generation for a Microprocessor: A Case-Study -- A Declarative Debugger for Sequential Erlang Programs -- Initiating a Benchmark for UML and OCL Analysis Tools -- Speeding Up Algorithmic Debugging Using Balanced Execution Trees -- Generating Test Suites with Augmented Dynamic Symbolic Execution -- Divergent Quiescent Transition Systems. |
| Record Nr. | UNINA-9910484203403321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||