Titlebook: Natur und Geist; Vorlesungen Sommerse Edmund Husserl,Michael Weiler Book 2001 Springer Science+Business Media Dordrecht 2001 Deduktion.Edmu

大骂

表被动

Michael Weilerlism based on execution speed. We do this by annotating the program with parallel annotations and using search to determine which annotations to enable..This allows the static analysis to find the safe parallelism and shift the burden of finding worthwhile parallelism to search. Our results show tha

藐视

Michael Weilerthout requiring classical variation operators. Using our implementation of . as part of the open source Android test generator . for an evaluation study on 100 Android apps demonstrates that . can serve as a successful replacement of search algorithms based on traditional variation operators.

CERE

Michael Weilernce between the source-code paths executed by the test cases. We evaluate these density estimators within . on 100 non-trivial Java classes from the SF110 benchmark. Our results show that the proposed . (PDE) outperforms all other density estimators in enhancing mutation scores. It increases mutatio

碎片

Michael Weiler refer to as ., which starts with developer-written tests as seeds, and then aims to evolve these tests in the direction of killing further mutants. We then empirically compare . with a state-of-the-art test amplification tool, ., on 42 versions of 29 different classes from the . benchmark, using th

剧本

Michael Weilertion of the state-based behaviour of the graphical user interface, and can predict traces for already explored behaviour, thus avoiding costly test executions. We integrate this surrogate model in the search-based test generator . and perform an empirical study on a set of 10 Android apps. Results i

闪光东本

Michael Weilertion of the state-based behaviour of the graphical user interface, and can predict traces for already explored behaviour, thus avoiding costly test executions. We integrate this surrogate model in the search-based test generator . and perform an empirical study on a set of 10 Android apps. Results i

Vsd168

Intuitive

乐意

Michael Weilerle the latter evolves the input data using numeric and string-based recombinational operators. We evaluate our new crossover operator by performing an empirical study on more than 100 classes selected from open-source Java libraries for numerical operations and string manipulation. We compare . with