Behavioral Co-Versioning couples Git history with a queryable Behavioral Archive of run-time observations to enable semantic diffing and behavior-aware analysis of software evolution.
In: Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineer- ing Conference and Symposium on the Foundations of Software Engineering - ESEC/FSE 2018 (2018)
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
representative citing papers
Annotary is a concolic execution system for smart contract vulnerability detection that uses source-code annotations, symbolic EVM execution, and blockchain data resolution to handle inter-contract and inter-transaction flows.
citing papers explorer
-
Treating Run-time Execution History as a First-Class Citizen: Co-Versioning Run-time Behavior alongside Code
Behavioral Co-Versioning couples Git history with a queryable Behavioral Archive of run-time observations to enable semantic diffing and behavior-aware analysis of software evolution.
-
Annotary: A Concolic Execution System for Developing Secure Smart Contracts
Annotary is a concolic execution system for smart contract vulnerability detection that uses source-code annotations, symbolic EVM execution, and blockchain data resolution to handle inter-contract and inter-transaction flows.