Typestate: A programming language concept for enhancing software reliability
IEEE Transactions on Software Engineering
Quality Assurance of Software Applications Using the In Vivo Testing Approach
ICST '09 Proceedings of the 2009 International Conference on Software Testing Verification and Validation
Synthesizing intensional behavior models by graph transformation
ICSE '09 Proceedings of the 31st International Conference on Software Engineering
Generating test cases for specification mining
Proceedings of the 19th international symposium on Software testing and analysis
Self-Supervising BPEL Processes
IEEE Transactions on Software Engineering
Automated Abstractions for Contract Validation
IEEE Transactions on Software Engineering
Runtime monitoring of functional component changes with behavior models
MODELS'11 Proceedings of the 2011th international conference on Models in Software Engineering
Hi-index | 0.00 |
We present SPY@RUNTIME, a tool to infer and work with behavior models. SPY@RUNTIME generates models through a dynamic black box approach and is able to keep them updated with observations coming from actual system execution. We also show how to use models describing the protocol of interaction of a software component to detect and report functional changes as soon as they are discovered. Monitoring functional properties is particularly useful in an open environment in which there is a distributed ownership of a software system. Parts of the system may be changed independently and therefore it becomes necessary to monitor the component’s behavior at run time.