Runtime Verification for Detecting Suspension Bugs in Multicore and Parallel Software.
Sara Abbaspour AsadollahDaniel SundmarkHans A. HanssonPublished in: ICST Workshops (2017)
Keyphrases
- software systems
- transactional memory
- high end
- source code
- shared memory
- computer systems
- parallel programming
- parallel processing
- test cases
- software development
- software projects
- software tools
- model checking
- blue gene
- level parallelism
- parallel algorithm
- massively parallel
- multi threaded
- cluster of workstations
- parallel execution
- bug localization
- multicore processors
- hybrid intelligent
- bug reports
- cell processor
- formal verification
- computing power
- computer architecture
- formal methods
- software design
- hardware design
- software testing
- parallel implementation
- software developers
- embedded systems
- anomaly detection
- case study