Autentificare pentru a vedea acest resursă culturală în alte limbi
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,
Contribuitori
- Meinke Karl Professor
- Hähnle Reiner Professor
- KTH Skolan för datavetenskap och kommunikation (CSC) Teoretisk datalogi, TCS
Creator
- Niu Fei , KTH, Teoretisk datalogi, TCS
Editor
- KTH Royal Institute of Technology
Tipul resursă culturală
- Other academic
- Licentiate thesis, comprehensive summary
- dissertation
- Teză
Dată
- 2011
- 2011-11-07
- 2011-10-12
- 2011-10-12
- 2011-11-07
- 2011
Contribuitori
- Meinke Karl Professor
- Hähnle Reiner Professor
- KTH Skolan för datavetenskap och kommunikation (CSC) Teoretisk datalogi, TCS
Creator
- Niu Fei , KTH, Teoretisk datalogi, TCS
Editor
- KTH Royal Institute of Technology
Tipul resursă culturală
- Other academic
- Licentiate thesis, comprehensive summary
- dissertation
- Teză
Dată
- 2011
- 2011-11-07
- 2011-10-12
- 2011-10-12
- 2011-11-07
- 2011
Instituție furnizoare
Agregator
Mențiunea privind drepturile intelectuale privind drepturile intelectuale media pentru această resursă culturală (cu excepția cazului în care se specifică altfel)
- http://rightsstatements.org/vocab/InC/1.0/
- http://rightsstatements.org/vocab/InC/1.0/
Identificator
- oai:DiVA.org:kth-41932
Format
- electronicvii, 47
- electronic
- vii, 47
Limbă
- en
- en
Face parte din
- http://data.theeuropeanlibrary.org/Collection/a1041
Relaţii
- Trita-CSC-A1653-57232011:15
An
- 2011
Țara de proveniență
- Sweden
Numele colecției
Publicat pentru prima dată pe Europeana
- 2014-09-07T11:22:13.253Z
Ultima actualizare de la instituția furnizoare
- 2014-09-07T11:22:13.253Z