Model-based testing in practice
Proceedings of the 21st international conference on Software engineering
Introduction to set constraint-based program analysis
Science of Computer Programming
Verification and test generation for the SSCOP protocol
Science of Computer Programming
A static analyzer for large safety-critical software
PLDI '03 Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation
Precise and efficient static array bound checking for large embedded C programs
Proceedings of the ACM SIGPLAN 2004 conference on Programming language design and implementation
One evaluation of model-based testing and its automation
Proceedings of the 27th international conference on Software engineering
Testing real-time embedded software using UPPAAL-TRON: an industrial case study
Proceedings of the 5th ACM international conference on Embedded software
Model-Based Testing of Reactive Systems: Advanced Lectures (Lecture Notes in Computer Science)
Model-Based Testing of Reactive Systems: Advanced Lectures (Lecture Notes in Computer Science)
Eliminating stack overflow by abstract interpretation
ACM Transactions on Embedded Computing Systems (TECS)
Practical Model-Based Testing: A Tools Approach
Practical Model-Based Testing: A Tools Approach
Where Is the Proof? - A Review of Experiences from Applying MDE in Industry
ECMDA-FA '08 Proceedings of the 4th European conference on Model Driven Architecture: Foundations and Applications
Evaluation of Automatic Flow Analysis for WCET Calculation on Industrial Real-Time System Code
ECRTS '08 Proceedings of the 2008 Euromicro Conference on Real-Time Systems
Using formal specifications to support testing
ACM Computing Surveys (CSUR)
Putting Formal Specifications under the Magnifying Glass: Model-based Testing for Validation
ICST '09 Proceedings of the 2009 International Conference on Software Testing Verification and Validation
Model Based Analysis and Test Generation for Flight Software
SMC-IT '09 Proceedings of the Third IEEE International Conference on Space Mission Challenges for Information Technology
Reducing False Positives by Combining Abstract Interpretation and Bounded Model Checking
ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
Software model checking takes off
Communications of the ACM
Filtering false alarms of buffer overflow analysis using SMT solvers
Information and Software Technology
Testing-based translation validation of generated code in the context of IEC 61508
Formal Methods in System Design
Model-based testing of a WAP gateway: an industrial case-study
FMICS'06/PDMC'06 Proceedings of the 11th international workshop, FMICS 2006 and 5th international workshop, PDMC conference on Formal methods: Applications and technology
Z-ranking: using statistical analysis to counter the impact of static analysis approximations
SAS'03 Proceedings of the 10th international conference on Static analysis
Model Based Testing and Abstract Interpretation in the Railway Signaling Context
ICST '10 Proceedings of the 2010 Third International Conference on Software Testing, Verification and Validation
FMICS'10 Proceedings of the 15th international conference on Formal methods for industrial critical systems
Taming false alarms from a domain-unaware c analyzer by a bayesian statistical post analysis
SAS'05 Proceedings of the 12th international conference on Static Analysis
Understanding the origin of alarms in ASTRÉE
SAS'05 Proceedings of the 12th international conference on Static Analysis
A story about formal methods adoption by a railway signaling manufacturer
FM'06 Proceedings of the 14th international conference on Formal Methods
Counterexample driven refinement for abstract interpretation
TACAS'06 Proceedings of the 12th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Astrée: from research to industry
SAS'07 Proceedings of the 14th international conference on Static Analysis
Lessons learnt from the adoption of formal model-based development
NFM'12 Proceedings of the 4th international conference on NASA Formal Methods
Formal verification and validation of ERTMS industrial railway train spacing system
CAV'12 Proceedings of the 24th international conference on Computer Aided Verification
Science of Computer Programming
| Hi-index | 0.00 |
Introduction of formal model-based practices into the development process of a product in a company implicates changes in the verification and validation activities. A testing process that focuses only on code is not comprehensive in a framework where the building blocks of development are models, and industry is currently heading toward more effective strategies to cope with this new reality. This paper reports the experience of a railway signalling manufacturer in changing its unit level verification process from code-based testing to a two-step approach comprising model-based testing and abstract interpretation. Empirical results on different projects, on which the overall development process was progressively tuned, show that the change paid back in terms of verification cost reduction about 70%, bug detection, and correction capability.