Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Wolfram Schulte
Symstra: A Framework for Generating Object-Oriented Unit Tests Using Symbolic Execution
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Runtime Verification of C Memory Safety
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
A Framework for Dynamically Generating Predictive Models of Workflow Execution
Generating Test Case by Using Use Case Object Oriented Approach
International Journal of Latest Trends in Engineering and Technology
Symbolic Execution for JavaScript
A Framework for Developing Object-Oriented Real-Time Software.
A Formal Model for Defect Detection Using Symbolic Program Execution
Proceedings of the Institute for System Programming of the RAS
A Belief Revision Framework for Probabilistic Object-Oriented Databases
Review of Business Information Systems (RBIS)
Automated Regression Testing Using Symbolic Execution
Elektronika ir Elektrotechnika
Electronic Engineering
Electrical
Generating Test Case for Object-Oriented Software Using Genetic Algorithm and Mutation Testing Method
International Journal of Applied Metaheuristic Computing
Control
Statistics
Probability
Optimization
Decision Sciences
Computational Theory
Simulation
Computer Science Applications
Computational Mathematics
Mathematics
Modeling
Modelling Geographic Information Systems Using an Object-Oriented Framework
