Amanote Research
Register
Sign In
Partition-Based Regression Verification
doi 10.1109/icse.2013.6606576
Full Text
Open PDF
Abstract
Available in
full text
Date
May 1, 2013
Authors
Marcel Bohme
Bruno C. D. S. Oliveira
Abhik Roychoudhury
Publisher
IEEE
Related search
Partition-Based Trapdoor Ciphers
Regression Verification: Proving the Equivalence of Similar Programs
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Local Linear Functional Regression Based on Weighted Distance-Based Regression
Functional and Operatorial Statistics
Color-Based Iris Verification
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Dynamically Adaptive Partition-Based Data Distribution Management
Histogram Density Estimators Based Upon a Fuzzy Partition
Statistics and Probability Letters
Uncertainty
Statistics
Probability
Controlling Polyvariance for Specialization-Based Verification
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
Scene Consistency Verification Based on PatchNet
The Scientific World Journal
Biochemistry
Medicine
Genetics
Molecular Biology
Environmental Science
Alumnichain: Blockchain Based Records Verification Service
International Journal of Innovative Technology and Exploring Engineering
Mechanics of Materials
Electronic Engineering
Civil
Structural Engineering
Electrical
Computer Science