Applying Property-Based Testing in Teaching Safety-Critical System Programming.

Lars-Åke Fredlund Ángel Herranz-Nieva Julio Mariño

Published in: EUROMICRO-SEAA (2015)

Keyphrases

safety critical
computer programming
programming course
safety analysis
formal methods

fault tolerant
embedded systems
nuclear power plant
programming language
agent architecture

e learning
learning environment
regulatory requirements
learning systems
learning process

support systems
data mining
control system
artificial intelligence
real time