Fault Localization in Multi-Threaded C Programs using Bounded Model Checking (extended version).
Erickson H. da S. AlvesLucas C. CordeiroEddie Batista de Lima FilhoPublished in: CoRR (2015)
Keyphrases
- multi threaded
- fault localization
- bounded model checking
- program slicing
- formal verification
- model checking
- operating system
- software testing
- model based diagnosis
- computer architecture
- information flow
- linear temporal logic
- temporal logic
- fault detection
- data abstraction
- multi core processors
- real time
- multithreading
- object oriented databases
- databases