Specification-Based Program Repair Using SAT

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-642-19835-9_15
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

SAT-Based Compositional Verification Using Lazy Learning

English

Using Transformations in Specification-Based Prototyping

IEEE Transactions on Software Engineering
Software
1993English

Set-Based SAT-solving

Facta universitatis - series: Electronics and Energetics
2007English

Fault Tolerance Analysis of Distributed Reconfigurable Systems Using SAT-Based Techniques

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2003English

A Multipath Detection Scheme Using Sat

2010English

SAT-based Techniques in System Synthesis

English

Solving the SAT Problem Using Genetic Algorithm

Advances in Science, Technology and Engineering Systems
EngineeringAstronomyPhysicsManagement of TechnologyInnovation
2017English

Detection of Metamorphic and Virtualization-Based Malware Using Algebraic Specification

Journal in Computer Virology
2008English

Complexity of Max-Sat Using Stochastic Algorithms

2008English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy