A CLP Heap Solver for Test Case Generation

Theory and Practice of Logic Programming - United Kingdom
doi 10.1017/s1471068413000458
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Cambridge University Press (CUP)

Related search

Model and Proof Generation for Heap-Manipulating Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Test Case Generation for Convolutional Neural Network

International Journal of Computing and Digital Systems
Computer GraphicsHuman-Computer InteractionComputer NetworksCommunicationsInformation SystemsComputer-Aided DesignInnovationManagement of TechnologyArtificial Intelligence
2020English

Formalizing Interoperability for Test Case Generation Purpose

International Journal on Software Tools for Technology Transfer
Information SystemsSoftware
2009English

Formal Test-Case Generation for UML Statecharts

English

Symbolic Test Case Generation for Primitive Recursive Functions

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Meta Heuristic Search Technique for Dynamic Test Case Generation

International Journal of Computer Applications
2012English

Mutation-Based Web Test Case Generation

Communications in Computer and Information Science
MathematicsComputer Science
2019English

Automated Verification and Test Case Generation for Input Validation

2006English

Automatic Test Case Generation for WS-Agreements Using Combinatorial Testing

Computer Standards and Interfaces
HardwareLawArchitectureSoftware
2015English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy