Introduction to algorithms
Property preserving abstractions for the verification of concurrent systems
Formal Methods in System Design - Special issue on computer-aided verification (based on CAV'92 workshop)
Abstraction Techniques for Validation Coverage Analysis and Test Generation
IEEE Transactions on Computers
Model checking
POPL '77 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Test Suite Generation from a FSM with a Given Type of Implementation Errors
Proceedings of the IFIP TC6/WG6.1 Twelth International Symposium on Protocol Specification, Testing and Verification XII
Confirming configurations in EFSM
FORTE XII / PSTV XIX '99 Proceedings of the IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XII) and Protocol Specification, Testing and Verification (PSTV XIX)
Proceedings of the IFIP TC6/WG6.1 Fourth International Workshop on Protocol Test Systems IV
Test Generation for CEFSM Combining Specification and Fault Coverage
TestCom '02 Proceedings of the IFIP 14th International Conference on Testing Communicating Systems XIV
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Confirming Configurations in EFSM Testing
IEEE Transactions on Software Engineering
Hi-index | 0.00 |
Abstracting the behaviour of a specification is a key technique for dealing with the complexity of such tasks as reachability analysis and test generation. We adapted classical data-flow analysis techniques to abstract variables in SDL processes and addressed the problem of finding conservative state abstractions. Prototype tools have been developed to implement those techniques and applied to simple applications from the field of telecommunications.