Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Lukasz Cyra
Combining Testing and Proof to Gain High Assurance in Software: A Case Study
Related publications
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
