Amanote Research
Register
Sign In
Combining Testing and Proof to Gain High Assurance in Software: A Case Study
doi 10.1109/issre.2013.6698924
Full Text
Open PDF
Abstract
Available in
full text
Date
November 1, 2013
Authors
Peter Bishop
Robin Bloomfield
Lukasz Cyra
Publisher
IEEE
Related search
Combining Model-Based Testing and Failure Modes and Effects Analysis for Test Case Prioritization: A Software Testing Approach
Journal of Computer Science
Computer Networks
Software
Artificial Intelligence
Communications
Experiences From a Web-Based Course in Software Testing and Quality Assurance
International Journal of Computer Applications
Software Quality Assurance a Study Based on Pakistan’s Software Industry
Pakistan Journal of Engineering, Technology & Science
New Paradigms for High Assurance Software
The Emergence of Quality Assurance Practices in Free/Libre Open Source Software: A Case Study
IFIP Advances in Information and Communication Technology
Computer Networks
Information Systems
Management
Communications
Application of Proof Testing to Brittle Materials at High Temperatures
Software Quality Assurance
High-Assurance Software Design for Mobile Tele-Health Systems
Software Quality Assurance