Login / Signup

PBE-Based Selective Abstraction and Refinement for Efficient Property Falsification of Embedded Software.

Yoel KimYunja Choi
Published in: Proc. ACM Softw. Eng. (2024)
Keyphrases
  • embedded software
  • software architecture
  • databases
  • case study
  • high level
  • data management
  • embedded systems