ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ARDiff: scaling program equivalence checking via iterative abstraction and refinement of common code
Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering
◽
10.1145/3368089.3409757
◽
2020
◽
Author(s):
Sahar Badihi
◽
Faridah Akinotcho
◽
Yi Li
◽
Julia Rubin
Keyword(s):
Equivalence Checking
◽
Common Code
◽
Program Equivalence
Download Full-text
Related Documents
Cited By
References
Effective Use of SMT Solvers for Program Equivalence Checking Through Invariant-Sketching and Query-Decomposition
Theory and Applications of Satisfiability Testing – SAT 2018 - Lecture Notes in Computer Science
◽
10.1007/978-3-319-94144-8_22
◽
2018
◽
pp. 365-382
◽
Cited By ~ 4
Author(s):
Shubhani Gupta
◽
Aseem Saxena
◽
Anmol Mahajan
◽
Sorav Bansal
Keyword(s):
Equivalence Checking
◽
Program Equivalence
◽
Smt Solvers
◽
Effective Use
Download Full-text
Program equivalence checking by two-tape automata
Cybernetics and Systems Analysis
◽
10.1007/s10559-010-9232-z
◽
2010
◽
Vol 46
(4)
◽
pp. 554-562
◽
Cited By ~ 1
Author(s):
V. A. Zakharov
Keyword(s):
Equivalence Checking
◽
Program Equivalence
Download Full-text
Parameterized Program Equivalence Checking
High-Level Verification
◽
10.1007/978-1-4419-9359-5_8
◽
2011
◽
pp. 123-145
Author(s):
Zachary Tatlock
Keyword(s):
Equivalence Checking
◽
Program Equivalence
Download Full-text
Verification of Source Code Transformations by Program Equivalence Checking
Lecture Notes in Computer Science - Compiler Construction
◽
10.1007/978-3-540-31985-6_15
◽
2005
◽
pp. 221-236
◽
Cited By ~ 17
Author(s):
K. C. Shashidhar
◽
Maurice Bruynooghe
◽
Francky Catthoor
◽
Gerda Janssens
Keyword(s):
Source Code
◽
Equivalence Checking
◽
Code Transformations
◽
Program Equivalence
Download Full-text
Deviation-Based Obfuscation-Resilient Program Equivalence Checking With Application to Software Plagiarism Detection
IEEE Transactions on Reliability
◽
10.1109/tr.2016.2570554
◽
2016
◽
Vol 65
(4)
◽
pp. 1647-1664
◽
Cited By ~ 10
Author(s):
Jiang Ming
◽
Fangfang Zhang
◽
Dinghao Wu
◽
Peng Liu
◽
Sencun Zhu
Keyword(s):
Equivalence Checking
◽
Plagiarism Detection
◽
Program Equivalence
◽
Resilient Program
Download Full-text
Program Equivalence Checking for the Facilitation of Quantum Offloading
2021 IEEE 11th Annual Computing and Communication Workshop and Conference (CCWC)
◽
10.1109/ccwc51732.2021.9375948
◽
2021
◽
Author(s):
Jon Speer
◽
Jukka K. Nurminen
Keyword(s):
Equivalence Checking
◽
Program Equivalence
Download Full-text
A Case Study in Identifying Gaps and Developing a Common Code of Ethics for Commercial Banks in Sri Lanka
SSRN Electronic Journal
◽
10.2139/ssrn.2908804
◽
2016
◽
Author(s):
Viruli De Silva
◽
Aruna S Gamage
Keyword(s):
Sri Lanka
◽
Commercial Banks
◽
Code Of Ethics
◽
Common Code
Download Full-text
Equivalence checking of arithmetic expressions using fast evaluation
Proceedings of the 2005 international conference on Compilers, architectures and synthesis for embedded systems - CASES '05
◽
10.1145/1086297.1086317
◽
2005
◽
Cited By ~ 4
Author(s):
Mohammad Ali Ghodrat
◽
Tony Givargis
◽
Alex Nicolau
Keyword(s):
Equivalence Checking
◽
Fast Evaluation
◽
Arithmetic Expressions
Download Full-text
ICCAD-2020 CAD contest in X-value equivalence checking and benchmark suite
Proceedings of the 39th International Conference on Computer-Aided Design
◽
10.1145/3400302.3415739
◽
2020
◽
Author(s):
Chih-Jen (Jacky) Hsu
◽
Chi-An (Rocky) Wu
◽
Ching-Yi Huang
◽
Kei-Yong Khoo
Keyword(s):
Equivalence Checking
◽
Benchmark Suite
Download Full-text
Probabilistic equivalence checking based on high-level decision diagrams
14th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems
◽
10.1109/ddecs.2011.5783130
◽
2011
◽
Cited By ~ 2
Author(s):
Anton Karputkin
◽
Raimund Ubar
◽
Mati Tombak
◽
Jaan Raik
Keyword(s):
Equivalence Checking
◽
Decision Diagrams
◽
High Level
Download Full-text
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close