Sign in
Software Reliability Analysis Using Weakest Preconditions in Linear Assignment Programs.
Hang Luo
Xue Liu
Xi Chen
Ting Long
Ronghua Jiang
Published in:
IEEE Trans. Software Eng. (2016)
Keyphrases
</>
artificial intelligence
reliability analysis
free software
user interface
fuzzy logic
computational intelligence
software development
source code
software systems
java programs
control flow
condition monitoring
feature selection
evolutionary algorithm
optimization algorithm
software components