Monografie
Improving automatic software repair with probabilistic symbolic execution
- Language
-
Englisch
- Identifier
-
1144955807
Contributor
Rudolph, Tobias
- DOI
-
10.18419/opus-9357
- URN
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
26.01.2023, 1:56 PM CET
Object type
- Monografie
Associated
- Rudolph, Tobias
Other Objects (12)
Model counting of string constraints for probabilistic symbolic execution
Automatic issue relation prediction
Automatic software repair of C programs with genetic programming and fix patterns
A unified open- and closed-source software requirements dataset
A software architecture for graph-based metadata management for CAE data
Neural models for automatic program repair vs. human developers
Improving the accuracy of musculotendon models for the simulation of active lengthening
Radiation mitigation techniques for EIVE satellite mission payload computer
Observing the gravitational constant G underneath two pump storage reservoirs near Vianden (Luxembourg)
Processor frequency sweet spot prediction based on dynamic code analysis
Design, implementation and evaluation of an application for guiding architectural refactoring to microservices
Influence of claims and their truthfulness on engagement in social media
Model counting of string constraints for probabilistic symbolic execution
Automatic issue relation prediction
Automatic software repair of C programs with genetic programming and fix patterns
A unified open- and closed-source software requirements dataset
A software architecture for graph-based metadata management for CAE data
Neural models for automatic program repair vs. human developers
Improving the accuracy of musculotendon models for the simulation of active lengthening
Radiation mitigation techniques for EIVE satellite mission payload computer
Observing the gravitational constant G underneath two pump storage reservoirs near Vianden (Luxembourg)
Processor frequency sweet spot prediction based on dynamic code analysis
Design, implementation and evaluation of an application for guiding architectural refactoring to microservices
Influence of claims and their truthfulness on engagement in social media
Model counting of string constraints for probabilistic symbolic execution
Automatic issue relation prediction
Automatic software repair of C programs with genetic programming and fix patterns
A unified open- and closed-source software requirements dataset
A software architecture for graph-based metadata management for CAE data
Neural models for automatic program repair vs. human developers
Improving the accuracy of musculotendon models for the simulation of active lengthening
Radiation mitigation techniques for EIVE satellite mission payload computer
Observing the gravitational constant G underneath two pump storage reservoirs near Vianden (Luxembourg)
Processor frequency sweet spot prediction based on dynamic code analysis
Design, implementation and evaluation of an application for guiding architectural refactoring to microservices