Logic for computer science: foundations of automatic theorem proving
Logic for computer science: foundations of automatic theorem proving
Fundamentals of algebraic specification 2: module specifications and constraints
Fundamentals of algebraic specification 2: module specifications and constraints
Handbook of theoretical computer science (vol. B)
A model parametric real-time logic
ACM Transactions on Programming Languages and Systems (TOPLAS)
Software testing based on formal specifications: a theory and a tool
Software Engineering Journal
Institutions: abstract model theory for specification and programming
Journal of the ACM (JACM)
Unifying Theories in Different Institutions
Selected papers from the 11th Workshop on Specification of Abstract Data Types Joint with the 8th COMPASS Workshop on Recent Trends in Data Type Specification
TAPSOFT '95 Proceedings of the 6th International Joint Conference CAAP/FASE on Theory and Practice of Software Development
Using a Logical and Categorical Approach for the Validation of Fault-Tolerant Systems
FME '96 Proceedings of the Third International Symposium of Formal Methods Europe on Industrial Benefit and Advances in Formal Methods
A Modular Approach to the Specification and Validation of an Electrical Flight Control System
FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity
A Framework for Modular Formal Specification and Verification
FME '97 Proceedings of the 4th International Symposium of Formal Methods Europe on Industrial Applications and Strengthened Foundations of Formal Methods
Management of Evolving Specifications using Category Theory
ASE '98 Proceedings of the 13th IEEE international conference on Automated software engineering
A Modular Approach to the Specification and Validation of an Electrical Flight Control System
FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity
Unit Testing for C88 ASL Architectural Specifications
MFCS '02 Proceedings of the 27th International Symposium on Mathematical Foundations of Computer Science
Integration Testing from Structured First-Order Specifications via Deduction Modulo
ICTAC '09 Proceedings of the 6th International Colloquium on Theoretical Aspects of Computing
Testing techniques in software engineering
Testing techniques in software engineering
Testing from algebraic specifications: test data set selection by unfolding axioms
FATES'05 Proceedings of the 5th international conference on Formal Approaches to Software Testing
| Hi-index | 0.00 |
In this paper, we present an extension of the notion of institution that takes into account test cases. Our approach is to incrementally generate functional tests from a structured formal specification, we generate tests from small specifications and compose them. The issue is then to prove the correctness of the resulting tests. We thus extend the classical notion of institution with a category of test cases and a notion of satisfaction of test cases.