Communicating sequential processes
Communicating sequential processes
The B-book: assigning programs to meanings
The B-book: assigning programs to meanings
Testing Component-Based Software: A Cautionary Tale
IEEE Software
International Journal on Software Tools for Technology Transfer (STTT) - Special section on high-level test of complex systems
UML-B: Formal modeling and design aided by UML
ACM Transactions on Software Engineering and Methodology (TOSEM)
Integration testing of object-oriented components using finite state machines: Research Articles
Software Testing, Verification & Reliability
Practical Model-Based Testing: A Tools Approach
Practical Model-Based Testing: A Tools Approach
A state-based approach to integration testing based on UML models
Information and Software Technology
Refinement, Decomposition, and Instantiation of Discrete Models: Application to Event-B
Fundamenta Informaticae - This is a SPECIAL ISSUE ON ASM'05
Test Data Provision for ERP Systems
ICST '08 Proceedings of the 2008 International Conference on Software Testing, Verification, and Validation
The High Road to Formal Validation
ABZ '08 Proceedings of the 1st international conference on Abstract State Machines, B and Z
A Roadmap for the Rodin Toolset
ABZ '08 Proceedings of the 1st international conference on Abstract State Machines, B and Z
Precise Steps for Choreography Modeling for SOA Validation and Verification
SOSE '08 Proceedings of the 2008 IEEE International Symposium on Service-Oriented System Engineering
Decomposition Structures for Event-B
IFM '09 Proceedings of the 7th International Conference on Integrated Formal Methods
ProTest: An Automatic Test Environment for B Specifications
Electronic Notes in Theoretical Computer Science (ENTCS)
Model-Based Integration Testing of Enterprise Services
TAIC-PART '09 Proceedings of the 2009 Testing: Academic and Industrial Conference - Practice and Research Techniques
Automatic testing from formal specifications
TAP'07 Proceedings of the 1st international conference on Tests and proofs
Combining CSP and b for specification and property verification
FM'05 Proceedings of the 2005 international conference on Formal Methods
LEIRIOS test generator: automated test generation from b models
B'07 Proceedings of the 7th international conference on Formal Specification and Development in B
Local Enforceability and Inconsumable Messages in Choreography Models
SEEFM '09 Proceedings of the 2009 Fourth South-East European Workshop on Formal Methods
Automatic flow analysis for event-B
FASE'11/ETAPS'11 Proceedings of the 14th international conference on Fundamental approaches to software engineering: part of the joint European conferences on theory and practice of software
Refinement-animation for event-b: towards a method of validation
ABZ'10 Proceedings of the Second international conference on Abstract State Machines, Alloy, B and Z
Validation of formal models by refinement animation
Science of Computer Programming
Software and Systems Modeling (SoSyM)
Hi-index | 0.00 |
Choreography models describe the communication protocols between services. Testing of service choreographies is an important task for the quality assurance of service-based systems as used e.g. in the context of service-oriented architectures (SOA). The formal modeling of service choreographies enables a model-based integration testing (MBIT) approach. We present MBIT methods for our service choreography modeling approach called Message Choreography Models (MCM). For the model-based testing of service choreographies, MCMs are translated into Event-B models and used as input for our test generator which uses the model checker ProB.