Hasi saioa elementu hau beste hizkuntza batzuetan ikusteko
Learning-based Software Testing using Symbolic Constraint Solving Methods
Software testing remains one of the most important but expensive approaches to ensure high-quality software today. In order to reduce the cost of testing, over the last several decades, various techniques such as formal verification and inductive learning have been used for test automation in previous research.
In this thesis, we present a specification-based black-box testing approach,
Laguntzaileak
- Meinke Karl Professor
- Hähnle Reiner Professor
- KTH Skolan för datavetenskap och kommunikation (CSC) Teoretisk datalogi, TCS
Sortzailea
- Niu Fei , KTH, Teoretisk datalogi, TCS
Argitaletxea
- KTH Royal Institute of Technology
Elementu mota
- Other academic
- Licentiate thesis, comprehensive summary
- dissertation
- Tesi
Data
- 2011
- 2011-11-07
- 2011-10-12
- 2011-10-12
- 2011-11-07
- 2011
Laguntzaileak
- Meinke Karl Professor
- Hähnle Reiner Professor
- KTH Skolan för datavetenskap och kommunikation (CSC) Teoretisk datalogi, TCS
Sortzailea
- Niu Fei , KTH, Teoretisk datalogi, TCS
Argitaletxea
- KTH Royal Institute of Technology
Elementu mota
- Other academic
- Licentiate thesis, comprehensive summary
- dissertation
- Tesi
Data
- 2011
- 2011-11-07
- 2011-10-12
- 2011-10-12
- 2011-11-07
- 2011
Erakunde hornitzailea
Agregatzailea
Elementu honen baimenen egoera (besterik adierazi ezean)
- http://rightsstatements.org/vocab/InC/1.0/
- http://rightsstatements.org/vocab/InC/1.0/
Identifikatzailea
- oai:DiVA.org:kth-41932
Formatua
- electronicvii, 47
- electronic
- vii, 47
Hizkuntza
- en
- en
Honen parte da
- http://data.theeuropeanlibrary.org/Collection/a1041
Loturak
- Trita-CSC-A1653-57232011:15
Urtea
- 2011
Herrialde hornitzailea
- Sweden
Bildumaren izena
Lehenengo aldiz argitaratua Europeana-n
- 2014-09-07T11:22:13.253Z
Erakunde hornitzaileak azken aldiz eguneratu du
- 2014-09-07T11:22:13.253Z