Inloggen om dit object in andere talen te zien
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,
Medewerkers
- Meinke Karl Professor
- Hähnle Reiner Professor
- KTH Skolan för datavetenskap och kommunikation (CSC) Teoretisk datalogi, TCS
Makers
- Niu Fei , KTH, Teoretisk datalogi, TCS
Uitgever
- KTH Royal Institute of Technology
Type object
- Other academic
- Licentiate thesis, comprehensive summary
- dissertation
- Scriptie
Datum
- 2011
- 2011-11-07
- 2011-10-12
- 2011-10-12
- 2011-11-07
- 2011
Medewerkers
- Meinke Karl Professor
- Hähnle Reiner Professor
- KTH Skolan för datavetenskap och kommunikation (CSC) Teoretisk datalogi, TCS
Makers
- Niu Fei , KTH, Teoretisk datalogi, TCS
Uitgever
- KTH Royal Institute of Technology
Type object
- Other academic
- Licentiate thesis, comprehensive summary
- dissertation
- Scriptie
Datum
- 2011
- 2011-11-07
- 2011-10-12
- 2011-10-12
- 2011-11-07
- 2011
Deelnemende erfgoedorganisatie
Informatienetwerk
Rechtenstatus van de media in dit record (tenzij anders vermeld)
- http://rightsstatements.org/vocab/InC/1.0/
- http://rightsstatements.org/vocab/InC/1.0/
Identificatie
- oai:DiVA.org:kth-41932
Vorm
- electronicvii, 47
- electronic
- vii, 47
Taal
- en
- en
Is onderdeel van
- http://data.theeuropeanlibrary.org/Collection/a1041
Relaties
- Trita-CSC-A1653-57232011:15
Jaar
- 2011
Land
- Sweden
Naam van de collectie
Voor het eerst gepubliceerd op Europeana
- 2014-09-07T11:22:13.253Z
Laatste keer bijgewerkt door deelnemende erfgoedorganisatie
- 2014-09-07T11:22:13.253Z