Reasonability of MC/DC for safety-relevant software implemented in programming languages with short-circuit evaluation.
Susanne KandlSandeep ChandrashekarPublished in: ISORC (2013)
Keyphrases
- programming language
- java language
- object oriented
- short circuit
- software engineering
- general purpose
- database languages
- strongly typed
- programming environment
- software systems
- denotational semantics
- high level
- software development
- java programs
- specification language
- lambda calculus
- platform independent
- data abstraction
- software maintenance
- java programming
- object oriented programming
- program code
- open source
- domain specific languages
- abstract data types
- databases
- software components
- object oriented concepts
- control system
- neural network