Iniciar sesión para ver este Ítem en otros idiomas
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,
Contribuyentes
- Meinke Karl Professor
- Hähnle Reiner Professor
- KTH Skolan för datavetenskap och kommunikation (CSC) Teoretisk datalogi, TCS
Creador
- Niu Fei , KTH, Teoretisk datalogi, TCS
Editor
- KTH Royal Institute of Technology
Tipo de ítem
- Other academic
- Licentiate thesis, comprehensive summary
- dissertation
- Tesis de titulación
Fecha
- 2011
- 2011-11-07
- 2011-10-12
- 2011-10-12
- 2011-11-07
- 2011
Contribuyentes
- Meinke Karl Professor
- Hähnle Reiner Professor
- KTH Skolan för datavetenskap och kommunikation (CSC) Teoretisk datalogi, TCS
Creador
- Niu Fei , KTH, Teoretisk datalogi, TCS
Editor
- KTH Royal Institute of Technology
Tipo de ítem
- Other academic
- Licentiate thesis, comprehensive summary
- dissertation
- Tesis de titulación
Fecha
- 2011
- 2011-11-07
- 2011-10-12
- 2011-10-12
- 2011-11-07
- 2011
Proveedor de datos
Agregador
Declaración de derechos de los medios en este Ítem (a menos que se especifique lo contrario)
- http://rightsstatements.org/vocab/InC/1.0/
- http://rightsstatements.org/vocab/InC/1.0/
Identificador
- oai:DiVA.org:kth-41932
Formato
- electronicvii, 47
- electronic
- vii, 47
Idioma
- en
- en
forma parte de
- http://data.theeuropeanlibrary.org/Collection/a1041
relaciones
- Trita-CSC-A1653-57232011:15
Año
- 2011
País proveedor
- Sweden
Nombre de la colección
Publicado por primera vez en Europeana
- 2014-09-07T11:22:13.253Z
Última actualización por parte del Proveedor de datos
- 2014-09-07T11:22:13.253Z