Fault Localization in Multi-threaded C Programs Using Bounded Model Checking.
Erickson H. da S. AlvesLucas C. CordeiroEddie Batista de Lima FilhoPublished in: SBESC (2015)
Keyphrases
- multi threaded
- bounded model checking
- program slicing
- formal verification
- fault localization
- model checking
- operating system
- model based diagnosis
- temporal logic
- multi core processors
- fault detection
- linear temporal logic
- information flow
- computer architecture
- software testing
- multithreading
- data abstraction
- artificial intelligence
- formal specification
- information systems
- multi agent systems
- expert systems
- training set
- fuzzy logic
- query processing
- database
- data model
- fault diagnosis
- orders of magnitude
- state space
- computer systems
- source code