, Generic patch inference, Automated software engineering, vol.17, pp.119-148, 2010.
, Beyond 2-safety: Asymmetric product programs for relational program verification, International Symposium on Logical Foundations of Computer Science, pp.29-43, 2013.
, Product programs and relational program logics, J. Log. Algebr. Meth. Program, vol.85, pp.847-859, 2016.
, Relational verification using product programs, International Symposium on Formal Methods, pp.200-214, 2011.
, Formal certification of code-based cryptographic proofs, ACM SIGPLAN Notices, vol.44, pp.90-101, 2009.
, Coupling proofs are probabilistic product programs, Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, pp.161-174, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01649028
, Simple Relational Correctness Proofs for Static Analyses and Program Transformations (Revised, Long Version), 2005.
, Using semantic differencing to reduce the cost of regression testing, Software Maintenance, 1992. Proceerdings., Conference on, pp.41-50, 1992.
, A behavioural pseudometric for metric labelled transition systems, International Conference on Concurrency Theory, pp.141-155, 2005.
, Renaming Global Variables in C Mechanically Proved Correct, Proceedings of the Fourth International Workshop on Verification and Program Transformation, pp.50-64, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01277269
, Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints, Fourth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp.238-252, 1977.
, BinHunt: Automatically Finding Semantic Differences in Binary Programs". English. In: Information and Communications Security, vol.5308, pp.238-255, 2008.
, A Mechanically Checked Generation of Correlating Programs Directed by Structured Syntactic Differences, International Symposium on Automated Technology for Verification and Analysis, pp.64-79, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01238704
, Verifiable semantic difference languages, Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming, pp.73-84, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01653283
,
, An axiomatic basis for computer programming, Communications of the ACM, vol.12, pp.576-580, 1969.
, Identifying the Semantic and Textual Differences Between Two Versions of a Program, In: SIGPLAN Not, vol.25, issue.6, pp.234-245, 1990.
, An algorithm for differential file comparison
, An axiomatic approach to equivalence problems of algorithms with applications, 1964.
, The unified software development process, vol.1, 1999.
, Differential Static Analysis: Opportunities, Applications, and Challenges, Proceedings of the FSE/SDP Workshop on Future of Software Engineering Research. FoSER '10, pp.201-204, 2010.
, SYMDIFF: A Language-agnostic Semantic Diff Tool for Imperative Programs, Proceedings of the 24th International Conference on Computer Aided Verification. CAV'12, pp.712-717, 2012.
, Protocol verification via projections, IEEE transactions on software engineering, vol.4, pp.325-342, 1984.
, Specifying concurrent program modules, ACM Transactions on Programming Languages and Systems (TOPLAS), vol.5, issue.2, pp.190-222, 1983.
DOI : 10.1145/69624.357207
, The existence of refinement mappings, Proceedings of the 3rd Annual Symposium on Logic in Computer Science, pp.165-175, 1988.
, The CompCert verified compiler, Documentation and user's manual. INRIA, 2012.
URL : https://hal.archives-ouvertes.fr/hal-01399482
, Comparing and Merging Files With Gnu Diff and Patch. Network Theory Ltd, 2003.
,
, Clang and Coccinelle: Synergising program analysis tools for CERT C Secure Coding Standard certification, 4th International Workshop on Foundations and Techniques for Open Source Software Certification, 2010.
, Semantic Patches, Documenting and Automating Collateral Evolutions in Linux Device Drivers, Ottawa Linux Symposium, 2007.
DOI : 10.1145/1215995.1216005
, SmPL: A domain-specific language for specifying collateral evolutions in Linux device drivers, Electronic Notes in Theoretical Computer Science, vol.166, pp.47-62, 2007.
, Abstract Semantic Differencing for Numerical Programs, Static Analysis Symposium. Ed. by Francesco Logozzo and Manuel Fähndrich, vol.7935, pp.238-258, 2013.
DOI : 10.1007/978-3-642-38856-9_14
URL : http://www.cs.technion.ac.il/~yahave/papers/sas13-diff.pdf
, Abstract Semantic Differencing via Speculative Correlation, Proceedings of the 2014 ACM International Conference on Object Oriented Programming Systems Languages & Applications. OOPSLA '14, pp.811-828, 2014.
DOI : 10.1145/2714064.2660245
, Differential Symbolic Execution, Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering. SIGSOFT '08/FSE-16, pp.226-237, 2008.
DOI : 10.1145/1453101.1453131
, RedBaron documentation, 2014.
, Automated behavioral testing of refactoring engines, IEEE Transactions on Software Engineering, vol.39, pp.147-162, 2013.
, Regression Verification-A Practical Way to Verify Programs, English. In: Verified Software: Theories, Tools, Experiments, vol.4171, pp.496-501, 2008.
DOI : 10.1007/978-3-540-69149-5_54
, RCS-a system for version control, Software: Practice and Experience, vol.15, pp.637-654, 1985.