Contains fulltext : 141416.pdf (preprint version ) (Open Access
Contains fulltext : 195417.pdf (publisher's version ) (Open Access
Modern software is increasingly developed using multi-language implementations, large supporting lib...
Abstract—Dynamic Symbolic Execution (DSE) is a state-of-the-art test-generation approach that system...
Contains fulltext : 32302.pdf (publisher's version ) (Closed access
Symbolic execution is a program analysis technique that is used for many purposes, one of which is t...
The data set contains source code written in the Maude language for generation of coverage-based tes...
Software testing is an indispensable part of the soft-ware development process. Mutation analysis is...
Abstract—We propose and implement a new approach, Document-Assisted Symbolic Execution (DASE), to im...
Contains fulltext : 34557.pdf (author's version ) (Open Access
Graduation date: 2015Software testing is of critical importance for the success of software projects...
Graduation date: 2017The main goal of automated test generation is to improve the reliability of a p...
This Dissertation is brought to you for free and open access by the Theses and Dissertations at Rese...
Contains fulltext : 33161.pdf (publisher's version ) (Closed access
Contains fulltext : 147270.pdf (preprint version ) (Open Access
Significant progress has been made in the field of automatic test generation, and Dynamic Symbolic E...
Contains fulltext : 195417.pdf (publisher's version ) (Open Access
Modern software is increasingly developed using multi-language implementations, large supporting lib...
Abstract—Dynamic Symbolic Execution (DSE) is a state-of-the-art test-generation approach that system...
Contains fulltext : 32302.pdf (publisher's version ) (Closed access
Symbolic execution is a program analysis technique that is used for many purposes, one of which is t...
The data set contains source code written in the Maude language for generation of coverage-based tes...
Software testing is an indispensable part of the soft-ware development process. Mutation analysis is...
Abstract—We propose and implement a new approach, Document-Assisted Symbolic Execution (DASE), to im...
Contains fulltext : 34557.pdf (author's version ) (Open Access
Graduation date: 2015Software testing is of critical importance for the success of software projects...
Graduation date: 2017The main goal of automated test generation is to improve the reliability of a p...
This Dissertation is brought to you for free and open access by the Theses and Dissertations at Rese...
Contains fulltext : 33161.pdf (publisher's version ) (Closed access
Contains fulltext : 147270.pdf (preprint version ) (Open Access
Significant progress has been made in the field of automatic test generation, and Dynamic Symbolic E...
Contains fulltext : 195417.pdf (publisher's version ) (Open Access
Modern software is increasingly developed using multi-language implementations, large supporting lib...
Abstract—Dynamic Symbolic Execution (DSE) is a state-of-the-art test-generation approach that system...
DOI
Add to ORKG