Prototyping versus specifying: a multiproject experiment
IEEE Transactions on Software Engineering
Theoretical comparison of testing methods
TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
Partition Testing Does Not Inspire Confidence (Program Testing)
IEEE Transactions on Software Engineering
Experiments of the effectiveness of dataflow- and controlflow-based test adequacy criteria
ICSE '94 Proceedings of the 16th international conference on Software engineering
Further empirical studies of test effectiveness
SIGSOFT '98/FSE-6 Proceedings of the 6th ACM SIGSOFT international symposium on Foundations of software engineering
Partition Testing vs. Random Testing: The Influence of Uncertainty
IEEE Transactions on Software Engineering
An Experimental Comparison of the Effectiveness of Branch Testing and Data Flow Testing
IEEE Transactions on Software Engineering
Automatically Generating Test Data from a Boolean Specification
IEEE Transactions on Software Engineering
A Temporal Logic Based Theory of Test Coverage and Generation
TACAS '02 Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Consistent Graphical Specification of Distributed Systems
FME '97 Proceedings of the 4th International Symposium of Formal Methods Europe on Industrial Applications and Strengthened Foundations of Formal Methods
An evaluation of required element testing strategies
ICSE '84 Proceedings of the 7th international conference on Software engineering
Prototype-Based Tests for Hybrid Reactive Systems
RSP '03 Proceedings of the 14th IEEE International Workshop on Rapid System Prototyping (RSP'03)
Criteria for Generating Specification-Based Tests
ICECCS '99 Proceedings of the 5th International Conference on Engineering of Complex Computer Systems
A history of software inspections
Software pioneers
Model-based testing for real: The inhouse card case study
International Journal on Software Tools for Technology Transfer (STTT)
Test-Suite Reduction for Model Based Tests: Effects on Test Quality and Implications for Testing
Proceedings of the 19th IEEE international conference on Automated software engineering
Software Reliability Engineering: More Reliable Software Faster and Cheaper
Software Reliability Engineering: More Reliable Software Faster and Cheaper
Specification test coverage adequacy criteria = specification test generation inadequacy criteria
HASE'04 Proceedings of the Eighth IEEE international conference on High assurance systems engineering
Software quality economics for defect-detection techniques using failure prediction
3-WoSQ Proceedings of the third workshop on Software quality
State-based incremental testing of aspect-oriented programs
Proceedings of the 5th international conference on Aspect-oriented software development
Testing software modelling tools using data mutation
Proceedings of the 2006 international workshop on Automation of software test
HOTTest: A model-based test design technique for enhanced testing of domain-specific applications
ACM Transactions on Software Engineering and Methodology (TOSEM)
A measurement framework for evaluating model-based test generation tools
IBM Systems Journal - Model-driven software development
Communications of the ACM - Software product line
Software Engineering for Automotive Systems: A Roadmap
FOSE '07 2007 Future of Software Engineering
An evaluation of a model-based testing method for information systems
Proceedings of the 2008 ACM symposium on Applied computing
Requirements-based test case specification by using information from model construction
Proceedings of the 3rd international workshop on Automation of software test
Evaluating the cost reduction of static code analysis for software security
Proceedings of the third ACM SIGPLAN workshop on Programming languages and analysis for security
Early fault detection with model-based testing
Proceedings of the 7th ACM SIGPLAN workshop on ERLANG
Surveying model based testing approaches characterization attributes
Proceedings of the Second ACM-IEEE international symposium on Empirical software engineering and measurement
Model-Based Quality Assurance of Automotive Software
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Using formal specifications to support testing
ACM Computing Surveys (CSUR)
Towards certifying the testing process of Open-Source Software: New challenges or old methodologies?
FLOSS '09 Proceedings of the 2009 ICSE Workshop on Emerging Trends in Free/Libre/Open Source Software Research and Development
Dynamic Symbolic Execution for Testing Distributed Objects
TAP '09 Proceedings of the 3rd International Conference on Tests and Proofs
Model-based testing approaches selection for software projects
Information and Software Technology
Enabling offshore software testing: a case study
SEA '07 Proceedings of the 11th IASTED International Conference on Software Engineering and Applications
Model-based analysis and development of dependable systems
MBEERTS'07 Proceedings of the 2007 International Dagstuhl conference on Model-based engineering of embedded real-time systems
Symbolic Message Sequence Charts
ACM Transactions on Software Engineering and Methodology (TOSEM)
Requirements engineering as a key to holistic software quality
ISCIS'06 Proceedings of the 21st international conference on Computer and Information Sciences
Model-based testing in practice
FM'05 Proceedings of the 2005 international conference on Formal Methods
Model-Based identification of fault-prone components
EDCC'05 Proceedings of the 5th European conference on Dependable Computing
Computing refactorings of behavior models
MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems
Comparing bug finding tools with reviews and tests
TestCom'05 Proceedings of the 17th IFIP TC6/WG 6.1 international conference on Testing of Communicating Systems
Component-based development of dependable systems with UML
Component-Based Software Development for Embedded Systems
A model-based approach to automated testing of access control policies
Proceedings of the 17th ACM symposium on Access Control Models and Technologies
A taxonomy of model-based testing approaches
Software Testing, Verification & Reliability
An object-oriented framework for improving software reuse on automated testing of mobile phones
TestCom'07/FATES'07 Proceedings of the 19th IFIP TC6/WG6.1 international conference, and 7th international conference on Testing of Software and Communicating Systems
Adoption of Model-Based Testing and Abstract Interpretation by a Railway Signalling Manufacturer
International Journal of Embedded and Real-Time Communication Systems
OSS-TMM: Guidelines for Improving the Testing Process of Open Source Software
International Journal of Open Source Software and Processes
Hi-index | 0.00 |
Model-based testing relies on behavior models for the generation of model traces: input and expected output---test cases---for an implementation. We use the case study of an automotive network controller to assess different test suites in terms of error detection, model coverage, and implementation coverage. Some of these suites were generated automatically with and without models, purely at random, and with dedicated functional test selection criteria. Other suites were derived manually, with and without the model at hand. Both automatically and manually derived model-based test suites detected significantly more requirements errors than hand-crafted test suites that were directly derived from the requirements. The number of detected programming errors did not depend on the use of models. Automatically generated model-based test suites detected as many errors as hand-crafted model-based suites with the same number of tests. A sixfold increase in the number of model-based tests led to an 11% increase in detected errors.