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.
Artificial intelligence methods in software testing [[electronic resource] /] / editors, Mark Last, Abraham Kandel, Horst Bunke
| Artificial intelligence methods in software testing [[electronic resource] /] / editors, Mark Last, Abraham Kandel, Horst Bunke |
| Pubbl/distr/stampa | Singapore ; ; River Edge, NJ, : World Scientific, c2004 |
| Descrizione fisica | 1 online resource (221 p.) |
| Disciplina | 005.14 |
| Altri autori (Persone) |
LastMark
KandelAbraham BunkeHorst |
| Collana | Series in machine perception and artificial intelligence |
| Soggetto topico |
Computer software - Testing
Artificial intelligence Computer software - Quality control |
| Soggetto genere / forma | Electronic books. |
| ISBN |
1-281-93464-X
9786611934644 981-279-475-1 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Contents ; Preface ; Chapter 1 Fuzzy Cause - Effect Models of Software Testing ; 1. Introduction ; 2. Architectural considerations ; 3. The fuzzy cause - effect networks: mapping software specifications ; 4. The construction of the network: a direct problem
5. An inverse problem: forming a mechanism of generating testing oracles 6. Conclusions ; Chapter 2 Black-Box Testing with Info-Fuzzy Networks ; 1. Introduction ; 2. Info-Fuzzy Networks ; 3. Black-Box Testing with Single-Target and Multi-Target Info- Fuzzy Networks 4. Case Study: A Finite Element Program for Solving Differential Equations 5. Empirical Results ; 6. Conclusions ; Chapter 3 Automated GUI Regression Testing Using AI Planning ; 1. Introduction ; 2. Affected and Unaffected Test Cases ; 3. Overview ; 4. Representation 5. Design of the Regression Tester 6. Experiments ; 7. Conclusions ; Chapter 4 Test Set Generation And Reduction With Artificial Neural Networks ; 1. Introduction ; 2. Software Testing Methods ; 3. Neural Networks and Software Testing 4. The NN-based methodology for test case generation and reduction 5. A Case Study ; 6. Conclusions ; Chapter 5 Three-Group Software Quality Classification Modeling Using An Automated Reasoning Approach ; 1. Introduction ; 2. Case-Based Reasoning ; 3. Discriminant Analysis 4. Modeling Approach |
| Record Nr. | UNINA-9910454306503321 |
| Singapore ; ; River Edge, NJ, : World Scientific, c2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Artificial intelligence methods in software testing [[electronic resource] /] / editors, Mark Last, Abraham Kandel, Horst Bunke
| Artificial intelligence methods in software testing [[electronic resource] /] / editors, Mark Last, Abraham Kandel, Horst Bunke |
| Pubbl/distr/stampa | Singapore ; ; River Edge, NJ, : World Scientific, c2004 |
| Descrizione fisica | 1 online resource (221 p.) |
| Disciplina | 005.14 |
| Altri autori (Persone) |
LastMark
KandelAbraham BunkeHorst |
| Collana | Series in machine perception and artificial intelligence |
| Soggetto topico |
Computer software - Testing
Artificial intelligence Computer software - Quality control |
| ISBN |
1-281-93464-X
9786611934644 981-279-475-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Contents ; Preface ; Chapter 1 Fuzzy Cause - Effect Models of Software Testing ; 1. Introduction ; 2. Architectural considerations ; 3. The fuzzy cause - effect networks: mapping software specifications ; 4. The construction of the network: a direct problem
5. An inverse problem: forming a mechanism of generating testing oracles 6. Conclusions ; Chapter 2 Black-Box Testing with Info-Fuzzy Networks ; 1. Introduction ; 2. Info-Fuzzy Networks ; 3. Black-Box Testing with Single-Target and Multi-Target Info- Fuzzy Networks 4. Case Study: A Finite Element Program for Solving Differential Equations 5. Empirical Results ; 6. Conclusions ; Chapter 3 Automated GUI Regression Testing Using AI Planning ; 1. Introduction ; 2. Affected and Unaffected Test Cases ; 3. Overview ; 4. Representation 5. Design of the Regression Tester 6. Experiments ; 7. Conclusions ; Chapter 4 Test Set Generation And Reduction With Artificial Neural Networks ; 1. Introduction ; 2. Software Testing Methods ; 3. Neural Networks and Software Testing 4. The NN-based methodology for test case generation and reduction 5. A Case Study ; 6. Conclusions ; Chapter 5 Three-Group Software Quality Classification Modeling Using An Automated Reasoning Approach ; 1. Introduction ; 2. Case-Based Reasoning ; 3. Discriminant Analysis 4. Modeling Approach |
| Record Nr. | UNINA-9910782120303321 |
| Singapore ; ; River Edge, NJ, : World Scientific, c2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Artificial intelligence methods in software testing / / editors, Mark Last, Abraham Kandel, Horst Bunke
| Artificial intelligence methods in software testing / / editors, Mark Last, Abraham Kandel, Horst Bunke |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Singapore ; ; River Edge, NJ, : World Scientific, c2004 |
| Descrizione fisica | 1 online resource (221 p.) |
| Disciplina | 005.14 |
| Altri autori (Persone) |
LastMark
KandelAbraham BunkeHorst |
| Collana | Series in machine perception and artificial intelligence |
| Soggetto topico |
Computer software - Testing
Artificial intelligence Computer software - Quality control |
| ISBN |
1-281-93464-X
9786611934644 981-279-475-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Contents ; Preface ; Chapter 1 Fuzzy Cause - Effect Models of Software Testing ; 1. Introduction ; 2. Architectural considerations ; 3. The fuzzy cause - effect networks: mapping software specifications ; 4. The construction of the network: a direct problem
5. An inverse problem: forming a mechanism of generating testing oracles 6. Conclusions ; Chapter 2 Black-Box Testing with Info-Fuzzy Networks ; 1. Introduction ; 2. Info-Fuzzy Networks ; 3. Black-Box Testing with Single-Target and Multi-Target Info- Fuzzy Networks 4. Case Study: A Finite Element Program for Solving Differential Equations 5. Empirical Results ; 6. Conclusions ; Chapter 3 Automated GUI Regression Testing Using AI Planning ; 1. Introduction ; 2. Affected and Unaffected Test Cases ; 3. Overview ; 4. Representation 5. Design of the Regression Tester 6. Experiments ; 7. Conclusions ; Chapter 4 Test Set Generation And Reduction With Artificial Neural Networks ; 1. Introduction ; 2. Software Testing Methods ; 3. Neural Networks and Software Testing 4. The NN-based methodology for test case generation and reduction 5. A Case Study ; 6. Conclusions ; Chapter 5 Three-Group Software Quality Classification Modeling Using An Automated Reasoning Approach ; 1. Introduction ; 2. Case-Based Reasoning ; 3. Discriminant Analysis 4. Modeling Approach |
| Record Nr. | UNINA-9910809705303321 |
| Singapore ; ; River Edge, NJ, : World Scientific, c2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Automated database applications testing [[electronic resource] ] : specification representation for automated reasoning / / Rana Farid Mikhail, Donald Berndt & Abraham Kandel
| Automated database applications testing [[electronic resource] ] : specification representation for automated reasoning / / Rana Farid Mikhail, Donald Berndt & Abraham Kandel |
| Autore | Mikhail Rana Farid |
| Pubbl/distr/stampa | Singapore ; ; Hackensack, NJ, : World Scientific, c2010 |
| Descrizione fisica | 1 online resource (212 p.) |
| Disciplina | 005.1/4 |
| Altri autori (Persone) |
BerndtDonald J
KandelAbraham |
| Collana | Series in machine perception and artificial intelligence |
| Soggetto topico |
Computer software - Testing - Automation
Database design |
| Soggetto genere / forma | Electronic books. |
| ISBN |
1-282-75747-4
9786612757471 981-283-729-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Preface; Acknowledgments; Contents; 1. Introduction; 2. SpecDB: A Database Design for Software Speci cations; 3. Representing Formal Specifications in SpecDB: A Trans- lation Algorithm; 4. An Automated Constraint Generator; 5. A Reverse Engineering Testing Tool; 6. Enhancing Other Testing Tools Using SpecDB; 7. Conclusion and Future Work; Appendix A SQL Scripts for SpecDB Constraints; Appendix B PL/SQL Constraint Generator Code; Bibliography; Index |
| Record Nr. | UNINA-9910456152703321 |
Mikhail Rana Farid
|
||
| Singapore ; ; Hackensack, NJ, : World Scientific, c2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Automated database applications testing [[electronic resource] ] : specification representation for automated reasoning / / Rana Farid Mikhail, Donald Berndt & Abraham Kandel
| Automated database applications testing [[electronic resource] ] : specification representation for automated reasoning / / Rana Farid Mikhail, Donald Berndt & Abraham Kandel |
| Autore | Mikhail Rana Farid |
| Pubbl/distr/stampa | Singapore ; ; Hackensack, NJ, : World Scientific, c2010 |
| Descrizione fisica | 1 online resource (212 p.) |
| Disciplina | 005.1/4 |
| Altri autori (Persone) |
BerndtDonald J
KandelAbraham |
| Collana | Series in machine perception and artificial intelligence |
| Soggetto topico |
Computer software - Testing - Automation
Database design |
| ISBN |
1-282-75747-4
9786612757471 981-283-729-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Preface; Acknowledgments; Contents; 1. Introduction; 2. SpecDB: A Database Design for Software Speci cations; 3. Representing Formal Specifications in SpecDB: A Trans- lation Algorithm; 4. An Automated Constraint Generator; 5. A Reverse Engineering Testing Tool; 6. Enhancing Other Testing Tools Using SpecDB; 7. Conclusion and Future Work; Appendix A SQL Scripts for SpecDB Constraints; Appendix B PL/SQL Constraint Generator Code; Bibliography; Index |
| Record Nr. | UNINA-9910780890203321 |
|
Mikhail Rana Farid
|
||
| Singapore ; ; Hackensack, NJ, : World Scientific, c2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Automated database applications testing : specification representation for automated reasoning / / Rana Farid Mikhail, Donald Berndt & Abraham Kandel
| Automated database applications testing : specification representation for automated reasoning / / Rana Farid Mikhail, Donald Berndt & Abraham Kandel |
| Autore | Mikhail Rana Farid |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Singapore ; ; Hackensack, NJ, : World Scientific, c2010 |
| Descrizione fisica | 1 online resource (212 p.) |
| Disciplina | 005.1/4 |
| Altri autori (Persone) |
BerndtDonald J
KandelAbraham |
| Collana | Series in machine perception and artificial intelligence |
| Soggetto topico |
Computer software - Testing - Automation
Database design |
| ISBN |
1-282-75747-4
9786612757471 981-283-729-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Preface; Acknowledgments; Contents; 1. Introduction; 2. SpecDB: A Database Design for Software Speci cations; 3. Representing Formal Specifications in SpecDB: A Trans- lation Algorithm; 4. An Automated Constraint Generator; 5. A Reverse Engineering Testing Tool; 6. Enhancing Other Testing Tools Using SpecDB; 7. Conclusion and Future Work; Appendix A SQL Scripts for SpecDB Constraints; Appendix B PL/SQL Constraint Generator Code; Bibliography; Index |
| Record Nr. | UNINA-9910816637103321 |
|
Mikhail Rana Farid
|
||
| Singapore ; ; Hackensack, NJ, : World Scientific, c2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computational intelligence in software quality assurance [[electronic resource] /] / S. Dick, A. Kandel
| Computational intelligence in software quality assurance [[electronic resource] /] / S. Dick, A. Kandel |
| Autore | Dick Scott |
| Pubbl/distr/stampa | New Jersey ; ; London, : World Scientific, c2005 |
| Descrizione fisica | 1 online resource (199 p.) |
| Disciplina | 005.1 |
| Altri autori (Persone) | KandelAbraham |
| Collana | Series in machine perception and artificial intelligence |
| Soggetto topico |
Computational intelligence
Computer software - Quality control |
| Soggetto genere / forma | Electronic books. |
| ISBN |
1-281-37296-X
9786611372965 981-270-347-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Dedication; Acknowledgements; Foreword; Preface; Contents; Chapter 1 : Software Engineering and Artificial Intelligence; Chapter 2: Software Testing and Artificial Intelligence; Chapter 3: Chaos Theory and Software Reliability; Chapter 4: Data Mining and Software Metrics; Chapter 5: Skewness and Resampling; Chapter 6: Conclusion; References; About the Authors |
| Record Nr. | UNINA-9910451287203321 |
|
Dick Scott
|
||
| New Jersey ; ; London, : World Scientific, c2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computational intelligence in software quality assurance [[electronic resource] /] / S. Dick, A. Kandel
| Computational intelligence in software quality assurance [[electronic resource] /] / S. Dick, A. Kandel |
| Autore | Dick Scott |
| Pubbl/distr/stampa | New Jersey ; ; London, : World Scientific, c2005 |
| Descrizione fisica | 1 online resource (199 p.) |
| Disciplina | 005.1 |
| Altri autori (Persone) | KandelAbraham |
| Collana | Series in machine perception and artificial intelligence |
| Soggetto topico |
Computational intelligence
Computer software - Quality control |
| ISBN |
1-281-37296-X
9786611372965 981-270-347-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Dedication; Acknowledgements; Foreword; Preface; Contents; Chapter 1 : Software Engineering and Artificial Intelligence; Chapter 2: Software Testing and Artificial Intelligence; Chapter 3: Chaos Theory and Software Reliability; Chapter 4: Data Mining and Software Metrics; Chapter 5: Skewness and Resampling; Chapter 6: Conclusion; References; About the Authors |
| Record Nr. | UNINA-9910783914703321 |
|
Dick Scott
|
||
| New Jersey ; ; London, : World Scientific, c2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Computational intelligence in software quality assurance / / S. Dick, A. Kandel
| Computational intelligence in software quality assurance / / S. Dick, A. Kandel |
| Autore | Dick Scott |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | New Jersey ; ; London, : World Scientific, c2005 |
| Descrizione fisica | 1 online resource (199 p.) |
| Disciplina | 005.1 |
| Altri autori (Persone) | KandelAbraham |
| Collana | Series in machine perception and artificial intelligence |
| Soggetto topico |
Computational intelligence
Computer software - Quality control |
| ISBN |
1-281-37296-X
9786611372965 981-270-347-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Dedication; Acknowledgements; Foreword; Preface; Contents; Chapter 1 : Software Engineering and Artificial Intelligence; Chapter 2: Software Testing and Artificial Intelligence; Chapter 3: Chaos Theory and Software Reliability; Chapter 4: Data Mining and Software Metrics; Chapter 5: Skewness and Resampling; Chapter 6: Conclusion; References; About the Authors |
| Record Nr. | UNINA-9910812481103321 |
|
Dick Scott
|
||
| New Jersey ; ; London, : World Scientific, c2005 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Data mining in time series databases [[electronic resource] /] / editors, Mark Last, Abraham Kandel, Horst Bunke
| Data mining in time series databases [[electronic resource] /] / editors, Mark Last, Abraham Kandel, Horst Bunke |
| Edizione | [57th ed.] |
| Pubbl/distr/stampa | New Jersey ; ; London, : World Scientific, c2004 |
| Descrizione fisica | 1 online resource (205 p.) |
| Disciplina | 006.33 |
| Altri autori (Persone) |
LastMark
KandelAbraham BunkeHorst |
| Collana | Series in machine perception and artificial intelligence |
| Soggetto topico |
Data mining
Distributed databases |
| Soggetto genere / forma | Electronic books. |
| ISBN |
1-281-34776-0
9786611347765 981-256-540-X 1-4237-2302-3 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Preface; Contents; Chapter 1 Segmenting Time Series: A Survey and Novel Approach E. Keogh, S. Chu, D. Hart and M. Pazzani; Chapter 2 A Survey of Recent Methods for Efficient Retrieval of Similar Time Sequences M. L. Hetland; Chapter 3 Indexing of Compressed Time Series E. Fink and K. B. Pratt; Chapter 4 Indexing Time-Series under Conditions of Noise M. Vlachos, D. Gunopulos and G. Das; Chapter 5 Change Detection in Classification Models Induced from Time Series Data G. Zeira, O. Maimon, M. Last and L. Rokach
Chapter 6 Classification and Detection of Abnormal Events in Time Series of Graphs H. Bunke and M. KraetzlChapter 7 Boosting Interval-Based Literals: Variable Length and Early Classification C. J. Alonso Gonzalez and J. J. Rodriguez Diez; Chapter 8 Median Strings: A Review X. Jiang, H. Bunke and J. Csirik |
| Record Nr. | UNINA-9910450107603321 |
| New Jersey ; ; London, : World Scientific, c2004 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
