Distributed cooperation with action systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Automated Test Case Generation from Dynamic Models
ECOOP '00 Proceedings of the 14th European Conference on Object-Oriented Programming
Test Generation with Inputs, Outputs, and Quiescence
TACAs '96 Proceedings of the Second International Workshop on Tools and Algorithms for Construction and Analysis of Systems
An Approach to Object-Orientation in Action Systems
MPC '98 Proceedings of the Mathematics of Program Construction
Mutation Testing Applied to Validate Specifications Based on Statecharts
ISSRE '99 Proceedings of the 10th International Symposium on Software Reliability Engineering
The Art of Software Testing
Formal Test-Case Generation for UML Statecharts
ICECCS '04 Proceedings of the Ninth IEEE International Conference on Engineering Complex Computer Systems Navigating Complexity in the e-Engineering Age
Modular Verification of Software Components in C
IEEE Transactions on Software Engineering
Assessing and Improving State-Based Class Testing: A Series of Experiments
IEEE Transactions on Software Engineering
Protocol Conformance Testing a SIP Registrar: an Industrial Application of Formal Methods
SEFM '07 Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods
Deriving Input Partitions from UML Models for Automatic Test Generation
Models in Software Engineering
Formal Aspects of Computing
Automated Conformance Verification of Hybrid Systems
QSIC '10 Proceedings of the 2010 10th International Conference on Quality Software
Communications of the ACM
Experiences in applying formal verification in robotics
SAFECOMP'10 Proceedings of the 29th international conference on Computer safety, reliability, and security
Towards a Formal Verification Approach for Implementation of Web Services Specifications
APSCC '10 Proceedings of the 2010 IEEE Asia-Pacific Services Computing Conference
Efficient Mutation Killers in Action
ICST '11 Proceedings of the 2011 Fourth IEEE International Conference on Software Testing, Verification and Validation
Automatic test data generation by multi-objective optimisation
SAFECOMP'06 Proceedings of the 25th international conference on Computer Safety, Reliability, and Security
Incremental language inclusion checking for networks of timed automata
FORMATS'13 Proceedings of the 11th international conference on Formal Modeling and Analysis of Timed Systems
Hi-index | 0.00 |
In principle, automated test case generation - both from source code and models - is a fairly evolved technology, which is on the way to common use in industrial testing and quality assessment of safety-related, softwareintensive systems. However, common coverage measures such as branch or MC/DC1 for source code and states or transitions for state-based models provide only very limited information about the covered (implementation) faults. Fault-based test case generation tries to improve this situation by looking for detecting faults explicitly. This paper describes an approach combining fault- and model-based testing which has been realized in the European project MOGENTES2, using UML state machines for representing requirements, and discusses results of its application to a use case from the automotive domain.