6161 подписчиков
217 видео
EtherSolve: Computing an Accurate Control-Flow Graph from Ethereum Bytecode
Checking App Behavior Against App Descriptions: What If There are No App Descriptions?
Towards improving architectural diagram consistency using system descriptors
Design Defects Detection and Correction by Example
GUIDO: Automated Guidance for the Configuration of Deductive Program Verifiers
Runtime Verification Under Access Restrictions
The Role of Skillset in the Determination of DevOps implementation Strategy
Hierarchical Distribution of Consistency-relevant Changes in a Collaborative Engineering Environment
PEQcheck: Localized and Context-aware Checking of Functional Equivalence
Do Communities in Developer Interaction Networks Align with Subsystem Developer Teams?
Experiences on Managing Technical Debt with Code Smells and AntiPatterns
Understanding Execution Environment of File-Manipulation Scripts by Extracting Pre-Conditions
ICPC Plenary Sessions: Opening
Keynote: Program Verification: a 70-Year History
