Combining testing and proof to gain high assurance in software: A case study.
Peter G. BishopRobin E. BloomfieldLukasz CyraPublished in: ISSRE (2013)
Keyphrases
- high assurance
- software systems
- software testing
- fault tolerant
- test cases
- distributed systems
- operating system
- access control
- testing process
- software development
- search based software testing
- test case generation
- software architecture
- software tools
- quality assurance
- case study
- software design
- computer software
- source code
- test data generation
- design patterns
- computer systems
- software engineering
- object oriented software
- data analysis