OPEN/CÆSAR: An OPen Software Architecture for Verification, Simulation, and Testing
Abstract elided by the publisher.
Related papers
- Epi-aspects: aspect-oriented conscientious software OOPSLA 2007
- Runtime verification and validation of functional reactive systems JFP 2020
- Faster Explicit-Trace Monitoring-Oriented Programming for Runtime Verification of Software Tests OOPSLA 2025
- A Characteristic Study of Parameterized Unit Tests in .NET Open Source Projects ECOOP 2018
- Scheduling and Mapping: Software Pipelining in the Presence of Structural Hazards PLDI 1995
- CompCertOC: Verified Compositional Compilation of Multi-threaded Programs with Shared Stacks PLDI 2025
- Input-Based Three-Valued Abstraction Refinement VMCAI 2026
- Memory-Safety Verification of Open Programs with Angelic Assumptions OOPSLA 2025