Environment-Model Based Testing of Control Systems: Case Studies
Abstract elided by the publisher.
Related papers
- Debugging Concurrent Processes: A Case Study PLDI 1988
- PIROL: a case study for multidimensional separation of concerns in software engineering environments OOPSLA 2000
- Formal Analysis and Redesign of a Neural Network-Based Aircraft Taxiing System with VerifAI CAV 2020
- Robust Controller Synthesis in Timed Büchi Automata: A Symbolic Approach CAV 2019
- New ideas: automated engineering of metamorphic testing environments for domain-specific languages SLE 2021
- Dealing with World-Model-Based Programs TOPLAS 1985
- Extensible access control with authorization contracts OOPSLA 2016
- Multiprocessor Smalltalk: A Case Study of a Multiprocessor-Based Programming Environment PLDI 1988