Software Numerical Instability Detection and Diagnosis by Combining Stochastic and Infinite-Precision Testing.
Enyi TangXiangyu ZhangNorbert Th. MüllerZhenyu ChenXuandong LiPublished in: IEEE Trans. Software Eng. (2017)
Keyphrases
- software testing
- test cases
- automatic detection
- software systems
- detection method
- anti noise
- quality assurance
- software development
- root cause analysis
- detection algorithm
- software design
- software architecture
- medical diagnosis
- regression testing
- root cause
- fault localization
- test data generation
- fault model
- test case generation
- software maintenance
- false alarms
- precision and recall
- testing process
- medical images
- source code
- anomaly detection
- test set
- software engineering
- false positives
- high precision
- numerical methods
- integration testing
- model based diagnosis
- user interface
- detection rate
- object oriented
- object detection
- expert systems
- software reliability
- numerical data
- fault detection
- detection accuracy
- event detection
- neural network