Developing and evolving a DSL-based approach for runtime monitoring of systems of systems
Article in Automated Software Engineering (July 2018)
The most recent citing publications are shown below. View all 4 publications that cite this research output on Dimensions.
Injecting Abstract Interpretations into Linear Cost Models
Article in Electronic Proceedings in Theoretical Computer Science (June 2010)
Automatic instantiation of abstract tests on specific configurations for large critical control systems
Article in Software Testing Verification and Reliability (February 2008)