Symstra: A Framework for Generating Object-Oriented Unit Tests Using Symbolic Execution

Lecture Notes in Computer Science- Germany

doi 10.1007/978-3-540-31980-1_24

Full Text

Abstract

Available in

Categories

Computer Science

Theoretical Computer Science

Date

January 1, 2005

Authors

Wolfram Schulte

Publisher

Springer Berlin Heidelberg

Related search

A Framework for Dynamically Generating Predictive Models of Workflow Execution

English

Generating Test Case by Using Use Case Object Oriented Approach

International Journal of Latest Trends in Engineering and Technology

English

A Formal Model for Defect Detection Using Symbolic Program Execution

Proceedings of the Institute for System Programming of the RAS

Catalan

Symbolic Execution for JavaScript

English

A Belief Revision Framework for Probabilistic Object-Oriented Databases

Review of Business Information Systems (RBIS)

English

A Framework for Developing Object-Oriented Real-Time Software.

Danish

Automated Regression Testing Using Symbolic Execution

Elektronika ir Elektrotechnika

Electronic Engineering

English

Modelling Geographic Information Systems Using an Object-Oriented Framework

English

Generating Test Case for Object-Oriented Software Using Genetic Algorithm and Mutation Testing Method

International Journal of Applied Metaheuristic Computing

Decision Sciences

Computational Theory

Computer Science Applications

Computational Mathematics

English