Bounded verification of Ruby on Rails data models
Proceedings of the 2011 International Symposium on Software Testing and Analysis
Test input generation for database programs using relational constraints
DBTest '12 Proceedings of the Fifth International Workshop on Testing Database Systems
Unbounded data model verification using SMT solvers
Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering
Data model property inference and repair
Proceedings of the 2013 International Symposium on Software Testing and Analysis
Hi-index | 0.00 |
Contracts and their composition may be used with different goals in a component-based design flow: on the one hand, a component contract describes the guarantees a component is able to give, depending on its environment. On the other hand, a requirement contract, or aspect, specifies a guarantee that must be ensured under some hypothesis. For component contracts we define a ``best effort'' composition satisfying the property of independent implementability. For aspects we define a composition based on modal conjunction, which is shown to be sound. Modal contracts allow keeping a larger design space than their non-modal version, and thus avoid prematurely ruling out possible implementations.