Reasonability of MC/DC for safety-relevant software implemented in programming languages with short-circuit evaluation.
Susanne KandlSandeep ChandrashekarPublished in: Computing (2015)
Keyphrases
- programming language
- short circuit
- object oriented
- java language
- general purpose
- software engineering
- strongly typed
- programming environment
- specification language
- denotational semantics
- lambda calculus
- software systems
- software development
- database languages
- data abstraction
- high level
- database applications
- program code
- database systems
- databases
- simulation model
- java programs
- fuzzy logic
- relational databases
- neural network