Formal Approaches to Software Testing [[electronic resource] ] : Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003 / / edited by Andreas Ulrich |
Edizione | [1st ed. 2004.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
Descrizione fisica | 1 online resource (VIII, 268 p.) |
Disciplina | 005.13/1 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Software engineering
Programming languages (Electronic computers) Computer logic Software Engineering/Programming and Operating Systems Software Engineering Programming Languages, Compilers, Interpreters Logics and Meanings of Programs |
ISBN |
1-280-30676-9
9786610306763 3-540-24617-7 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Program Testing and Analysis -- Black-Box Testing of Grey-Box Behavior -- On Checking Whether a Predicate Definitely Holds -- Using a Software Testing Technique to Improve Theorem Proving -- Auto-generating Test Sequences Using Model Checkers: A Case Study -- Mutually Enhancing Test Generation and Specification Inference -- JMLAutoTest: A Novel Automated Testing Framework Based on JML and JUnit -- Test Theory and Test Derivation Algorithms -- Compositional Testing with ioco -- Defining Observation Objectives for Reactive and Distributed Systems -- Time-Optimal Real-Time Test Case Generation Using Uppaal -- Test Cases Generation for Nondeterministic Real-Time Systems -- Property Oriented Test Case Generation -- Computing Unique Input/Output Sequences Using Genetic Algorithms -- Automatic Generation of Test Purposes for Testing Distributed Systems -- Test Methods and Test Tools -- Interaction Testing in an Embedded System Using Hardware Fault Injection and Program Mutation -- Automatic Conformance Testing of Internet Applications -- A Use Case Driven Testing Process: Towards a Formal Approach Based on UML Collaboration Diagrams -- VISWAS and on Diagnosability with IEEE Std P1522 and UML2.0 Testing Profile -- Towards a Tool Environment for Model-Based Testing with AsmL. |
Record Nr. | UNISA-996465776203316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Formal Approaches to Software Testing : Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003 / / edited by Andreas Ulrich |
Edizione | [1st ed. 2004.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 |
Descrizione fisica | 1 online resource (VIII, 268 p.) |
Disciplina | 005.13/1 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Software engineering
Programming languages (Electronic computers) Computer logic Software Engineering/Programming and Operating Systems Software Engineering Programming Languages, Compilers, Interpreters Logics and Meanings of Programs |
ISBN |
1-280-30676-9
9786610306763 3-540-24617-7 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Program Testing and Analysis -- Black-Box Testing of Grey-Box Behavior -- On Checking Whether a Predicate Definitely Holds -- Using a Software Testing Technique to Improve Theorem Proving -- Auto-generating Test Sequences Using Model Checkers: A Case Study -- Mutually Enhancing Test Generation and Specification Inference -- JMLAutoTest: A Novel Automated Testing Framework Based on JML and JUnit -- Test Theory and Test Derivation Algorithms -- Compositional Testing with ioco -- Defining Observation Objectives for Reactive and Distributed Systems -- Time-Optimal Real-Time Test Case Generation Using Uppaal -- Test Cases Generation for Nondeterministic Real-Time Systems -- Property Oriented Test Case Generation -- Computing Unique Input/Output Sequences Using Genetic Algorithms -- Automatic Generation of Test Purposes for Testing Distributed Systems -- Test Methods and Test Tools -- Interaction Testing in an Embedded System Using Hardware Fault Injection and Program Mutation -- Automatic Conformance Testing of Internet Applications -- A Use Case Driven Testing Process: Towards a Formal Approach Based on UML Collaboration Diagrams -- VISWAS and on Diagnosability with IEEE Std P1522 and UML2.0 Testing Profile -- Towards a Tool Environment for Model-Based Testing with AsmL. |
Record Nr. | UNINA-9910143331503321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2004 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Testing of Software and Communicating Systems [[electronic resource] ] : 20th IFIP TC 6/WG 6.1 International Conference, TestCom 2008 8th International Workshop, FATES 2008, Tokyo, Japan, June 10-13, 2008 Proceedings / / edited by Kenji Suzuki, Teruo Higashino, Andreas Ulrich, Toru Hasegawa |
Edizione | [1st ed. 2008.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 |
Descrizione fisica | 1 online resource (XII, 303 p.) |
Disciplina | 004.6 |
Collana | Computer Communication Networks and Telecommunications |
Soggetto topico |
Software engineering
Computer communication systems Programming languages (Electronic computers) Computer logic Management information systems Computer science Electrical engineering Software Engineering Computer Communication Networks Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Management of Computing and Information Systems Communications Engineering, Networks |
ISBN | 3-540-68524-3 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Invited Talks -- All-IP Based Ultra 3G Network/Service Development in a Competitive Market -- Models and Testing – A Recipe for Improved Effectiveness? -- General Software Testing -- Runtime Verification of C Programs -- Test Construction for Mathematical Functions -- Model-Based Testing Service on the Web -- Testing Continuous and Real-Time Systems -- Using Disparity to Enhance Test Generation for Hybrid Systems -- Modeling Property Based Stream Templates with TTCN-3 -- : A Timed Extension of -- Network Testing -- Model-Based Firewall Conformance Testing -- VCSTC: Virtual Cyber Security Testing Capability – An Application Oriented Paradigm for Network Infrastructure Protection -- Performance Test Design Process and Its Implementation Patterns for Multi-services Systems -- Test Generation -- Generating Checking Sequences for Partial Reduced Finite State Machines -- Testing Systems Specified as Partial Order Input/Output Automata -- Test Purpose Concretization through Symbolic Action Refinement -- Concurrent System Testing -- Implementation Relations for the Distributed Test Architecture -- Modular System Verification by Inference, Testing and Reachability Analysis -- Test Plan Generation for Concurrent Real-Time Systems Based on Zone Coverage Analysis -- Applications of Testing -- Applying Model-Based Testing to HTML Rendering Engines – A Case Study -- Model-Based Generation of Testbeds for Web Services -- Real-Time Testing with TTCN-3. |
Record Nr. | UNISA-996465631203316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2008 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Testing Software and Systems [[electronic resource] ] : 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings / / edited by Hüsnü Yenigün, Cemal Yilmaz, Andreas Ulrich |
Edizione | [1st ed. 2013.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
Descrizione fisica | 1 online resource (XIV, 291 p. 84 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-41707-8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Model-Based Testing -- Testing Timed and Concurrent Systems -- Test Suite Selection and Effort Estimation -- Tools and Languages.- Debugging. . |
Record Nr. | UNISA-996465407903316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Testing Software and Systems : 25th IFIP WG 6.1 International Conference, ICTSS 2013, Istanbul, Turkey, November 13-15, 2013, Proceedings / / edited by Hüsnü Yenigün, Cemal Yilmaz, Andreas Ulrich |
Edizione | [1st ed. 2013.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
Descrizione fisica | 1 online resource (XIV, 291 p. 84 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-41707-8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Model-Based Testing -- Testing Timed and Concurrent Systems -- Test Suite Selection and Effort Estimation -- Tools and Languages.- Debugging. . |
Record Nr. | UNINA-9910485152503321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|