Logi sisse et näha seda üksust teistes keeltes
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,
Kaasautorid
- Meinke Karl Professor
- Hähnle Reiner Professor
- KTH Skolan för datavetenskap och kommunikation (CSC) Teoretisk datalogi, TCS
Looja
- Niu Fei , KTH, Teoretisk datalogi, TCS
Kirjastus
- KTH Royal Institute of Technology
Üksuse liik
- Other academic
- Licentiate thesis, comprehensive summary
- dissertation
- Väitekiri
Kuupäev
- 2011
- 2011-11-07
- 2011-10-12
- 2011-10-12
- 2011-11-07
- 2011
Kaasautorid
- Meinke Karl Professor
- Hähnle Reiner Professor
- KTH Skolan för datavetenskap och kommunikation (CSC) Teoretisk datalogi, TCS
Looja
- Niu Fei , KTH, Teoretisk datalogi, TCS
Kirjastus
- KTH Royal Institute of Technology
Üksuse liik
- Other academic
- Licentiate thesis, comprehensive summary
- dissertation
- Väitekiri
Kuupäev
- 2011
- 2011-11-07
- 2011-10-12
- 2011-10-12
- 2011-11-07
- 2011
Pakkuja institutsioon
Agregaator
Selles üksuses sisalduva meedia õiguste avaldus (kui pole teisiti märgitud)
- http://rightsstatements.org/vocab/InC/1.0/
- http://rightsstatements.org/vocab/InC/1.0/
Identifikaator
- oai:DiVA.org:kth-41932
Formaat
- electronicvii, 47
- electronic
- vii, 47
Keel
- en
- en
On osa
- http://data.theeuropeanlibrary.org/Collection/a1041
Seosed
- Trita-CSC-A1653-57232011:15
Aasta
- 2011
Pakkuja riik
- Sweden
Kollektsiooni nimi
Esimest korda avaldati Europeana
- 2014-09-07T11:22:13.253Z
Viimati andmeid pakkuvast institutsioonist uuendatud
- 2014-09-07T11:22:13.253Z