Discover open access scientific publications

Search, annotate, share and cite publications

Publications by PETER STUCKEY

A CLP Heap Solver for Test Case Generation

Theory and Practice of Logic Programming
HardwareArchitectureMathematicsComputational TheoryTheoretical Computer ScienceArtificial IntelligenceSoftware
2013English

Monadic Constraint Programming

Journal of Functional Programming
Software
2009English

Related publications

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