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 full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

A Framework for Dynamically Generating Predictive Models of Workflow Execution

2013English

Generating Test Case by Using Use Case Object Oriented Approach

International Journal of Latest Trends in Engineering and Technology
2016English

Symbolic Execution for JavaScript

2018English

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

English

A Formal Model for Defect Detection Using Symbolic Program Execution

Proceedings of the Institute for System Programming of the RAS
2019English

A Belief Revision Framework for Probabilistic Object-Oriented Databases

Review of Business Information Systems (RBIS)
2006English

Automated Regression Testing Using Symbolic Execution

Elektronika ir Elektrotechnika
Electronic EngineeringElectrical
2011English

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

International Journal of Applied Metaheuristic Computing
ControlStatisticsProbabilityOptimizationDecision SciencesComputational TheorySimulationComputer Science ApplicationsComputational MathematicsMathematicsModeling
2012English

Modelling Geographic Information Systems Using an Object-Oriented Framework

1994English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy