Application of local semantic analysis in fault prediction and detection
To improve quality of software systems, change-based fault prediction and scope-bounded checking have been used to predict or detect faults during software development. In fault prediction, changes to program source code, such as added lines or deleted lines, are used to predict potential faults. In...
Main Author: | Shao, Danhua |
---|---|
Format: | Others |
Language: | English |
Published: |
2010
|
Subjects: | |
Online Access: | http://hdl.handle.net/2152/ETD-UT-2010-05-1086 |
Similar Items
-
Exploring Abstraction Techniques for Scalable Bit-Precise Verification of Embedded Software
by: He, Nannan
Published: (2014) -
Intersection Detection Algorithm Based on Hybrid Bounding Box for Geological Modeling With Faults
by: Hongjuan Wang, et al.
Published: (2020-01-01) -
Enhancing SAT-based Formal Verification Methods using Global Learning
by: Arora, Rajat
Published: (2014) -
Design Verification for Sequential Systems at Various Abstraction Levels
by: Zhang, Liang
Published: (2014) -
Identification and Analysis of Illegal States in the Apoptotic Discrete Transition System Model using ATPG and SAT-based Techniques
by: Shrivastava, Anupam
Published: (2014)